C++17，为什么自动非类型模板参数不能与 SFINAE 一起使用

Question

我正在尝试解决 this question .

在我下面的代码中，我想使用 FunctionInfo 来检测函数的参数列表选择了哪个重载。

与:

decltype(MethodInfo<Foo, int>::get(&Foo::foo))

我可以根据参数列表选择正确的重载函数。

我想更进一步，以便能够使用:

FunctionInfo<Foo, std::tuple<int>, &Foo::foo>::type

但是当我尝试使用下面的解决方案时，HEAD 4.0.0 中的 clang 报告如下:

error: non-type template parameter 'f' with type 'auto' has incompatible
   initializer of type '<overloaded function type>'
FunctionInfo<Foo, std::tuple<int>, &Foo::foo>::type
                                   ^~~~~~~~~

我的问题是为什么SFINAE不涉及选择哪个函数合适。

#include <type_traits>
#include <tuple>

template<typename T, typename... Args>
struct MethodInfo {
    template<typename Ret>
    static auto get(Ret(T::*)(Args...)) -> Ret(T::*)(Args...);
};

template<typename T, typename Tuple>
struct MethodInfoFromTuple;

template<typename T, typename...Args>
struct MethodInfoFromTuple<T, std::tuple<Args...>>{
    using type = MethodInfo<T, Args...>;
};

template<typename T, typename ArgPack, auto f,
             typename Func = decltype(MethodInfoFromTuple<T, ArgPack>::type::get(f))>
struct FunctionInfo {
    using type = Func;
};

struct Foo {
    int foo(int);
  // Uncomment this line then only first static_assert work
  //  int foo(int, int);
};

int main() {  
    static_assert(std::is_same<
                        int(Foo::*)(int), 
                        decltype(MethodInfo<Foo, int>::get(&Foo::foo))
                          >::value, "");
    static_assert(std::is_same<
                        int (Foo::*)(int), 
                        FunctionInfo<Foo, std::tuple<int>, &Foo::foo>::type
                          >::value, "");

}

Answer 1

重载集不是 C++ 中的值。模板非类型参数是值。

重载集在狭窄的情况下被解析为值，使用特定的规则，这些规则不是“尝试每一种可能性，如果有不止一种合法的可能性，就产生一个错误”。相反，在某些情况下会选择完全匹配，而在其他情况下会对可行的重载进行排序，如果没有平局则选择“最佳”。

传递给 auto 的情况两者都不是。