비유형 템플릿 매개변수가 상수 적분 표현식이어야 하는 이유는 무엇입니까?

비유형 템플릿 매개변수 및 상수 적분식

비유형 템플릿 매개변수는 템플릿을 사용자 정의하는 데 유용한 도구이지만 왜 중요한가요? 상수 적분 표현식이라는 것인가요?

다음을 고려하세요. 코드:

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

이 코드를 컴파일하면 오류가 발생합니다.

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

비유형 템플릿 매개변수는 컴파일 중에 평가되므로 상수 적분 표현식이어야 합니다. 이를 통해 런타임 평가 없이 직접 코드 생성이 가능합니다. 런타임 시 변경될 수 있는 std::string과 같은 유형은 컴파일 시 대체될 수 없습니다.

표준에서는 비유형 템플릿 매개변수가 다음 유형만 될 수 있다고 규정합니다.

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

비유형 템플릿 매개변수를 컴파일 타임 상수 값으로 제한함으로써 컴파일러는 다음에서 효율적인 코드를 생성할 수 있습니다. 런타임에 앞서 프로그램의 동작을 완전히 결정하고 최적화할 수 있도록 보장합니다.

위 내용은 비유형 템플릿 매개변수가 상수 적분 표현식이어야 하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!