클래스 템플릿의 멤버 함수에서 SFINAE가 실패하는 이유는 무엇입니까?

클래스 템플릿의 멤버 함수 SFINAE: 자세한 설명

C 세계에서는 SFINAE(Substitution Failure Is Not An Error)가 가능합니다. 컴파일 중 인스턴스화 오류를 방지하여 템플릿 최적화. 그러나 클래스 템플릿의 멤버 함수를 처리할 때 SFINAE가 예기치 않게 동작할 수 있습니다.

멤버 함수 SFINAE의 문제

다음 코드를 고려하세요.

<code class="cpp">template <typename t>
struct Foo
{
    typename std::enable_if<:is_same a>::value>::type bar();
    typename std::enable_if<:is_same b>::value>::type bar();
};</:is_same></:is_same></typename></code>

기대와는 달리 이 코드는 오류 메시지를 발생시킵니다. SFINAE는 클래스 템플릿 내의 멤버 함수에 대해 의도한 대로 작동하지 않습니다.

SFINAE 및 추론된 템플릿 인수

문제의 핵심은 SFINAE가 추론된 템플릿 인수에 의존한다는 것입니다. . 함수 호출에서 템플릿 인수가 추론되는 경우에만 작동합니다. 멤버 함수의 경우 템플릿 인수를 추론하지 않고 명시적으로 제공합니다.

연역된 인수를 사용한 솔루션

이 문제를 해결하려면 다음을 수정하면 됩니다.

<code class="cpp">template<typename t>
struct Foo
{
    template<typename u="T">
    typename std::enable_if<:is_same>::value>::type bar()
    {
    }

    template<typename u="T">
    typename std::enable_if<:is_same>::value>::type bar()
    {
    }
};</:is_same></typename></:is_same></typename></typename></code>

이제 Foo()(x)를 호출할 때 컴파일러는 템플릿 인수 T를 추론합니다. x를 기준으로 올바른 과부하를 선택합니다. 이 접근 방식을 사용하면 SFINAE가 예상대로 작동할 수 있습니다.

또는 명시적 클래스 템플릿 특수화

클래스 구조가 중요하고 수정할 수 없는 경우 대체 솔루션은 다음과 같습니다. 명시적인 클래스 템플릿 전문화:

<code class="cpp">template <typename> struct Foo;

template  struct Foo<a> { void bar() {} };
template  struct Foo<b> { void bar() {} };</b></a></typename></code>

여기서 컴파일러는 다음을 기반으로 인스턴스화할 전문화를 정확히 알고 있습니다. 제공되는 유형입니다. 전문화 선택을 SFINAE에 의존하지 않습니다.

위 내용은 클래스 템플릿의 멤버 함수에서 SFINAE가 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!