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

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

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

멤버 함수 SFINAE의 문제

다음 코드를 고려하세요.

<code class="cpp">template &lt;typename T&gt;
struct Foo
{
    typename std::enable_if&lt;std::is_same&lt;T, A&gt;::value&gt;::type bar();
    typename std::enable_if&lt;std::is_same&lt;T, B&gt;::value&gt;::type bar();
};</code>

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

SFINAE 및 추론된 템플릿 인수

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

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

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

<code class="cpp">template&lt;typename T&gt;
struct Foo
{
    template&lt;typename U = T&gt;
    typename std::enable_if&lt;std::is_same&lt;U,A&gt;::value&gt;::type bar()
    {
    }

    template&lt;typename U = T&gt;
    typename std::enable_if&lt;std::is_same&lt;U,B&gt;::value&gt;::type bar()
    {
    }
};</code>

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

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

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

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

template &lt;&gt; struct Foo&lt;A&gt; { void bar() {} };
template &lt;&gt; struct Foo&lt;B&gt; { void bar() {} };</code>

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

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