模板函数重载：enable_if 对于 CRTP，编译器坚持选择通用函数

Question

这是一个模型案例，其中有一个通用函数 func，然后（人性化地说）更专门的函数 func for 类通过 CRTP 从 Base 派生，仅通过 enable_if.

为适当的参数类型启用

#include<type_traits>
#include<iostream>

// CRTP hierarchy
template<class T> class Base{ };
class Derived: public Base<Derived>{};

// overload 1
template<class T> void func(const T& a){ std::cerr<<"1\n"; }
// overload 2
template<class T, typename std::enable_if<std::is_base_of<Base<T>,T>::value,int>::type* = nullptr>
inline void func(const Base<T>& obj){ std::cerr<<"2\n"; }

int main(void){ func(Derived()); }

但是，编译器仍然认为第一个重载是更好的匹配。我知道 enable_if 仅启用该功能，但不会使其更好地解决重载问题。

很抱歉，我无法从 c++ 参考的 Function template 部分理解很多意义。

任何人都可以建议如何让编译器更喜欢第二个函数吗？

谢谢！

编辑：动机： 在实际使用中，这些函数应该处理各种标量和数组类型（尤其是使用 CRTP 的 Eigen）。标量应该涵盖所有数字类型，如整数、浮点数、...（不枚举它们），而另一个重载应该涵盖数组——同样，不枚举它们，但知道它们都派生自 Eigen::DenseBase<Derived>.

Answer 1

2 个重载是可行的

重载 1. 完全匹配
重载 2. 已导出到基础转换

参见：

https://en.cppreference.com/w/cpp/language/overload_resolution#Ranking_of_implicit_conversion_sequences了解更多详情

你可能 SFINAE 第一个重载：

// overload 1
template <class T, std::enable_if_t<!std::is_base_of_v<Base<T>, T>, int> = 0>
void func(const T& a){ std::cerr<<"1\n"; }

Demo

Answer 2

只需使用 constexpr if 即可 select 来自单个 public 函数的正确函数。

C++17

namespace
{
    template<typename T>
    inline void base_func( const T& derived );

    template<typename T>
    inline void other_func( const T& otherType );
}

template<typename T>
inline void func( const T& type )
{ 
     if constexpr( std::is_base_of_v<Base<T>, T> )
         base_func( type );
     else
         other_func( type );
}

C++14 使用特征

namespace
{
    template<typename T>
    inline void base_func( const T& derived );

    template<typename T>
    inline void other_func( const T& otherType );

    template <bool B>
    struct func_select_trait;

    template <>
    struct func_select_trait<true>
    { 
      template <typename T>
      static void call( const T& derived ) { base_func<T>( derived ); }
    };

    template <>
    struct func_select_trait<false>
    {
      template <typename T>
      static void call( const T& otherType ) { other_func<T>( otherType ); }
    }; 

}

template<typename T>
inline void func( const T& type )
{ 
     func_select_trait<std::is_base_of<Base<T>, T>::value>::call<T>( type );
}

模板函数重载：enable_if 对于 CRTP，编译器坚持选择通用函数

template function overload: enable_if for CRTP, compiler insists on selecting generic function

c++

templates

crtp

c++14