포인터가 아닌 형식의 템플릿 인수

Question

this SO question에 응답 할 때 표준 형식 (이미 C++ 03, 여전히 C++ 11)에서 비 형식형 템플릿 인수로만 주소를 사용할 수 있음을 발견했습니다. 양식 & id-expression (일부 예외 포함).

하지만 대답 할 수 없었습니다. 이유는입니다.

:

14.3.2 템플릿이 아닌 형태 인수 [temp.arg.nontype]

비 유형에 대한 템플릿 인수 비 템플릿 템플릿 파라미터 중 하나 여야한다 [...]

정적 저장소> 지속 시간 및 외부 또는 내부 연결 이있는 개체의 주소를 지정하는 상수 식 (5.19) 또는 외부 또는 내부 연결이있는 함수 (함수 템플릿 및 함수 템플릿 포함) -ids하지만 exc 비정규 클래스 멤버를 사용하는 경우, &은 이름이 함수 또는 배열을 참조하는 경우 생략 될 수 있으며 해당 템플릿 매개 변수가 참조 인 경우 생략해야한다는 점을 제외하고는 & ID 표현으로 표현됩니다 (괄호 무시). [...]

은

(n3485 강조 광산)

예 :

using TFoobar = int (*)(); 
template < TFoobar tp > struct foo_struct{}; 

int foobar() { return 42; } 
constexpr TFoobar pFoobar = &foobar; 

foo_struct < &foobar > o0; // fine 
foo_struct <pFoobar> o1; // ill-formed 

나는 그것이 번역 상 함께 할 수있는 뭔가가 생각, 즉 컴파일러는 많이 알고하지 않습니다 주소에 대해서. 그러나, 왜 그것이 허용되지 않습니까? 컴파일러가 pFoobar을 &foobar으로 바꾸기 위해 매크로 대체와 비슷한 것을 사용할 수 없어야합니까?

Answer 1

클래스 Foo<&X> 및 Foo<&Y>을 모두 정적 멤버 int Bar으로 간주합니다. 링커는 프로그램에 1 또는 2 개의 Bar 개체가 있는지 여부를 알 수 있어야합니다. 이제 링커가 &X 및 &Y에 값을 할당 할 가능성이 가장 큰 파티이기도합니다.

표준을 다시보십시오. 작성된대로 컴파일러는 실제 주소을 링커에 전달할 필요가 없습니다. 대신 id-expression을 전달합니다. 링커는 이미 숫자 주소를 할당하기 전에 두 개의 id-expression이 같은지 여부를 판단 할 수 있습니다.

Answer 2

1. 변수는 런타임에만 설정되기 때문에 변수가 될 수 없습니다.
2. 주소의 값은 컴파일 타임에 알 수 없기 때문에 constexpr 일 수 없습니다. 대부분의 경우 실행 전 재배치 후에 만 ​​수정됩니다.
3. 이론적으로는 (표준에서는 허용되지 않지만) 산술식이 될 수 있지만 일반적으로 배열 요소의 주소의 경우 arr + i 대신 &arr[i]을 사용하면됩니다.