组合模板参数以形成函数签名时无效的void参数

Question

尝试获取两个回调的签名并生成一个回调签名，该回调签名使用它们的每个返回值。

给定回调A和B=

例1）A：int（char）B：double（bool）=

例2）A：void（char）B：void（int）=

实例化以val为参数的回调时遇到奇怪的编译器错误：

错误：无效的参数类型'val'

template<class Signature>
struct my_func;

template<class Ret, class... Args>
struct my_func<Ret(Args...)>
{};

template<class FuncA, class FuncB>
struct my_fwd;

template<class ORet, class... OArgs,
         class Ret, class... Args>
struct my_fwd<
  my_func<ORet(OArgs...)>,
  my_func<Ret(Args...)>
  >
{
  my_func< ORet(Ret) > func;  // <--- error
};

int main(int, char *[])
{
  my_func<void(int)> my3;  // (1)
  my_func<void(void)> my4; // (2)
  my_func<void()> my5;     // (3)

  my_fwd< decltype(my3), my_func<void(char)> > fwd1; // (4)
  my_fwd< decltype(my3), decltype(my4) > fwd2;       // (5)

  return 0;
}

虽然使用void实例化my\u func没有问题，但my\u fwd（4）（5）失败，我想了解原因。

我已经找到了一个解决方法，专门针对Ret==void（无效）使用my\u fwd（我的fwd）：

// with this specialization i can avoid the error
template<class ORet, class... OArgs,
         class... Args>
struct my_fwd<
  my_func<ORet(OArgs...)>,
  my_func<void(Args...)>
  >
{
  my_func< ORet() > func;
};

试图在内部实例化的编译器之间有什么区别

<代码>my\u fwd

-

和

main（）中的手动版本：my\u func

val专业化是修复的正确方法吗？替代方案？我显然对专业化和代码复制不感兴趣。




Answer 1

将void作为模板参数进行安装与手动写入void（void）之间的区别在于，后者不会生成采用void参数的函数。将（void）列为函数的参数是一种语法结构，其含义与（）相同。它是C语言的遗留版本，其中表示“参数未指定”，而表示“无参数”C删除了未指定的大小写，此处的“无参数”表示“无参数”。

但是，模板实例化发生在语法处理之后很长时间，因此实际上尝试使用T=val实例化函数的参数（T）会导致错误。就像尝试声明采用（std::remove_reference的函数一样

恐怕你能解决这个问题的唯一方法就是专门研究void。