const vs constexpr关于变量

以下定义之间有区别吗？

const     double PI = 3.141592653589793;
constexpr double PI = 3.141592653589793;

如果不是，在C ++ 11中首选哪种样式？

我相信有区别。让我们重命名它们，以便我们可以更轻松地讨论它们：

const     double PI1 = 3.141592653589793;
constexpr double PI2 = 3.141592653589793;

这两个PI1和PI2是不变的，这意味着你不能修改它们。但是，只有 PI2一个编译时常数。它应在编译时初始化。 PI1可以在编译时或运行时初始化。此外，只能 PI2在需要编译时常数的上下文中使用。例如：

constexpr double PI3 = PI1;  // error

但：

constexpr double PI3 = PI2;  // ok

和：

static_assert(PI1 == 3.141592653589793, "");  // error

但：

static_assert(PI2 == 3.141592653589793, "");  // ok

至于您应该使用哪个？使用满足您需求的任何一种。是否要确保您有一个可在需要编译时常数的上下文中使用的编译时常数？您是否希望能够通过在运行时完成的计算来对其进行初始化？等等。

这里没有区别，但是当您的类型具有构造函数时，这很重要。

struct S {
    constexpr S(int);
};

const S s0(0);
constexpr S s1(1);

s0是一个常量，但不能保证在编译时进行初始化。s1被标记为constexpr，因此它是一个常量，并且由于S还标记了的构造函数constexpr，因此它将在编译时初始化。

通常这很重要，这在运行时进行初始化会很耗时，并且您希望将其推到编译器上时，这也是很费时的，但是不会减慢已编译程序的执行时间

constexpr指示在编译期间是恒定且已知的值。
const表示唯一的值；在编译过程中不一定要知道。

int sz;
constexpr auto arraySize1 = sz;    // error! sz's value unknown at compilation
std::array<int, sz> data1;         // error! same problem

constexpr auto arraySize2 = 10;    // fine, 10 is a compile-time constant
std::array<int, arraySize2> data2; // fine, arraySize2 is constexpr

请注意，const不能提供与constexpr相同的保证，因为const对象不需要使用编译期间已知的值进行初始化。

int sz;
const auto arraySize = sz;       // fine, arraySize is const copy of sz
std::array<int, arraySize> data; // error! arraySize's value unknown at compilation

所有constexpr对象都是const，但并非所有const对象都是constexpr。

如果希望编译器保证变量具有可以在需要编译时常量的上下文中使用的值，则要达到的工具是constexpr，而不是const。

甲constexpr符号常数，所以必须考虑到在编译时已知的值。例如：

constexpr int max = 100; 
void use(int n)
{
    constexpr int c1 = max+7; // OK: c1 is 107
    constexpr int c2 = n+7;   // Error: we don’t know the value of c2
    // ...
}

为了处理“变量”的值被编译时不知道但在初始化后从未更改的值处理的情况，C ++提供了常量的第二种形式（const）。例如：

constexpr int max = 100; 
void use(int n)
{
    constexpr int c1 = max+7; // OK: c1 is 107
    const int c2 = n+7; // OK, but don’t try to change the value of c2
    // ...
    c2 = 7; // error: c2 is a const
}

这样的“ const变量”很常见，原因有两个：

1. C ++ 98没有constexpr，因此人们使用const。
2. 不是常量表达式的列表项“变量”（它们的值在编译时未知），但是在初始化后不更改值本身就非常有用。

参考：Stroustrup的“编程：使用C ++的原理和实践”