为什么这种简单地使用 SFINAE 和类型特征来重载函数模板会导致模棱两可的调用？

Question

我正在尝试使用类型特征为特定函数提供几个重载，以便在调用所述函数时不必指定模板参数，并且它可以用于任何数据类型和不同类型的容器：

#include <type_traits>
#include <vector>
#include <initializer_list>

template< typename T, typename = std::enable_if< std::is_arithmetic< T >::value > >
bool myFunction(const std::vector< T >& data) {
    // ...
    return true;
}


template < typename T, typename = std::enable_if< !std::is_arithmetic< T >::value >, typename = void >
bool myFunction(const std::vector< T >& data) {
    // ...
    return true;
}


template< typename T >
bool myFunction(const std::initializer_list< T >& data) {
    return myFunction< T >(std::vector< T >(data));
}


int main(int argc, char const *argv[]) {
    std::vector< float > data = { };

    myFunction(data);  // error: call of overloaded ‘myFunction(std::vector<float>&)’ is ambiguous

    return 0;
}

但是，在尝试编译此代码时，我收到一个错误，抱怨调用不明确。我到底错过了什么？第二个模板参数不应该确保对于 any T，只myFunction声明一个吗？

Answer 1

这应该std::enable_if_t不是std::enable_if。或者因为你标记了 C++11，你可以做std::enable_if<...>::type

std::enable_if<false>不是替代失败，只是std::enable_if<false>::type。