Abordagens para funcionar SFINAE em C ++

Estou usando fortemente a função SFINAE em um projeto e não tenho certeza se existem diferenças entre as duas abordagens a seguir (além do estilo):

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

A saída do programa é conforme o esperado:

method 1
method 2
Done...

Vi o método 2 usado com mais frequência no stackoverflow, mas prefiro o método 1.

Existem circunstâncias em que essas duas abordagens diferem?

Vi o método 2 usado com mais frequência no stackoverflow, mas prefiro o método 1.

Sugestão: prefira o método 2.

Ambos os métodos funcionam com funções únicas. O problema surge quando você possui mais de uma função, com a mesma assinatura, e deseja ativar apenas uma função do conjunto.

Suponha que você deseje ativar a foo()versão 1 quando bar<T>()(fingir que é uma constexprfunção) truee a foo()versão 2 quando bar<T>()for false.

Com

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

você recebe um erro de compilação porque possui uma ambiguidade: duas foo()funções com a mesma assinatura (um parâmetro de modelo padrão não altera a assinatura).

Mas a seguinte solução

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

funciona, porque SFINAE modifica a assinatura das funções.

Observação não relacionada: também existe um terceiro método: ativar / desativar o tipo de retorno (exceto para construtores de classe / estrutura, obviamente)

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

Como o método 2, o método 3 é compatível com a seleção de funções alternativas com a mesma assinatura.

Além da resposta do max66 , outro motivo para preferir o método 2 é que, com o método 1, você pode (acidentalmente) passar um parâmetro de tipo explícito como o segundo argumento do modelo e derrotar completamente o mecanismo SFINAE. Isso pode ocorrer como um erro de digitação, copiar / colar ou como uma supervisão em um mecanismo de modelo maior.

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

Demonstração ao vivo aqui