Инициализация constexpr с сопзЬ: Different лечение междунар и двойной

Question

Следующий код не компилировать live on Ideone:

#include <iostream> 
using namespace std; 

int main() { 
    const double kPi = 3.14; 
    constexpr double kPi2 = 2.0*kPi; 
    cout << kPi2; 
} 

Сообщение об ошибке:

prog.cpp: In function 'int main()': 
prog.cpp:6:30: error: the value of 'kPi' is not usable in a constant expression 
    constexpr double kPi2 = 2.0*kPi; 
          ^
prog.cpp:5:15: note: 'kPi' was not declared 'constexpr' 
    const double kPi = 3.14; 

Подставив const декларацию для kPi с constexpr, it compiles successfully.

С другой стороны, когда int используется вместо double, кажется, constplays well с constexpr:

#include <iostream> 
using namespace std; 

int main() { 
    const int k1 = 10; 
    constexpr int k2 = 2*k1; 
    cout << k2 << '\n'; 
    return 0; 
} 

Почему int и double получить различные процедуры для инициализации constexpr с const?
Является ли это ошибкой в ​​компиляторе Ideone? Это требуется стандарту C++? Почему это?
Был ли вышеуказанный код UB?

P.S. Я пробовал с компилятором Visual Studio 2015 C++, и он компилирует первый фрагмент кода (инициализация constexpr с const) просто отлично.

Answer 1

Правило: «constexpr следует оценивать по адресу время компиляции».

Давайте рассмотрим ниже код (общий пример);

const double k1 = size_of_array(); 

k1 постоянен, то значение его инициализатора не известно времени компиляции но его инициализатор известен до времени выполнения так k1 не является постоянным выражением. В результате переменная const не является constexpr.

Но компилятор увидеть этот код:

const int k1 = 10; 
    constexpr int k2 = 2*k1; 

Одно исключения происходит. Значение constexpr integer может использоваться везде, где требуется целочисленное целое число, например, в аргументах шаблона и объявлениях массива[1].

Вы можете получить дополнительную информацию по ссылкам ниже:

1. Constexpr - Generalized Constant Expressions in C++11
2. const vs constexpr on variables | stackoverflow
3. Difference between constexpr and const | stackoverflow

Answer 2

Шафик Ягмур уже предоставил link explaining the background.

Поскольку я должен поддерживать код, который должен составить с различными стандартами, я использую следующий макрос:

#if __cplusplus <= 199711L // lower than C++11 
    #define MY_CONST const 
#else // C++11 and above 
    #define MY_CONST constexpr 
#endif