C++ 中的 const 和 constexpr

原文：浅谈 C++ 中的 const 和 constexpr，原文中“用constexpr修饰某物并不保证它一定在编译时被计算，也可以在运行时被计算”，我觉得是错误的。

const和constexpr都可以来修饰对象和函数。

修饰对象的时候两者之间最基本的区别是：

• const修饰一个对象表示它是常量。这暗示对象一经初始化就不会再变动了，并且允许编译器使用这个特点优化程序。这也防止程序员修改了本不应该修改的对象。
• constexpr是修饰一个常量表达式，必须是可以在编译期就能得出结果的。但请注意constexpr不是修饰常量表达式的唯一途径。

• std::vector<int> nums{ 2,2,2,2 };
  const int a = nums.size();//OK
  constexpr int b = nums.size();//报错，nums.size()不是返回字面值量。
  
  const int c = 2;
  constexpr int d = 2;
  int arr0[a]//报错，a不是常量表达式。
  int arr1[c];//ok，c是常量表达式
  int arr2[d];//ok，d是常量表达式

修饰函数的时候两者之间最基本的区别是：

• const只能用于非静态成员的函数而不是所有函数。它保证成员函数不修改任何非静态数据。
• constexpr可以用于含参和无参函数。constexpr函数适用于常量表达式，只有在下面的情况下编译器才会接受constexpr函数： 1.函数体必须足够简单，除了typedef和静态元素，只允许有return语句。如构造函数只能有初始化列表，typedef和静态元素 (实际上在C++14标准中已经允许定义语句存在于constexpr函数体内了) 2.参数和返回值必须是字面值类型