C에서 활성화_if를 사용하여 조건부 멤버 함수 오버로드를 구현하는 방법은 무엇입니까?

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

C에서 활성화_if는 여부에 따라 특정 코드를 조건부로 활성화하거나 비활성화하는 데 사용되는 도구입니다. 템플릿 인수는 특정 기준을 충족합니다. 이는 템플릿 매개변수를 기반으로 클래스나 함수의 동작을 사용자 정의하려는 경우 유용할 수 있습니다.

주어진 예에서 목표는 템플릿이 적용되는지 여부에 따라 다르게 동작하는 MyFunction 멤버 함수를 만드는 것입니다. 매개변수 T는 정수이거나 아닙니다. 의도된 구현은 MyFunction의 두 오버로드(T = int에 대해 하나, T != int에 대해 하나)를 사용하는 것입니다.

이를 달성하기 위한 한 가지 접근 방식은 아래 코드에 표시된 대로 활성화_if를 사용하는 것입니다.

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

그러나 이 코드는 활성화_if의 잘못된 사용으로 인해 컴파일 오류가 발생합니다. C에서는 오버로드 해결 중에 템플릿 인수 대체가 발생합니다. 이 경우 멤버 함수 인스턴스화 시 T 유형이 알려지기 때문에 대체가 발생하지 않습니다.

이 문제를 해결하려면 더미 템플릿 매개변수를 도입하고 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>

이 접근 방식을 사용하면 T 값에 따라 올바른 버전의 MyFunction이 선택됩니다.

위 내용은 C에서 활성화_if를 사용하여 조건부 멤버 함수 오버로드를 구현하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!