는 const를 통한 constexpr 초기화 : 다른 INT 치료 더블을

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로 사용되는 한편

는 constexpr와 const plays well처럼 보인다 :

#include <iostream> 
using namespace std; 

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

왜 int 할 및 double이 const와 constexpr을 초기화하는 다른 치료를 얻을?
Ideone 컴파일러의 버그입니까? 이것은 C++ 표준에서 필요합니까? 왜 그런가요?
위의 코드는 UB입니까?

P. 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 정수 값은 템플릿 인수 및 배열 선언과 같이 const 정수가 필요한 모든 곳에서 사용할 수 있습니다.[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

Shafik Yaghmour 이미 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