尝试获取两个回调的签名并生成使用其每个返回值的回调签名。

给定回调A和B=> 生成F

例 1)A：int(char)B：double(bool)=> F： 双精度(整数)

例 2)答：void(char)乙：void(int)=> 女：空(空)

在实例化以void作为参数的回调时遇到了一个奇怪的编译器错误：

error: invalid parameter type ‘void’

有问题的代码

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;
}

虽然my_func的实例化没有问题，void(1), (2), (3)，my_fwd(4) (5)失败，我想了解原因。

解决方法？！

我找到了一种解决方法，通过专门针对Ret == voidmy_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_fwd< my_func<void(int)>, my_func<void(char)> >：

->my_func<void(void)> func

和

main()： 中的手动版本my_func<void(void)> my4？

void专用化是修复的正确方法吗？ 选择？ 我显然对专业化和代码重复并不感兴趣。