模板空括号初始化扣除

Question

我认为模板函数可以有默认的参数参数（不是模板参数而是运行时参数）。我们也可以用空括号初始化来初始化一个类。但是编译器如何匹配模板呢？

这段代码为什么要编译，编译器如何进行演绎，以及这个函数调用示例中的参数是什么？

我所理解的是：默认括号初始化调用空构造函数，这是隐式创建的，因为没有用户定义的构造函数或用户定义的默认构造函数。也就是说，我们可以用{}初始化任何包。所以扣除不适用于那里，因为我们不能选择一个包，每个包都是候选人。也许默认变量模板参数是

    template<typename...> class pack {};

    template<class... Args>
    inline auto make(pack<Args...> = {}) {

    }

    int main() { make(); }

（使用GCC编译）注意：我认为不是，但默认参数可能很有用：调用函数的两种方法：make

Answer 1

给定make（），导出的参数为空<代码>生成（） 与make具有相同的效果

模板参数是一个参数包，这里不提供模板参数。请注意，函数默认参数不参与模板参数推导。然后Args被推导为空。

如果参数包显示为最后一个P，则类型P与调用的每个剩余参数的类型a相匹配。每个匹配项都会推断包扩展中下一个位置的模板参数：

类型模板参数不能从函数默认参数的类型推导：