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

现场演示