왜 템플릿 nontype 매개 변수 포인터 및 참조 인수는 전역이어야합니까?

Question

비 형식 인수로 전달되는 인수는 전역이어야하며 로컬이 아니어야하는 이유는 무엇입니까? 컴파일시에만 메모리가 생성되고 할당되지 않습니다.

이 경우 p는 const 포인터이므로 다른 변수를 가리킬 수 없으므로 오류가 발생합니다. 이유는 무엇입니까?

template<int* ptr> 
class A{}; 

int x; 
int *const p = &x; 

int main() { 
    x = 9; 
    A<&x> ob; 
    A<p> ob2;//giving error 
    cin.get(); 
} 

정수 형식 만 char 또는 float가 아닌 형식이 아닌 매개 변수로 허용되는 이유는 무엇입니까?

Answer 1

첫 번째 질문에 대해서는 필자가 컴파일러 전문가는 아니지만 컴파일러의 삶이 더 쉬워 짐을 짐작할 수 있으며, 아마도 constexpr을 사용할 수없는 이전 버전의 C++에서 오는 제한 사항 일 수 있습니다. char는 대신, 두 번째 질문에 관한

A template-argument for a non-type, non-template template-parameter shall be one of:

— for a non-type template-parameter of integral or enumeration type, a converted constant expression (5.19) of the type of the template-parameter; or

— the name of a non-type template-parameter; or

— a constant expression (5.19) that designates the address of an object with static storage duration and external or internal linkage or a function with external or internal linkage, including function templates and function template-ids but excluding non-static class members, expressed (ignoring parentheses) as & id-expression, except that the & may be omitted if the name refers to a function or array and shall be omitted if the corresponding template-parameter is a reference; or

— a constant expression that evaluates to a null pointer value (4.10); or

— a constant expression that evaluates to a null member pointer value (4.11); or

— a pointer to member expressed as described in 5.3.1; or

— an address constant expression of type std::nullptr_t.

: 그럼에도 불구하고

의 C++ 11 표준의 14.3.2/1 단락은 무엇을 허용하고 무엇을하는 것이 아닙니다에 관해서는 아주 명확하다 허용.

template<char c> 
struct X 
{ 
    // ... 
}; 

int main() 
{ 
    X<'c'> x; 
} 

이유 부동 소수점 형식은 허용되지 왜, 당신은 this Q&A on StackOverflow의 일부 정보를 찾을 수 있습니다에 관하여 : 예를 들어, 다음은 합법적 인 프로그램입니다.