Inicjowanie constexpr z const: różne traktowanie int i double

Question

Poniższy kod nie skompilować live on Ideone:

#include <iostream> 
using namespace std; 

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

Komunikat o błędzie jest:

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; 

Podstawiając deklarację const dla kPi z constexpr, it compiles successfully.

Z drugiej strony, gdy int jest używany zamiast double, wydaje się constplays well z constexpr:

#include <iostream> 
using namespace std; 

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

Dlaczego int i double uzyskać różne zabiegi dla inicjalizacji constexpr z const?
Czy jest to błąd w kompilatorze Ideone? Czy jest to wymagane przez standard C++? Dlaczego?
Czy powyższy kod był UB?

P.S. Próbowałem z kompilatorem Visual Studio 2015 C++ i kompilował pierwszy fragment kodu (inicjowanie constexpr z const).

Answer 1

Reguła: "constexpr musi być oceniony na czas kompilacji".

Spójrzmy poniżej kodu (ogólny przykład);

const double k1 = size_of_array(); 

k1 jest stała, wartość jego inicjator nie jest znana czas kompilacji ale jego inicjator jest znany aż do czasu run k1 tak nie jest stałym wyrażeniem. W rezultacie zmienna const nie jest constexpr.

Ale kompilator zobaczyć te kod:

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

Jeden wyjątek występuje. Wartość integralna constexpr może być używana wszędzie tam, gdzie wymagana jest liczba całkowita, na przykład w argumentach szablonu i deklaracjach tablicowych[1].

Można uzyskać dodatkowe informacje z poniższych linków:

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

Answer 2

Shafik Yaghmour już dostarczono link explaining the background.

Ponieważ mam do utrzymania kod, który ma kompilować z różnymi standardami, używam następujące makro:

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