c++ - 本地类作为模板参数 - 实例化点

Question

我试图围绕 TC++PL，第 4 版(第 751 页)的示例进行总结。

void fff()
{
    struct S { int a,b; };
    vector<S> vs;
    // ...
}

从讨论中可以看出 vector<S> 的实例化点就在 void fff() 的定义之前.然而， struct S在外面不可见 void fff() .将本地类的实例化点视为模板参数的正确方法是什么？

Answer 1

实例化的意思是 模板实例化在这种情况下。
编译器在 fff 之前创建了 vector 的 vector 类定义，因此如果稍后需要使用 S 完成另一个实例化，则可以重用它。
此时它不会创建 vector 的实例。
是的，我们无法从 fff 外部访问 S，但编译器知道它并创建一个全局模板以便可以重用它。
看
https://en.cppreference.com/w/cpp/language/class_template