비 유형 템플릿 매개 변수

비 유형 템플릿 매개 변수가 상수 정수 표현식이어야한다는 것을 이해합니다. 누군가가 왜 그렇게 밝힐 수 있습니까?

template <std::string temp>
void foo()
{
     // ...
}

error C2993: 'std::string' : illegal type for non-type template parameter 'temp'.

나는 상수 적분 표현이 무엇인지 이해합니다. std::string위의 스 니펫 과 같이 상수가 아닌 유형을 허용하지 않는 이유는 무엇입니까 ?

이렇게 할 수없는 이유는 컴파일 타임 동안 상수가 아닌 식을 구문 분석하고 대체 할 수 없기 때문입니다. 런타임 중에 변경 될 수 있으며 런타임 중에 새 템플릿을 생성해야합니다. 템플릿은 컴파일 시간 개념이므로 불가능합니다.

표준에서 비 유형 템플릿 매개 변수 (14.1 [temp.param] p4)를 허용하는 것은 다음과 같습니다.

유형이 아닌 템플릿 매개 변수는 다음 (선택적으로 cv-qualified) 유형 중 하나를 가져야합니다.

• 정수 또는 열거 유형,
• 객체에 대한 포인터 또는 함수에 대한 포인터,
• 객체에 대한 lvalue 참조 또는 함수에 대한 lvalue 참조,
• 멤버에 대한 포인터,
• std::nullptr_t.

그것은 허용되지 않습니다.

그러나 다음은 허용됩니다.

template <std::string * temp> //pointer to object
void f();

template <std::string & temp> //reference to object
void g();

C ++ Standard (2003)의 §14.1 / 6,7,8을 참조하세요.

삽화:

template <std::string * temp> //pointer to object
void f()
{
   cout << *temp << endl;
}

template <std::string & temp> //reference to object
void g()
{
     cout << temp << endl;
     temp += "...appended some string";
}

std::string s; //must not be local as it must have external linkage!

int main() {
        s = "can assign values locally";
        f<&s>();
        g<s>();
        cout << s << endl;
        return 0;
}

산출:

can assign values locally
can assign values locally
can assign values locally...appended some string

템플릿 인수를 조작 할 수 있어야합니다.

template <std::string temp>
void f() {
 // ...
}

f<"foo">();
f<"bar">(); // different function!?

이제 impl은 std::string구현에 알려지지 않은 특정 값을 저장하는 임의의 다른 사용자 정의 클래스에 대해 고유 한 문자 시퀀스를 만들어야합니다. 또한 임의의 클래스 개체의 값은 컴파일 타임에 계산할 수 없습니다.

상수 표현식으로 초기화되는 C ++ 0x 이후의 템플릿 매개 변수 유형으로 리터럴 클래스 유형을 허용하는 것을 고려할 계획입니다. 데이터 멤버를 값에 따라 재귀 적으로 엉망으로 만들면 엉망이 될 수 있습니다 (예를 들어 깊이 우선, 왼쪽에서 오른쪽 순회을 적용 할 수있는 기본 클래스의 경우). 그러나 임의의 클래스에서는 작동하지 않을 것입니다.

템플릿 인수 목록 내에서 제공되는 유형이 아닌 템플릿 인수는 컴파일 타임에 값을 결정할 수있는 표현식입니다. 이러한 인수는 다음과 같아야합니다.

상수 표현식, 외부 링크가있는 함수 또는 객체의 주소 또는 정적 클래스 멤버의 주소.

또한 문자열 리터럴은 내부 연결이있는 개체이므로 템플릿 인수로 사용할 수 없습니다. 전역 포인터도 사용할 수 없습니다. 반올림 오류가 발생할 가능성이 분명하므로 부동 소수점 리터럴은 허용되지 않습니다.