【C++】const与constexpr

合集 - C++(28)

1.【C++】const与constexpr2024-07-13

2.【C++】vector2024-07-123.【C++】创建对象写法2024-07-164.【C++】域作用符的作用2024-07-165.【C++】map2024-07-166.【C++】类2024-07-167.【C++】NULL与nullptr的区别2024-07-168.【C++】cmath2024-07-169.【C++】struct2024-07-1610.【C++】string2024-07-1711.【C++】unordered_set2024-07-1712.【C++】基本类型2024-07-1813.【C++】algorithm2024-07-2114.【C++】命名空间2024-07-3015.【C++】缺省参数2024-07-3116.【C++】函数重载2024-07-3117.【C++】引用2024-07-3118.【C++】auto2024-07-3119.【C++】基于范围for循环2024-08-0120.【C++】存储区2024-08-0221.【C++】左值与右值2024-08-0322.【C++】explicit2024-08-0723.【C++】构造函数类别2024-08-0824.【C++】decltype2024-08-0925.【C++】remove_refrence2024-08-0926.【C++】typeid与RTTI2024-08-1127.【C++】using2024-08-1128.【C++】引用折叠、万能引用和完美转发2024-08-12

收起

const

用于声明该变量是一个常量。

可以用来声明成员函数，表示该函数不会改变成员变量。

const修饰指针的场景稍微复杂点，可以通过循环的方式记忆：

constexpr

constexpr 它是在 C++ 11 被引进的，它的字面意思是 constant expression，常量表达式。它可以作用在变量和函数上。一个 constexpr 变量是一个编译时完全确定的常数。一个 constexpr 函数至少对于某一组实参可以在编译期间产生一个编译期常数。

需要注意的是 const 并未区分出编译期常量和运行期常量，并且 const 只保证了运行时不直接被修改，而 constexpr 是限定在了编译期常量。所以在 constexpr 出来之后， const 的职责被拆分出来一部分，只作可读语义的保证，而常量语义交给了 constexpr 负责。

在 C++11 以后，建议凡是常量语义的场景都使用 constexpr，并且由于它是一个编译期常数，所以它甚至可以用在模板上，例如：

template<int N> class C{};

constexpr int FivePlus(int x) {
  return 5 + x;
}

void f(const int x) {
  C<x> c1;            // Error: x is not compile-time evaluable.
  C<FivePlus(6)> c2;  // OK
}

constexpr可以用来修饰变量、函数、构造函数。一旦以上任何元素被constexpr修饰，那么等于说是告诉编译器 “请大胆地将我看成编译时就能得出常量值的表达式去优化我”。

如：

const int func() {
    return 10;
}
main(){
  int arr[func()];
}
//error : 函数调用在常量表达式中必须具有常量值

对于func() ，胆小的编译器并没有足够的胆量去做编译期优化，哪怕函数体就一句return 字面值;

而

constexpr func() {
    return 10;
}
main(){
  int arr[func()];
}
//编译通过

则编译通过
编译期大胆地将func()做了优化，在编译期就确定了func计算出的值10而无需等到运行时再去计算。