활성화_if를 사용하여 템플릿 매개변수를 기반으로 함수를 선택하는 방법: 'struct std::enable_if'\'에서 \'no typename \'type\'' 오류가 발생하는 이유는 무엇이며 어떻게 해결할 수 있습니까?

Enable_if를 사용하여 템플릿 매개변수를 기반으로 함수를 선택하는 방법

문제:

반원의 버전 확인 클래스의 템플릿 매개변수를 기반으로 함수를 호출하는 것은 어려울 수 있습니다. 활성화_if를 사용하는 것이 해결책이 될 수 있지만 "'struct std::enable_if'에 'type'이라는 유형이 없습니다."와 같은 오류가 발생할 수 있습니다.

해결책:

문제는 템플릿 인수를 대체하는 데 있습니다. 활성화_if는 템플릿 인수 대체 중에 오류가 발생하는 오버로드를 제거하여 작동합니다. 제공된 코드에서는 T가 멤버 함수 인스턴스화 시점에 이미 알려져 있으므로 대체가 발생하지 않습니다.

이 문제를 해결하려면 T로 기본 설정된 더미 템플릿 인수를 생성하고 이를 SFINAE(Substitution Failure Is Not)에 사용합니다. 오류). 문제가 있는 코드를 다음으로 바꾸십시오.

<code class="cpp">template<typename T>
struct Point
{
  template<typename U = T>
  typename std::enable_if<std::is_same<U, int>::value>::type
    MyFunction()
  {
    std::cout << "T is int." << std::endl;
  }

  template<typename U = T>
  typename std::enable_if<std::is_same<U, float>::value>::type
    MyFunction()
  {
    std::cout << "T is not int." << std::endl;
  }
};</code>

참고:

사용자가 템플릿 인수를 명시적으로 지정하여 잠재적으로 잘못된 결과를 얻는 것을 방지하려면 정적 코드를 추가할 수 있습니다. 다음 예에서 볼 수 있듯이 멤버 함수에 대한 어설션:

<code class="cpp">template<typename T>
struct Point
{
  template<typename... Dummy, typename U = T>
  typename std::enable_if<std::is_same<U, int>::value>::type
    MyFunction()
  {
    static_assert(sizeof...(Dummy)==0, "Do not specify template arguments!");
    std::cout << "T is int." << std::endl;
  }

  template<typename... Dummy, typename U = T>
  typename std::enable_if<std::is_same<U, float>::value>::type
    MyFunction()
  {
    static_assert(sizeof...(Dummy)==0, "Do not specify template arguments!");
    std::cout << "T is not int." << std::endl;
  }
};</code>

위 내용은 활성화_if를 사용하여 템플릿 매개변수를 기반으로 함수를 선택하는 방법: 'struct std::enable_if'\'에서 \'no typename \'type\'' 오류가 발생하는 이유는 무엇이며 어떻게 해결할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!