C++ SFINAE解析顺序

Question

我有两个功能

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 (&) []。我该怎么做呢？

Answer 1

这里的问题是，"bar"不是std::string。没有任何数量的重新排序将被调用void foo(const std::string& name, Args&&... args)，因为这需要转换，而void foo(Args&&... args)将产生完全匹配。

一种解决方法是，您可以使用literal string operator并使"bar"为使用"bar"s的字符串。这确实需要改变

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是prvalue，并会匹配您的主要功能，因为这会推断，较好地一个const左值引用一个右值引用。

Answer 2

template <typename... Args> 
void foo(Args&&... args) { /* ... */ } 

麻烦，因为你已经发现，就是这个函数是贪婪的，并且几乎你扔在它的一切相匹配。如果参数类型与完全匹配 - 如果需要任何类型的转换，那么编译器将倾向于实例化第一个模板。

最常用的解决方法是，如果第一个参数可以转换为std::string，我们可以使用标准类型特征std::is_convertible进行测试，则使用SFINAE禁用第一个重载。通过这种方法，一对合适的重载是

// 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) { ... } 

Corilu link