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

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

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

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

template
struct Point {
  void MyFunction(
    typename std::enable_if<:is_same int>::value, T >::type* = 0) {
    std::cout ::value, float >::type* = 0) {
    std::cout 
그러나 이 코드는 활성화_if의 잘못된 사용으로 인해 컴파일 오류가 발생합니다. C에서는 오버로드 해결 중에 템플릿 인수 대체가 발생합니다. 이 경우 멤버 함수 인스턴스화 시 T 유형이 알려져 있으므로 대체가 발생하지 않습니다.
이 문제를 해결하려면 더미 템플릿 매개변수를 도입하고 T를 기본값으로 설정하여 SFINAE를 허용할 수 있습니다. (대체 실패는 오류가 아님) 제대로 작동하려면:
template
struct Point {
  template
  typename std::enable_if<:is_same int>::value>::type MyFunction() {
    std::cout 
  typename std::enable_if<:is_same float>::value>::type MyFunction() {
    std::cout 
이 접근 방식을 사용하면 T 값을 기반으로 올바른 버전의 MyFunction이 선택됩니다.