“不可演绎”一词的正式定义是什么

Question

temp.names#6

一个模板ID是有效的，如果

• 参数的数量最多与参数的数量一样多，或者参数是模板参数包 ([temp.variadic])，
• 对于每个没有默认模板参数的non-deducible非包参数都有一个参数，
• 每个模板参数都匹配相应的模板参数 ([temp.arg])，
• 将每个模板参数替换为以下模板参数（如果有）成功，并且
• 如果模板 ID 不依赖，则满足下一段中指定的相关约束。

一个 simple-template-id 应该是有效的，除非它命名一个函数模板特化 ([temp.deduct])。

template<typename T, typename U>
struct Test{};
int main(){
  using type = Test<int>;
}

考虑上面的代码，在这种情况下，第二个模板参数是Unon-deducible吗？标准中似乎没有正式的术语来解释什么是non-deducible。 non-deduced context 只有一个定义，但我认为它们不是一回事。那么我如何理解non-deducible这个措辞呢？使用这种没有正式定义的措辞是否不清楚？

问题

1. Test<int> 是一个无效的模板 ID，它违反了上面列表中的哪个项目符号？

2. non-deducible 指的是什么？

3. 不参与模板实参推演的模板形参是否可以调用non-deducible？

Answer 1

这只是英语。 “可推演”的意思是“能够推演”。 C++ 有一个well-defined process for deducing template arguments。如果一个论证是“可演绎的”，那么它就是这个演绎过程成功并因此“能够被演绎”的论证。

“不可演绎”仅表示“不可演绎”。因此“无法推断”。因此这个模板参数推导过程失败了。

所以它的意思是“每个非包参数都有一个参数，其参数不能通过模板推导过程推导出来”。没有什么不清楚的。