호출되지 않은 템플릿 함수에 대해 `static_assert`가 컴파일에 실패하는 이유는 무엇입니까?

호출되지 않은 템플릿 함수에 대해 static_assert가 컴파일에 실패하는 이유는 무엇입니까?

템플릿 static_assert를 사용하는 경우 템플릿 함수가 인스턴스화될 때만 어설션이 실패할 것으로 예상됩니다. 그러나 아래에 제기된 것과 같은 특정 경우에는 함수가 호출되기 전에도 컴파일이 실패합니다.

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

설명

[temp.res]/의 C 표준에 따르면 8:

"템플릿 정의에 대해 유효한 특수화를 생성할 수 없고 해당 템플릿이 인스턴스화되지 않은 경우 템플릿 정의의 형식이 잘못되었으므로 진단이 필요하지 않습니다."

제공된 템플릿에서는 static_assert 조건이 항상 false이므로 유효한 특수화를 생성할 수 없습니다. 따라서 템플릿 정의의 형식이 잘못되었습니다. 인스턴스화되지 않았더라도 컴파일러가 조기에 거부할 수 있습니다.

해결책

이 문제를 해결하려면 템플릿을 다음과 같이 수정하면 됩니다.

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");
}

이런 식으로 , static_assert 조건을 평가하기 전에 foobar의 적절한 특수화를 인스턴스화해야 하기 때문에 컴파일러는 함수 템플릿을 즉시 거부할 수 없습니다. 결과적으로 컴파일 오류는 함수가 실제로 인스턴스화되고 어설션이 실패할 때만 발생합니다.

위 내용은 호출되지 않은 템플릿 함수에 대해 `static_assert`가 컴파일에 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!