enable_if 模板函数的关键顺序

Question

为什么编译器对 std::tuple

的访问者具有以下定义顺序很重要

namespace TupleVisit{

        //This function SHOULD BE DEFINED SECONDLY; 
        //IN THIS CONFIGURATION COMPILER DOES NOT 
        //SEE THE BELOW RECURSTION TERMINATION ???
        template<std::size_t Idx = 0,
                 typename Visitor,
                 typename... T,
                 typename std::enable_if< Idx < sizeof...(T) , void *>::type = nullptr
                 >
        static
        void visit(Visitor && v, std::tuple<T...>  & t){
            v( std::get<Idx>(t) );
            TupleVisit::visit<Idx+1, Visitor, T... >(std::forward<Visitor>(v),t);
        }


        template<std::size_t Idx = 0,
                 typename Visitor,
                 typename... T,
                 typename std::enable_if< Idx == sizeof...(T) , void *>::type = nullptr
                  >
        static void
        visit(Visitor && v, std::tuple<T...> & t){}
}

实例：Code

我认为多个 enable_if 开关的一般规则应该是对所有函数进行原型设计，然后按任意顺序定义它们？这会导致 SFINAE 总是看到正确的可用函数吗？

Answer 1

为什么它会看到下面声明的 visit？

template 函数不是宏 -- 函数查找是在编写模板时完成的，加上从模板 [=] 的上下文中进行的 ADL 查找20=]叫.

由于无法通过 ADL 找到第二个 visit，因此在第一个 visit 中的调用点不可见。

enable_if 模板函数的关键顺序

Critical order of enable_if template functions

c++

metaprogramming

enable-if

template-function

c++11