c++ - 如果自由函数不存在/不存在，SFINAE 从重载集中删除函数

Question

如果特定的自由函数不存在，从重载集中删除模板函数的规范方法是什么。所以我有一个功能

template <typename T> void foo( T t )
{
    // Do stuff
}

如果一个自由函数采用类型 T 的参数，我想从重载集中删除它，比如说

bar( T )

不存在。

另外，如果确实存在一个自由函数，如何从重载中移除一个函数呢？那么，如果函数 bar 确实存在，那么删除上面的函数 foo 吗？

Answer 1

像这样的简单表达式可以很容易地用 decltype 进行 SFINAE:

template <typename T>
auto foo( T t ) -> decltype(bar(t), void())
{
    // Do stuff
}