C ++에서 SFINAE 기능에 접근

프로젝트에서 SFINAE 기능을 많이 사용하고 있으며 다음 두 가지 접근 방식 (스타일 이외)에 차이가 있는지 확실하지 않습니다.

#include <cstdlib>
#include <type_traits>
#include <iostream>

template <class T, class = std::enable_if_t<std::is_same_v<T, int>>>
void foo()
{
    std::cout << "method 1" << std::endl;
}

template <class T, std::enable_if_t<std::is_same_v<T, double>>* = 0>
void foo()
{
    std::cout << "method 2" << std::endl;
}

int main()
{
    foo<int>();
    foo<double>();

    std::cout << "Done...";
    std::getchar();

    return EXIT_SUCCESS;
}

프로그램 출력은 다음과 같습니다.

method 1
method 2
Done...

방법 2가 스택 오버 플로우에서 더 자주 사용되는 것을 보았지만 방법 1을 선호합니다.

이 두 가지 접근 방식이 다른 상황이 있습니까?

방법 2가 스택 오버 플로우에서 더 자주 사용되는 것을 보았지만 방법 1을 선호합니다.

제안 : 방법 2를 선호하십시오.

두 방법 모두 단일 기능으로 작동합니다. 동일한 서명을 가진 함수를 두 개 이상 가지고 있고 세트의 하나의 기능 만 사용하려는 경우 문제가 발생합니다.

활성화한다고 가정 foo()버전 1, bar<T>()(그것이 척 constexpr기능)입니다 true, 그리고 foo()경우, 버전 2 bar<T>()입니다 false.

와

template <typename T, typename = std::enable_if_t<true == bar<T>()>>
void foo () // version 1
 { }

template <typename T, typename = std::enable_if_t<false == bar<T>()>>
void foo () // version 2
 { }

모호성이 있기 때문에 컴파일 오류가 발생합니다. foo()서명이 동일한 두 함수 (기본 템플릿 매개 변수는 서명을 변경하지 않습니다).

그러나 다음 해결책

template <typename T, std::enable_if_t<true == bar<T>(), bool> = true>
void foo () // version 1
 { }

template <typename T, std::enable_if_t<false == bar<T>(), bool> = true>
void foo () // version 2
 { }

SFINAE가 함수의 서명을 수정하기 때문에 작동합니다.

관련없는 관찰 : 세 번째 방법이 있습니다 : 반환 유형 활성화 / 비활성화 (클래스 / 구조체 생성자를 제외하고는 분명히)

template <typename T>
std::enable_if_t<true == bar<T>()> foo () // version 1
 { }

template <typename T>
std::enable_if_t<false == bar<T>()> foo () // version 2
 { }

방법 2로서, 방법 3은 동일한 서명을 갖는 대안적인 기능의 선택과 호환된다.

max66의 답변 외에도 방법 2를 선호하는 또 다른 이유는 방법 1을 사용하면 명시 적으로 유형 매개 변수를 두 번째 템플릿 인수로 전달하고 SFINAE 메커니즘을 완전히 무시할 수 있기 때문입니다. 오타, 복사 / 붙여 넣기 오류 또는 더 큰 템플릿 메커니즘에 대한 감독으로 발생할 수 있습니다.

#include <cstdlib>
#include <type_traits>
#include <iostream>

// NOTE: foo should only accept T=int
template <class T, class = std::enable_if_t<std::is_same_v<T, int>>>
void foo(){
    std::cout << "method 1" << std::endl;
}

int main(){

    // works fine
    foo<int>();

    // ERROR: subsitution failure, as expected
    // foo<double>();

    // Oops! also works, even though T != int :(
    foo<double, double>();

    return 0;
}

여기에 라이브 데모