匹配模板类中的CRTP

Question

最近我一直在摆弄模板并偶然发现了以下问题。我正在实现这样的 CRTP 模式：

template<typename derived_t>
struct protocol_object
{
    ...
};

struct data_object : public protocol_object<data_object>
{
    ...
};

我现在想在成员模板函数中匹配 class protocol_object 的实例，同时仍然接受非 CRTP 类型：

struct consumer_impl
{
    template<typename derived_t>
    void match(protocol_object<derived_t> &value)
    {
       std::cout << "protocol_class";
    };

    template<typename T>
    void match(T &value)
    {
       std::cout << "any other type";
    };
}

不幸的是，只调用了第二个版本。显然，不考虑或拒绝 match(protocol_object&value)，而是采用更通用的 match(T &value) 形式。

data_object object;
double value;
consumer_impl consumer;

consumer.match(value);  // yields "any other type" OK
consumer.match(object); // also yields "any other type" but want "protocol_class"

有办法解决这个问题吗？

感谢您的任何提示。 阿内

Answer 1

这与 CRTP 无关。这是以下情况的一般情况：

• 设计一个模板函数，以便所有派生类都使用特定的专业化。

问题是T& value 是 Derived& 的精确匹配，而 Base& 是不精确匹配。因此，我们将使通用形式变得更差：

struct conversion_required { conversion_required(int) {} };

template<typename derived_t>
void match_impl(protocol_object<derived_t> &value, int)
{
   std::cout << "protocol_class";
};

template<typename T>
void match_impl(T &value, conversion_required)
{
   std::cout << "any other type";
};

template<typename T>
void match(T& value)
{
    return match_impl(value, 0);
}

现在，需要向上转型的专业化比需要用户定义转换的通用模板更好匹配。

Answer 2

重载解析是基于静态类型执行的，因为它是编译时编译器的决定。试试这个：

consumer.match(static_cast<protocol_object<data_object>&>(object));

Answer 3

第二个函数是更好的匹配，因为它不需要转换，而第一个函数需要派生到基的转换。

您可以使用 boost 来克服这个问题：

template <class T>
void
match (typename boost::enable_if_c
             <boost::is_base_of<protocol_object<T>,T>::value, T>::type& t)
{
    std::cout << "protocol_class";
}

template <class T>
void
match (typename boost::disable_if_c
             <boost::is_base_of<protocol_object<T>,T>::value, T>::type& t)
{
    std::cout << "any other type";
}

这适用于从 protocol_object 派生的所有类 T，但不适用于 protocol_object本身。您可以为其添加另一个重载（基本上，重用您的第一个 match 函数），或者修改 enable_if 中的条件，使其匹配 protocol_object代码>也是。