我有两个功能
template <typename... Args>
void foo(Args&&... args) { /* ... */ }
template <typename... Args>
void foo(const std::string& name, Args&&... args) { /* ... */ }
目前所有像foo("bar", /* arguments */) 这样的调用都尝试转到第一个函数而不是第二个函数。我想重新排序这些函数，以便 SFINAE 在第一个之前找到第二个。我不能使用std::enable_if 来检查字符数组/字符串，因为Args... 包可能包含std::string& 或const char (&) []。我该怎么做？
【问题讨论】：
标签： c++ c++14 sfinae variadic-functions enable-if
这里的问题是"bar" 不是std::string。没有多少重新排序会调用 void foo(const std::string& name, Args&&... args)，因为这需要转换，而 void foo(Args&&... args) 将产生完全匹配。
您可以使用literal string operator 并使用"bar"s 将"bar" 设为字符串的一种解决方法。这确实需要改变
template <typename... Args>
void foo(const std::string& name, Args&&... args) { /* ... */ }
进入
template <typename... Args>
void foo(std::string&& name, Args&&... args) { /* ... */ }
template <typename... Args>
void foo(std::string& name, Args&&... args) { /* ... */ }
因为"bar"s 是一个纯右值，并且会匹配您的主函数，因为这会推断出比 const 左值引用更可取的右值引用。
【讨论】：
const char*添加重载
foo("bar"s) 不会将第一个参数设为右值，这仍会导致首选第一个重载吗？
const& 而不是&&。现在应该可以工作了。
const char* 的函数，那么一切正常。但是，如果我将 const std::string& 替换为 const char*，它就不再正确解析。知道这里发生了什么吗？
template <typename... Args>
void foo(Args&&... args) { /* ... */ }
正如您所发现的，问题在于这个函数是贪婪的，并且几乎可以匹配您向它抛出的所有内容。编译器更喜欢另一个重载的唯一情况是，如果参数类型匹配完全——如果需要任何类型的转换，那么编译器会更喜欢实例化第一个模板。
解决此问题的最通用方法是使用 SFINAE 禁用第一个重载，如果第一个参数可以转换为 std::string，我们可以使用标准类型特征 std::is_convertible 进行测试。使用这种方法，一对合适的重载将是
// General case
template <typename First, typename... Rest,
std::enable_if_t<!std::is_convertible<First, std::string>::value, int> = 0>
void foo(First&& first, Rest&&... rest) { ... }
// First argument can be converted to string
template <typename... Args>
void foo(const std::string& first, Args&&... args) { ... }
【讨论】：
void foo() 重载来匹配具有空参数列表的调用。