这些概念对我来说有点不清楚。好吧，N4296::14.7 [temp.spec] 很好地定义了模板实例化：
实例化函数、类、类成员的行为 模板或成员模板称为模板 实例化。
如果我们有一个函数/变量/类模板，模板的实例化只是创建一个对象或函数。例如：
template<typename T> class U{ };
U<int> a; //instantiation
但是N4296:14.7.1 [temp.inst] 说（强调我的）：
除非类模板特化已明确 实例化 (14.7.2) 或显式特化 (14.7.3)，类 模板特化是隐式实例化的，当 专业化是在需要的上下文中引用的 完全定义对象类型或当类的完整性 类型会影响程序的语义。
模板特化的实例化的定义是什么，而不仅仅是模板的实例化？
【问题讨论】：
问题：
模板特化的实例化的定义是什么，而不仅仅是模板的实例化？
我的理解：
没有模板实例化这样的东西。你总是实例化一个模板特化。
如果你有：
template <typename T> struct Foo {};
Foo<int> foo;
您已经实例化了模板特化Foo<int>，而不是模板Foo。
假设你有以下类模板：
template <typename T> struct Foo
{
static int a;
};
int getNext()
{
static int n = 0;
return ++n;
}
template <class T> int Foo<T>::a = getNext();
显式模板实例化
您可以使用以下方法创建 Foo<char> 和 Foo<int> 的显式实例化：
template struct Foo<char>;
template struct Foo<int>;
即使Foo<char> 和Foo<int> 没有在您的代码中的其他任何地方使用，类模板也会为char 和int 实例化。
显式模板特化
您可以使用以下方法创建类模板的显式特化：
template <> Foo<double> {};
使用Foo
现在，让我们看看Foo的用法。
Foo<int> f1; // An explicit instantiation has already been created.
// No need for any further code creation.
Foo<double> f2; // An explicit specialization has already been created.
// No need for any further code creation.
Foo<long> f3; // There is no explicit instantiation or explicit specialization
// Code needs to be created for Foo<long>
第三种情况，Foo<long> f3; 触发模板特化Foo<long> 的创建。我将短语“类模板特化被隐式实例化”解释为“从类模板创建Foo<long>。”。
【讨论】：
N4296::14.7 [temp.spec]的第一句话告诉我们，实例化函数、类、类模板的成员或成员模板的行为称为模板实例化。我>
Partial specialization 和 explicit specialization。我们可以说explicit specialization 总是partial specialization 吗？
“实例化模板特化”通常是指隐式实例化的过程：将特定模板参数替换为模板定义以获得实例化的类、函数等。实例化模板意味着实例化该模板的特化。通常，当我们在语言律师的背景下谈论一些任意的实例化时，会使用不太精确的措辞。您还会发现“模板的实例化”这一表述，它与实例化的专业化同义。
【讨论】：