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

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++ 中的值。模板非类型参数是值。

超载集在狭窄的情况下解析为值，使用特定规则，这些规则不是 "try each possibility and if there are more than one legal possibility, generate an error"。相反，在某些情况下会选择完全匹配，而在其他情况下会对可行的重载进行排序，如果没有平局，则选择 "the best"。

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

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

C++17, why doesn't auto non-type template parameter work with SFINAE

c++

templates

template-meta-programming

c++17