变量上的Const vs constexpr

以下定义有区别吗?

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

如果不是,在c++ 11中首选哪种风格?

176103 次浏览

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

struct S {
constexpr S(int);
};


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

s0是一个常量,但它不承诺在编译时初始化。s1被标记为constexpr,因此它是一个常量,并且由于S的构造函数也被标记为constexpr,所以它将在编译时初始化。

当在运行时初始化会很耗时,并且你想把工作推到编译器上时,这很重要,在编译器上它也很耗时,但不会减慢已编译程序的执行时间

我相信这是有区别的。让我们重命名它们,以便我们可以更容易地讨论它们:

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

PI1PI2都是常量,这意味着你不能修改它们。然而,只有 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

至于你应该使用哪一种?使用任何符合你需要的。您是否希望确保您有一个编译时常数,可以在需要编译时常数的上下文中使用?您是否希望能够在运行时通过计算来初始化它?等。

constexpr表示一个常量值,在编译过程中已知 >表示一个常量值;在编译过程中并不一定要知道。

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符号常量必须在编译时已知值。 例如:< / p >
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++提供了第二种形式的常量(常量)。 例如:< / p >

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
}

这样的“常量变量”非常常见,有两个原因:

  1. c++ 98没有constexpr,所以人们使用常量
  2. 列出不是常量表达式(在编译时不知道它们的值)但在编译后不改变值的项目“变量” 初始化本身就非常有用

参考:《编程:使用c++的原理与实践》通过一种

再举一个例子来理解constconstexp之间的区别。

int main()
{
int n;
cin >> n;


const int c = n;        // OK: 'c' can also be initialized at run time
constexpr int e = n;    // Error: 'e' must be initialized at compile time
}

注意: constexpr通常在编译时求值,但不保证这样做,除非它们被调用

.在需要常量表达式的上下文中
constexpr int add(int a, int b)
{
return a + b;
};




int main()
{
int n = add(4, 3);          // may or may not be computed at compile time
constexpr int m = add(4,3); // must be computed at compile time
}
< p > constexpr→用于编译时间常数。这主要用于运行时优化。
const < / >强→用于运行时常数。