C++模板特化场景下void参数的类模板类型推导失败问题

类模板实参推导的规则是：默认只会从主模板的构造函数生成候选推导指引，模板偏特化的构造函数不会自动参与CTAD的推导过程。
你的主模板构造函数签名是Executor(std::function<R(Arg)> function)，这个签名对应的std::function是接收1个入参、返回值为R的类型。当你传入std::function<int()>（无入参）时，无法匹配主模板构造函数的R(Arg)模式（Arg没有办法从无参函数签名中推导出来），因此推导直接失败，不会继续去匹配偏特化的构造函数。

你可以手动添加自定义推导指引，让编译器识别无参std::function的场景，不需要手动指定模板参数：

// 推导指引：覆盖有1个入参的场景
template <class R, class Arg>
Executor(std::function<R(Arg)>) -> Executor<R, Arg>;

// 推导指引：覆盖无入参的场景
template <class R>
Executor(std::function<R()>) -> Executor<R, void>;

添加上述代码后，编译器遇到无参std::function时会匹配第二个推导指引，自动推导模板参数为R和void，可以正常匹配你写的第二个偏特化版本，main函数里的报错代码就可以正常编译了。

内容的提问来源于stack exchange，提问作者eddi