Подходы к функции SFINAE в C ++

Я активно использую функцию 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, который используется чаще в stackoverflow, но я предпочитаю метод 1.

Существуют ли обстоятельства, когда эти два подхода различаются?

Я видел метод 2, который используется чаще в stackoverflow, но я предпочитаю метод 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;
}

Живая демо здесь