变量上的Const vs constexpr

以下定义有区别吗?

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

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

当前回答

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变量”非常常见，有两个原因:

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

参考:Stroustrup的《编程:使用c++的原理和实践》

2015-10-04 17:39:52

其他回答

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

struct S {
    constexpr S(int);
};

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

S0是一个常量，但它并不承诺在编译时进行初始化。s1被标记为constexpr，所以它是一个常量，因为S的构造函数也被标记为constexpr，所以它将在编译时初始化。

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

2012-11-12 16:04:41

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

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

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

constexpr double PI3 = PI1;  // error

but:

constexpr double PI3 = PI2;  // ok

and:

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

but:

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

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

2012-11-12 16:20:55

再举一个例子来理解const和constexp之间的区别。

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
}

2022-04-18 06:06:31

constexpr ->用于编译时间常数。这主要用于运行时优化。 const ->用于运行时间常数。

2022-07-24 04:13:35