C++之constexpr详解

大家好，又见面了，我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。

Jetbrains全家桶1年46，售后保障稳定

constexpr表达式是指值不会改变并且在编译过程就能得到计算结果的表达式。声明为constexpr的变量一定是一个const变量，而且必须用常量表达式初始化：

constexpr int mf = 20;  //20是常量表达式
constexpr int limit = mf + 1; // mf + 1是常量表达式
constexpr int sz = size(); //之后当size是一个constexpr函数时才是一条正确的声明语句

Jetbrains全家桶1年46，售后保障稳定

指针和constexpr

必须明确一点，在constexpr声明中如果定义了一个指针，限定符conxtexpr仅对指针有效，与指针所指的对象无关。

const int*p = nullptr;        //p是一个指向整形常量的指针
constexpr int* q = nullptr;   //q是一个指向整数的常量指针

 p是一个指向常量的指针，q是一个常量指针，其中的关键在于constexpr把它所定义的对象置为了顶层const。

例在微软编译器上：

#include <iostream>

int main()
{
    int i = 10;
    int j = 100;

    std::cout << "i=" << i << std::endl;
	
    constexpr int* p = &i;
    *p = 8;

    std::cout << "i=" << i << std::endl;

    //p = &j; //error

    return 0;
}

结果如下：

使用GNU gcc编译器时，constexpr指针所指变量必须是全局变量或者static变量(既存储在静态数据区的变量)。

#include <iostream>

int main()
{
    static int bufSize = 512;

    std::cout << "bufSize=" << bufSize << std::endl;

    constexpr int* ptr = &bufSize;
    *ptr = 1024;
    std::cout << "bufSize=" << bufSize << std::endl;

    return 0;
}

ps:全局变量和局部变量的存储区域不同，全局变量存放在静态数据区，局部变量存放在栈区。但还有一个小点就是存放在静态数据区的变量是由低地址向高地址存放的，但存放在栈区的变量却是由高地址向低地址存放的，存放在静态数据区的还有静态局部变量和静态全局变量。

constexpr函数

constexp在c++17中的使用