C++标准中模板实参推导相关条款的矛盾性咨询

这个问题问得非常精准——确实初看这两个条款好像在“唱反调”，但其实它们是在约束不同场景，核心是为了平衡模板实参推导的灵活性和代码的确定性。

1. [temp.arg.explicit]（17.9.1第3款）：给开发者的“偷懒权限” #

这个条款的核心逻辑是：当你已经提供了部分显式模板实参时，那些能通过函数实参推导出来、或者有默认值的尾部模板实参，完全可以省略不写。这是为了减少冗余代码，让模板调用更简洁。举几个常见的例子：

// 带默认模板实参的情况
template <typename T, typename U = int>
void func(T t, U u) {}

// 只指定T为double，U用默认值int，符合条款要求
func<double>(3.14, 42);
// T从实参推导，U用默认值，同样合法
func(3.14, 42);

// 无默认值但可推导的情况
template <typename T, typename U>
void func2(T t, U u) {}
// 只指定T为double，U从42推导为int，尾部实参省略完全没问题
func2<double>(3.14, 42);

它的制定意图很直接：让开发者不用写那些编译器能自动搞定的重复代码。

2. [temp.deduct]（17.9.2第2款）：堵“歧义漏洞”的严谨约束 #

这个条款看起来和上面冲突，但其实针对的是完全空的显式模板实参列表的情况。它的意思是：如果你写了<>（空的显式实参列表），但模板里存在非包的模板参数（也就是没有用...的普通模板参数），而且这些参数一个都没被指定，那类型推导直接失败。比如这个错误示例：

template <typename T>
void func(T t) {}

// 错误写法：<>表示显式指定实参列表，但里面是空的，非包参数T完全没指定
func<>(3.14);

为什么要加这个约束？因为这种写法的意图太模糊了——编译器没法判断你是忘记写实参了，还是真的想指定一个空列表（但对于非包参数来说，这根本不可能满足）。标准制定者的意图是避免歧义，让代码的意图更清晰，同时防止编译器做出错误的推导判断。

3. 两者的互补关系：灵活与严谨的平衡 #

这两个条款根本不存在冲突，而是互补的：

• 前者告诉你哪些实参可以省——部分指定显式实参时，尾部可推导/有默认值的实参不用写；
• 后者告诉你哪些情况不能省——如果要写显式实参列表，要么填全必要的参数，要么至少让编译器能推导剩余的，绝对不能写一个完全空的列表去对应非包模板参数。

标准制定者的核心目标就是在给开发者足够灵活性的同时，保持C++模板系统的严谨性，避免因为模糊的语法导致难以排查的bug。

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