时间戳

首页 > 解决方案 > 具有可变模板参数的成员函数的显式特化

c++ - 具有可变模板参数的成员函数的显式特化

问题描述

我正在编写一个模板化的事件处理程序，它允许用户将事件（以结构的形式）发送到连接的侦听器。

我有一个“发射”成员函数，它将从提供的可变参数模板参数构造一个事件对象并转发事件。但是，我想提供一个专门的“emit”函数，该函数将检测提供的参数是否是预先构造的 Event 对象，在这种情况下，我可以转发事件而无需制作多余的副本。

我最初的尝试...

template <typename T_Event>
class EventHandler
{
public:

  template <typename... T_Args>
  void emit(T_Args&&... args)
  {
    printf("variadic\n");
    deliver(T_Event {std::forward<T_Args>(args)...});
  }

  void emit(const T_Event& event)
  {
    printf("reference\n");
    deliver(event);
  }

  ...
};

我使用以下逻辑尝试了这两个发射函数，但事实证明可变参数模板函数总是优先于 const 引用函数。

struct Event { int x; };

EventHandler<Event> handler;
Event event {1};
handler.emit(event);
handler.emit(2);

经过更多研究后，我通过定义可变参数模板函数的两个版本并使用 enable_if 执行正确的一个来实现我的目标。

  template <typename... T_Args>
  void emit(T_Args&&... args)
  {
    printf("variadic\n");
    T_Event event {std::forward<T_Args>(args)...};
    deliver(event);
  }

  template <typename... T_Args, typename = std::enable_if<std::is_same<const T_Event&, T_Args...>::value>>
  void emit(T_Args&&... args)
  {
    printf("reference\n");
    deliver(std::forward<T_Args>(args)...);
  }

当我使用 GCC 编译时，这个解决方案完全符合我的需要，但是如果我使用 CLANG 编译，我会收到以下错误消息：

  call to member function 'emit' is ambiguous
handler.emit(event);

  candidate function [with T_Args = <EventB &>]
void emit(T_Args&&... args)

  candidate function [with T_Args = <EventB &>, $1 =
  std::__1::enable_if<false, void>]
void emit(T_Args&&... args)

我假设我接近正确的解决方案，谁能解释我做错了什么？

标签： c++templatesvariadic-templates

解决方案

诀窍是强制可变参数模板使包含单个（对可选 const 限定的可选引用）参数的参数包的重载解析失败。

这是通过从参数包中的每个类型中删除引用和 const 限定符来完成的，将它们组装成一个元组，并使用std::is_same，就像在您的尝试中一样，将结果类型与 进行比较std::tuple<T_Event>，然后在这种情况下通过重载解析失败否定类型特征（它不是std::tuple<T_Event>.

#include <type_traits>
#include <tuple>
#include <iostream>

template <typename T_Event>
class EventHandler
{
public:

    template <typename... T_Args,
          typename=std::enable_if_t
          <std::negation<std::is_same
                 <std::tuple<std::remove_const_t
                         <std::remove_reference_t
                          <T_Args>>...>,
                          std::tuple<T_Event>>
                              >::value>>
    void emit(T_Args&&... args)
    {
        std::cout << "Variadic" << std::endl;
    }

    void emit(const T_Event& event)
    {
        std::cout << "Reference" << std::endl;
    }
};

int main()
{
    EventHandler<const char *> foo;
    const char *bar="foobar";

    foo.emit(4);
    foo.emit(4, "bar");
    foo.emit(bar);
    return 0;
}

使用 -std=c++17 使用 g++ 进行测试。通过重新实现一些缺失的类型特征，这对于 C++11 和 C++14 应该是可行的。最终结果：

$ g++ -o t -std=c++17 t.C
$ ./t
Variadic
Variadic
Reference

推荐阅读