Null 함수 호출에도 불구하고 정적 어설션이 컴파일에 실패하는 이유는 무엇입니까?

Null 함수 호출에도 불구하고 정적 어설션이 컴파일에 실패함

c 0x 플래그와 함께 g 4.6.3을 사용하면 개발자에게 예기치 않은 컴파일 오류가 발생했습니다. :

template <typename T>
inline T getValue(AnObject& {})
{
    static_assert(false, "this function has to be implemented for desired type");
}

결과:

static_assertion failed "this function has to be implemented for the desired type"

이 오류는 코드 어디에서도 함수가 호출되지 않았음에도 불구하고 발생합니다.

설명

C 표준 [temp.res]/8에 따르면 인스턴스화되지 않은 템플릿 정의에 대해 유효한 특수화를 생성할 수 없는 경우 템플릿의 형식이 잘못되었습니다. 컴파일러가 이 오류를 진단할 의무는 없지만 템플릿을 거부하는 것은 허용됩니다.

해결 방법

이 문제를 해결하는 한 가지 접근 방식은 유형 특성을 사용하는 것입니다. 정적 주장을 보호하기 위해:

template<typename T>
struct foobar : std::false_type
{ };

template <typename T>
inline T getValue(AnObject& {})
{
    static_assert(foobar<T>::value, "this function has to be implemented for desired type");
}

이 수정을 통해 컴파일러는 foobar의 관련 특수화를 인스턴스화해야 하므로 템플릿을 즉시 거부할 수 없습니다. 의도한 대로 실패할 정적 어설션의 값을 결정합니다.

위 내용은 Null 함수 호출에도 불구하고 정적 어설션이 컴파일에 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!