Підходи до функціонування 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;
}

Тут демонструють демо-версію