c++ - 模板的隐式特化是什么意思？

Question

在章节N3797::14/4 [temp] (强调我的)

A template name has linkage (3.5). A non-member function template can have internal linkage; any other template name shall have external linkage. Specializations (explicit or implicit) of a template that has internal linkage are distinct from all specializations in other translation units.

提到了隐式特化。据我从上下文中了解，该概念不同于模板显式特化，后者具有

template < > 声明

语法。所以，我猜测隐式特化与部分类模板特化有关。不幸的是，我无法在当前的工作草案中规范性地引用定义隐式特化概念。

Answer 1

没有称为“隐式特化”的规范术语。
然而，我相信，在这种情况下，它意味着“显式特化”的补充:用户未明确特化的每个特化，换句话说，实例化特化。
考虑一下有

• 明确的特化
• 隐式实例化
• 显式实例化

通过后两者实例化的特化可以称为“隐式特化”。