c++11引入的constexpr关键字

最新推荐文章于 2024-05-24 14:15:44 发布

coolhuhu~

最新推荐文章于 2024-05-24 14:15:44 发布

阅读量770

点赞数 12

分类专栏： cpp 文章标签： c++

本文链接：https://blog.csdn.net/weixin_42655901/article/details/138152397

版权

cpp 专栏收录该内容

28 篇文章 0 订阅

订阅专栏

c++11引入了 constexpr 关键字，容易与 const 关键混淆。下面从两个方面理解 constexpr 关键字的用途。

constexpr 修饰对象

constexpr修饰的对象，它们是编译器可知的。

技术上来讲，它们的值在翻译期（translation）决议，所谓翻译不仅仅包含是编译（compilation）也包含链接（linking），除非你准备写C++的编译器和链接器，否则这些对你不会造成影响，所以你编程时无需担心，把这些constexpr对象值看做编译期决议也无妨的。

编译期可知的值“享有特权”，它们可能被存放到只读存储空间中。更广泛的应用是“其值编译期可知”的常量整数会出现在需要“整型常量表达式（integral constant expression）的上下文中，这类上下文包括数组大小，整数模板参数（包括std::array对象的长度），枚举名的值，对齐修饰符（译注：alignas(val)），等等。

注意const不提供constexpr所能保证之事，因为const对象不需要在编译期初始化它的值。
严格意义上来讲，const 表示的只读的变量，因为被 const 修饰的对象不需要在编译期初始化它的值。
如下示例所示：

int a = 10;
const int b = 20;
constexpr int c = 30;

void func()
{
    const int d = a;
    printf("&d = %p\n", &d);
}

int main()
{
    printf("&a = %p\n", &a);
    printf("&b = %p\n", &b);
    printf("&c = %p\n", &c);
    func();
}

// &a = 0x557863b94010
// &b = 0x557863b92004
// &c = 0x557863b92008
// &d = 0x7ffde87be0b4

变量b和c作为全局变量，被存储在同一内存区域，常量区。而变量d虽然被const修饰，但其作为局部变量，存储在栈内存局域。

constexpr表示常量，const表示只读变量
constexpr只能被常量初始化，const既可以被常量初始化也可以被变量初始化。

void func()
{
    int a = 10;
    const int b = 20;
    constexpr int c = b;    // 正确

    const int m = a;
    constexpr int d = m;    // 错误
}

constexpr 修饰函数

constexpr修饰函数时，牢记一点，当传入的所有实参都是编译期可知时，那么这些函数将产出编译期常量；如果传入的实参只要存在一个运行时才可知的值，那么这些函数产出的值在运行时可知。下面举几个示例。

实现一个编译期可求值的pow函数

// C++11
constexpr int pow(int base, int exp) noexcept
{
    return (exp == 0 ? 1 : base * pow(base, exp - 1));
}

int b = 10;
int e = 2;
int result = pow(b, e);     // 传入的是运行时变量，因此pow返回的值是一个运行时变量，因此无法用于 constexpr
constexpr int result2 = pow(b, e);  // 错误

std::array<int, result> arr;   // 编译错误，array的第二个模版参数需要为编译期可知常量

constexpr int ret = pow(2, 4); // 正确
int ret2 = pow(2, b);       // 正确
constexpr int ret3 = pow(2, b);     // 错误

说明一下C++11和C++14之后的区别。

C++11中，constexpr函数的代码不超过一行语句：一个return。在C++14中，constexpr函数的限制变得非常宽松了，

// C++14
constexpr int pow(int base, int exp) noexcept   //C++14
{
    auto result = 1;
    for (int i = 0; i < exp; ++i) result *= base;
    
    return result;
}