Podejścia do działania SFINAE w C ++

Używam mocno funkcji SFINAE w projekcie i nie jestem pewien, czy istnieją jakieś różnice między następującymi dwoma podejściami (innymi niż styl):

#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;
}

Wynik programu jest zgodny z oczekiwaniami:

method 1
method 2
Done...

Widziałem metodę 2 częściej używaną w przepełnieniu stosu, ale wolę metodę 1.

Czy są jakieś okoliczności, w których te dwa podejścia się różnią?

Widziałem metodę 2 częściej używaną w przepełnieniu stosu, ale wolę metodę 1.

Sugestia: preferuj metodę 2.

Obie metody działają z pojedynczymi funkcjami. Problem pojawia się, gdy masz więcej niż funkcję o tej samej sygnaturze i chcesz włączyć tylko jedną funkcję zestawu.

Załóżmy, że chcesz włączyć opcję foo()1, gdy bar<T>()(udawaj, że jest to constexprfunkcja) true, a foo()wersja 2, kiedy bar<T>()jest false.

Z

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

pojawia się błąd kompilacji, ponieważ masz dwuznaczność: dwie foo()funkcje z tym samym podpisem (domyślny parametr szablonu nie zmienia podpisu).

Ale następujące rozwiązanie

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

działa, ponieważ SFINAE modyfikuje podpis funkcji.

Niepowiązana obserwacja: istnieje również trzecia metoda: włączanie / wyłączanie typu zwracanego (oczywiście z wyjątkiem konstruktorów klas / struktur)

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

Jako metoda 2 metoda 3 jest kompatybilna z wyborem alternatywnych funkcji o tej samej sygnaturze.

Oprócz odpowiedzi max66 , innym powodem preferowania metody 2 jest to, że w metodzie 1 możesz (przypadkowo) przekazać parametr typu jawnego jako drugi argument szablonu i całkowicie pokonać mechanizm SFINAE. Może się to zdarzyć jako błąd literówki, błąd kopiowania / wklejania lub niedopatrzenie w większym mechanizmie szablonów.

#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;
}

Demo na żywo tutaj