前言题面里的「显示实例化」是常见的笔误标准术语是显式实例化explicit instantiation与它相对的是隐式实例化implicit instantiation。本文按标准术语讲解标题保持原样。另一个需要先说明的点是题面说的「Array 容器」通常指标准库的std::array定义在array它是一个固定长度、无动态分配的聚合类模板而「实例化」讨论的是类模板如何从模板生成具体类型两者结合起来的典型问题就是——什么时候std::arrayint, 4会被隐式生成什么时候需要或可以显式实例化以及显式实例化声明与定义分别放在哪里。很多人的模糊认识是「模板只有被使用才会生成代码」这句话对成员函数大致成立对类模板整体则不完整当代码需要一个完整类型时类模板特化的声明会被隐式实例化而成员函数的定义只有在被使用odr-used时才实例化。另一种误解是把「显式实例化」和「显式特化」混为一谈前者是让编译器按原模板生成代码后者是程序员另写一份完全不同的实现。本文先讲隐式实例化的触发条件与惰性成员规则再讲显式实例化的两种形式、放置位置和 ODR 约束最后回到std::array本身的聚合初始化、零长度特化和 C17 的类模板实参推导。示例用一个自定义的FixedArray演示显式实例化因为把标准库模板的显式实例化当作教学例子容易掩盖实现细节。一、隐式实例化需要完整类型时才发生类模板本身不是类型std::array也不是类型std::arrayint, 4才是。当代码中出现一个需要「完整类型」的语境时编译器会用模板实参替换模板参数隐式生成该特化。定义对象、访问成员、按值传参、作为其他类型的成员都会要求完整类型而仅声明指向它的指针或引用通常不要求完整类型也就不会触发实例化。std::array在标准中的声明形式是templateclass T, std::size_t N struct array;。它没有用户提供的构造函数是一个聚合体语义上持有连续存放的 N 个 T 类型元素标准不规定具体的成员布局。不同N得到的是完全不同的类型std::arrayint, 4与std::arrayint, 5之间没有继承关系也不能互相赋值。// 适用于 C17#include array#include cstddef#include tuple#include type_traitsint main() {std::arrayint, 4 a{}; // 隐式实例化 std::arrayint, 4std::arrayint, 4 b{1, 2, 3, 4};std::arraydouble, 3 c{1.5, 2.5, 3.5};std::array d{1, 2, 3}; // C17 CTADstd::arrayint, 3static_assert(std::is_same_vdecltype(d), std::arrayint, 3);static_assert(std::tuple_sizedecltype(a)::value 4);std::arrayint, 0 empty{};const bool same (empty.begin() empty.end());(void)same;return b[0] static_castint(c[0]) d[2];}这里出现的每个不同特化都会各自生成一份类型。a、b共享std::arrayint, 4这一个隐式实例化c和d则是另外两个。对类模板而言隐式实例化会实例化所有成员的声明但成员函数的定义只在被使用时才实例化。这条惰性规则很重要即使某个成员函数对当前T根本无法编译只要没被使用特化仍可能合法。当然标准库实现通常已经把std::array写成内联的简单成员这条规则在实际使用中不容易观察到。需要区分「声明一个指针」和「定义对象」。下面第一行只要求std::arrayint, 4的声明可见通常不会触发实例化第二行则要求完整类型。// 适用于 C17#include arraystd::arrayint, 4* ptr nullptr; // 指针不要求完整类型std::arrayint, 4 obj{}; // 定义对象隐式实例化二、显式实例化定义与声明显式实例化让程序员主动要求编译器为某个特化生成代码。语法以template开头后面跟一个不含初始化器的声明。带有extern的是显式实例化声明不带extern的是显式实例化定义。// 适用于 C17template class FixedArrayint, 4; // 显式实例化定义extern template class FixedArrayint, 4; // 显式实例化声明显式实例化定义会实例化该类模板特化以及在该点之前已经定义的所有非模板成员显式实例化声明则告诉编译器「这个特化在别的翻译单元已经生成本翻译单元不要隐式实例化它」。后者是 C11 引入的作用是减少重复实例化带来的编译时间和目标文件体积。它不是「声明一个模板」也不会自己产生代码。一个常见的工程组织方式是把模板定义放在头文件把显式实例化定义放在一个.cpp文件其他使用方用extern template声明。下面用一个自定义的FixedArray演示它在语义上接近std::array但把实现摊开便于观察。// 适用于 C17// fixed_array.h#pragma once#include cstddef#include stdexcepttemplate class T, std::size_t Nclass FixedArray {static_assert(N 0, FixedArray 至少需要一个元素);public:constexpr std::size_t size() const noexcept { return N; }T operator[](std::size_t i) noexcept { return data_[i]; }const T operator[](std::size_t i) const noexcept { return data_[i]; }T at(std::size_t i) {if (i N) throw std::out_of_range(FixedArray::at);return data_[i];}const T at(std::size_t i) const {if (i N) throw std::out_of_range(FixedArray::at);return data_[i];}T* begin() noexcept { return data_; }T* end() noexcept { return data_ N; }const T* begin() const noexcept { return data_; }const T* end() const noexcept { return data_ N; }private:T data_[N]{};};// 适用于 C17// fixed_array.cpp#include fixed_array.htemplate class FixedArrayint, 4;template class FixedArraydouble, 8;// 适用于 C17// main.cpp#include fixed_array.hextern template class FixedArrayint, 4;int main() {FixedArrayint, 4 a;a[0] 7;return a.at(0) 7 ? 0 : 1;}这里main.cpp中的extern template必须在任何使用之前出现且整个程序中必须存在对应的显式实例化定义否则程序是 ill-formed且不要求诊断no diagnostic required。换句话说写了extern template却忘了在某个.cpp里写template class ...;可能链接失败也可能在某些实现上悄无声息。显式实例化定义在整个程序中只能出现一次重复放在被多个翻译单元包含的头文件里会造成重复定义。另外要区分显式实例化与显式特化。显式特化是「这个特化不按原模板生成我另写一份」语法以template 开头显式实例化是「仍按原模板生成只是我主动要求现在生成」。两者解决的是完全不同的问题。// 适用于 C17// 显式特化为 bool, 8 提供完全不同的实现template class FixedArraybool, 8 {public:std::size_t size() const noexcept { return 8; }// ...};三、std::array 的实例化细节std::array是聚合体因此不能用圆括号提供元素初值必须用花括号。std::arrayint, 4 a;是默认初始化元素对int而言处于未初始化状态std::arrayint, 4 a{};才是值初始化元素为零。这个差异对内置类型尤其重要。std::arrayT, 0是合法的特化begin()与end()相等可以正常遍历循环体一次也不执行。但不要对空数组调用front()、back()或解引用迭代器那是 UB。需要注意自定义的FixedArray用T data_[N]作为成员N为 0 时零长度数组不是标准 C某些编译器作为扩展接受所以前面加了static_assert(N 0)这也是std::array需要单独支持零长度特化的原因之一。C17 的类模板实参推导class template argument deduction, CTAD让std::array d{1, 2, 3};推导出std::arrayint, 3。推导要求所有元素能推导出同一个Tstd::array e{1, 2.0};这样的写法无法统一类型不能成立。CTAD 只是省略了写实参仍然会实例化出具体的std::arrayint, 3类型不改变实例化机制。按值传递std::array会复制全部元素因为它是聚合体且没有退化为指针的规则C 数组作为函数参数会退化为指针而std::array不会。因此大数组应传const。std::array的大小在编译期确定size()是constexpr可以用在static_assert和数组维度里。项目隐式实例化显式实例化定义显式实例化声明写法使用该特化template class Xint;extern template class Xint;触发方式需要完整类型或使用成员程序员主动写出程序员主动写出生成内容类声明 被使用的成员定义该类及此点前已定义的所有成员不生成交给别处常见位置任意使用点一个.cpp文件使用方或头文件ODR 约束多处使用由链接器合并整个程序只能一份可多次声明但必须有定义常见坑点❌ 写std::arrayint, 4 a(1, 2, 3, 4);。std::array是聚合体没有接受四个int的构造函数。✅ 使用花括号std::arrayint, 4 a{1, 2, 3, 4};。❌ 写std::arrayint, 4 a;后直接读取a[0]对int来说元素未初始化读取是 UB。✅ 写std::arrayint, 4 a{};进行值初始化或显式填满所有元素。❌ 写std::array e{1, 2.0};期望 CTAD 自动选一个公共类型。推导会因元素类型不一致而失败。✅ 统一元素类型例如std::array e{1.0, 2.0};或显式写出std::arraydouble, 2。❌ 在使用方写extern template class FixedArrayint, 4;却没有任何翻译单元提供显式实例化定义。程序 ill-formed且不要求诊断。✅ 在一个.cpp中写template class FixedArrayint, 4;确保链接时存在定义。❌ 把template class FixedArrayint, 4;放进被多个源文件包含的头文件产生多份显式实例化定义。✅ 显式实例化定义只放在一个.cpp中头文件里只放模板定义或extern template声明。❌ 把显式实例化当成显式特化以为template class Xint;会使用自己另写的实现。✅ 要替换实现用template class Xint { ... };只想提前生成代码才用显式实例化。❌ 认为std::arrayint, 4可以隐式转换为std::arrayint, 5或认为两者有共同的「数组基类」。✅ 它们是互不相关的独立类型元素个数是类型的一部分。❌ 在函数参数里按值写void f(std::arrayint, 1024 a)每次调用都复制整个数组。✅ 只读时写const std::arrayint, 1024需要副本时再按值传递。总结概念要点实践建议隐式实例化需要完整类型时由编译器生成正常使用即可成员函数惰性实例化显式实例化定义template class XArgs;放在一个.cpp全程序唯一显式实例化声明extern template class XArgs;放在使用方抑制重复实例化显式特化template class XArgs { ... };与实例化区分用于替换实现std::array聚合、定长、无动态分配用花括号初始化注意零长度与按值复制CTADC17 起可由元素推导元素类型必须一致理解实例化机制后std::array的很多「怪现象」都有了解释它是聚合体所以只能花括号初始化元素个数是类型的一部分所以不同长度不能互转零长度特化需要单独支持而显式实例化的价值主要在大规模工程中控制代码生成位置与编译开销。把「隐式」「显式定义」「显式声明」「显式特化」四件事分开记就不会再把它们混用。