当编译时不知道参数时，不调用`constexpr`构造函数

Question

当前我正在阅读Scott Meyers的Effective Modern C++（项目15 - 尽可能使用constexpr。）。作者说：

当constexpr函数被调用与被 不是在编译期间已知的一个或多个值，它就像一个正常的功能， 计算其在运行时的结果。这意味着您不需要两个函数来执行相同的操作，一个用于编译时间 常量，另一个用于所有其他值。 constexpr函数全部都是 。

我尝试了下面的代码片段在http://coliru.stacked-crooked.com/

#include <iostream> 

class Point 
{ 
    public: 
     constexpr Point(double a, double b) noexcept 
      : _a(a), _b(b) 
     { 
     } 

     void print() const noexcept 
     { 
      std::cout << "a -> " << _a << "\tb -> " << _b << std::endl; 
     } 

    private: 
     double _a; 
     double _b; 
}; 

double get_a() noexcept 
{ 
    return 5.5; 
} 

double get_b() noexcept 
{ 
    return 5.6; 
} 


int main() 
{ 
    constexpr Point p1(2.3, 4.4); 
    p1.print(); 
    int a = get_a(); 
    int b = get_b(); 
    constexpr Point p2(a, b); 
    p2.print(); 
    return 0; 
} 

在创建p1对象一切如预期的情况：参数被称为编译时和成员被正确初始化。在创建p2对象的情况下，尽管在编译时我们不知道a和b变量的值，但它应该在我的理解中起作用，因为构造函数应该充当正常函数。但我发现了以下错误信息：

main.cpp: In function 'int main()' 
main.cpp:38:28: error: the value of 'a' is not usable in a constant expression 
    constexpr Point p2(a, b); 
          ^
main.cpp:36:9: note: 'int a' is not const 
    int a = get_a(); 
     ^
main.cpp:38:28: error: the value of 'b' is not usable in a constant expression 
    constexpr Point p2(a, b); 
          ^
main.cpp:37:9: note: 'int b' is not const 
    int b = get_b(); 

Coliru使用GCC编译器。 所以，我不明白是什么问题。也许我错过了什么......

Answer 1

从cppreference（重点煤矿）：

一个constexpr变量必须满足以下要求：

• 它的类型必须为LiteralType。
• 必须立即初始化
• 初始化充分表达，包括所有隐式转换，构造函数的调用等，必须是一个常量表达式

在你的榜样？

constexpr Point p2(a, b); 

... a和b不是常量表达式。为了使他们常量表达式，你需要标记get_a，get_b，a，并且b为constexpr：

constexpr double get_a() noexcept 
{ 
    return 5.5; 
} 

constexpr double get_b() noexcept 
{ 
    return 5.6; 
} 

constexpr int a = get_a(); 
constexpr int b = get_b(); 
constexpr Point p2(a, b); 

Answer 2

你误会斯科特的解释：他并不意味着你可以做constexpr具有非常量数据的对象。这样的结构不应该工作

constexpr Point p2(a, b); 

，因为编译器不知道的a和b值，所以你不能申报编译器，你p2对象constexpr。

他的意思是，当你定义一个constexpr函数或成员函数，这样

int constexpr foo(int a, int b) { 
    return 2*a + b; 
} 

这显然工作时，a和b是编译时间常数，但它会继续甚至工作时a和b是变量：

cout << foo(2, 5) << endl; // This obviously works 
int a, b; 
cin >> a >> b; 
cout << foo(a, b) << endl; // This works too 

Demo.

在你的情况下，它意味着您可以继续拨打Point的，即使变量构造函数，但你不能结果迫使constexpr：

Point p2(a, b); // This works, even though Point(int,int) is constexpr