SFINAE가 클래스 템플릿의 멤버 함수와 작동하지 않는 이유는 무엇입니까?

SFINAE(enable_if)가 클래스 템플릿의 멤버 함수에 대해 작동하지 않는 이유는 무엇입니까?

C에서는 SFINAE(Substitution Failure Is Not An Error)를 사용하여 다음을 수행할 수 있습니다. 템플릿 인수 유형에 따라 코드를 활성화하거나 비활성화합니다. 그러나 클래스 템플릿의 멤버 함수를 처리할 때 SFINAE가 예상대로 작동하지 않는 경우가 많습니다.

다음은 문제를 보여주는 예입니다.

<code class="cpp">#include <type_traits>

struct A {};
struct B {};

template <typename T>
struct Foo
{
    typename std::enable_if<std::is_same<T, A>::value>::type bar()
    {}

    typename std::enable_if<std::is_same<T, B>::value>::type bar()
    {}
};</code>

이 예에서 Foo는 다음을 정의합니다. 두 개의 오버로드된 멤버 함수 bar(). 첫 번째 오버로드는 T가 A일 때 활성화되고 두 번째 오버로드는 T가 B일 때 활성화됩니다. 그러나 이 코드를 컴파일하려고 하면 오버로드를 해결할 수 없다는 오류 메시지가 나타납니다.

이 오류가 발생하는 이유는 SFINAE가 추론된 템플릿 인수에만 작동하기 때문입니다. 클래스 템플릿의 멤버 함수의 경우 템플릿 인수가 추론되지 않고 명시적으로 지정됩니다. 문제를 해결하려면 다음 기술 중 하나를 사용할 수 있습니다.

• 명시적 템플릿 인수 사용:

  <code class="cpp">struct Foo
  {
    void bar(A) {}
    void bar(B) {}
  };</code>

• 멤버 함수 내에서 std::enable_if 사용:

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

• 명시적 클래스 템플릿 특수화 사용:

  <code class="cpp">template <> struct Foo<A> { void bar() {} };
  template <> struct Foo<B> { void bar() {} };</code>

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