인텔 대 constexpr의 GCC

Question

다음 코드는 Intel-2015에서 ok로 컴파일되지만 gcc 4.8.3에서는 실패합니다. 누가 맞습니까?

#include <iostream> 

void f(int const& x) { std::cout << x << std::endl; } 

struct S 
{ 
    static constexpr int ce = 42; 
}; 

int main() 
{ 
    f(S::ce); 

    return 0; 
} 

g ++ 오류 : 나는 GCC를 잘 생각

/tmp/ccOIxa2V.o: In function `main': 
test_constexpr.cpp:(.text+0x36): undefined reference to `S::ce' 
collect2: error: ld returned 1 exit status 

Answer 1

함수 f은 참조 인수를 취하기 때문에 런타임에 참조가 가리킬 수있는 S::ce의 정의가 있어야합니다. 컴파일러는 리터럴 (42) 그래서 당신은 밖으로의 클래스 정의를 추가 할 필요가로 인수를 대체 할 수 없습니다 :

const int S::ce; 

당신이 비 constexpr 변수에서와 같이합니다. 이것은 컴파일 타임에 계산할 수 없었던 참조 나 다른 것들에 사용하기 위해 런타임에 값을위한 메모리 위치를 할당합니다.

자세한 내용은 this GCC bug report (실제로 버그가 아닌 이유 설명) 주석을 참조하십시오.

Answer 2

. BTW, CLang 3.5.1도 같은 에러를 낸다.

고정 정적 변수는 주소가 지정되지 않고 참조에 바인딩되지 않은 경우에만 정의 할 수 있습니다.

귀하의 예는 그것에 대한 참조를 제한하므로 명시적인 정의가 필요합니다. 는 C++ 11 초안 (9.4.2.3)에서

가 편리하게 편집 :

A static data member of literal type can be declared in the class definition with the constexpr specifier; [...] The member shall still be defined in a namespace scope if it is odr-used (3.2) in the program [...].

그리고 3.2 :

A variable [...] whose name appears as a potentially-evaluated expression is odr-used unless it is an object that satisfies the requirements for appearing in a constant expression (5.19) and the lvalue-to-rvalue conversion (4.1) is immediately applied.

그 좌변 투를 rvalue 변환 물건은 대략 말하기 단항 테이크 주소 연산자 &에 참조 또는 인수를 바인딩 할 때를 제외하고는 변수가 사용될 때마다 수행됩니다.