C에서 활성화_if를 사용하여 클래스 템플릿 매개변수를 기반으로 멤버 함수를 선택하는 방법은 무엇입니까?-C++-php.cn

C에서 활성화_if를 사용하여 클래스 템플릿 매개변수를 기반으로 멤버 함수를 선택하는 방법은 무엇입니까?

DDD

풀어 주다： 2024-10-26 05:50:30

원래의

229명이 탐색했습니다.

How to Select Member Functions Based on Class Template Parameters Using enable_if in C ?

다른 활성화_if 조건을 사용하여 멤버 함수 선택

C에서는 활성화_if 메타함수를 사용하여 컴파일에 따라 코드를 선택적으로 활성화하거나 비활성화할 수 있습니다. -시간 조건. 이 기술은 다양한 유형의 인수를 처리하거나 템플릿 매개변수에 따라 다양한 작업을 수행하는 멤버 함수의 오버로드를 제공하는 데 종종 사용됩니다.

enable_if를 사용하여 클래스 템플릿 매개변수를 기반으로 멤버 함수 중에서 선택하려는 경우, 과부하 해결 세트에서 오류가 삭제되는 템플릿 인수를 대체하여 활성화_if가 작동한다는 것을 이해해야 합니다.

문제:

제공된 코드에서 활성화_if 조건은 멤버 함수에 직접 적용되지만 이 접근 방식은 이러한 함수를 인스턴스화할 때 템플릿 인수 T가 이미 알려져 있기 때문에 원하는 효과를 얻지 못합니다.

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

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

로그인 후 복사

해결책:

이 문제를 해결하려면 기본값이 T인 더미 템플릿 인수를 생성하고 이를 사용하여 SFINAE(대체 실패는 오류가 아님) 검사를 수행합니다. 이 접근 방식을 사용하면 컴파일러는 더미 인수의 유형에 따라 호출할 멤버 함수를 결정할 수 있습니다.

<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>

로그인 후 복사

명시적인 템플릿 인수 전문화 방지:

설명한 대로 HostileFork에서는 사용자가 멤버 함수에 대한 템플릿 인수를 명시적으로 지정할 수 있으며, 이로 인해 잘못된 결과가 발생할 수 있습니다. 이를 방지하려면 static_assert를 사용하여 명시적 인수가 제공되지 않았는지 확인하세요.

<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>

로그인 후 복사

위 내용은 C에서 활성화_if를 사용하여 클래스 템플릿 매개변수를 기반으로 멤버 함수를 선택하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!