我正在阅读《C++ Templates: The Complete Guide》，其中提到：
请注意，模板不能在函数中声明。
该书未对此进行解释或交叉引用其他章节或外部资源。
请问有人能够帮忙解释一下吗？也许在书的后面会有解释，但我还没有看到。如果早些时候已经解释过了，那么我可能错过了。
例如：
int main()
{
class DummyClass // This compiles ok
{
int object;
};
template <typename T> // compile error "expected primary-expression before "template""
class DummyTemplate
{
T object;
};
return 0;
}
我也不理解gcc的错误信息。错误信息如下：
expected primary-expression before "template"
问题可能与模板的历史实现方式有关: 早期实现技术(一些至今仍在使用)要求模板中的所有符号都具有外部链接性。 (通过生成相应代码的独立文件来进行实例化。) 函数内定义的名称从不具有链接性，不能在定义它们的作用域之外引用。
答案“因为标准规定如此”当然是正确的，但让我们考虑通用lambda函数。
在C++14和C++17中，通用lambda函数是我所知道的编写类似于模板的代码的唯一方法：
auto lambda = [](auto x) { };
lambda.operator()<int>(0);
从技术上讲，您可以使用它来编写任何类型的模板代码。但是，您将不得不努力解决这种方法的各种限制。
然而，在 C++20 中，使用通用 lambda 的模板参数列表，您将能够编写以下代码：
auto size = []<class T>() { return sizeof(T); };
static_assert(4 == size.operator()<int>());
GCC已经支持这种语法。
operator()）。但是，你可以完全特化 Lambda 的operator()（这里有一个例子https://godbolt.org/z/dspRsA），但你可能会发现`if constexpr和std::is_same_v`更有用。 - D. Dmitriy这意味着你不能做如下操作
void foo()
{
template <typename T> //Error
T something;
}
模板声明只允许在全局、命名空间或类作用域中。 :)
这背后的原因是什么？
不允许是因为标准规定如此。
ISO C++-98 (第14.2节)
模板声明只能出现在命名空间或类作用域中。
这有道理吗？
模板声明只能出现在命名空间或类作用域声明中 :) - Prasoon Saurav我猜实现起来很难，这就是为什么它在标准C++03中不被允许的原因。另一方面，在函数外编写类模板是一个可接受的解决方案。
[](auto x){}具有模板operator()，它只是没有命名模板参数。 - D. Dmitriy这有什么用处呢？所以你可以声明模板变量，只能在函数内部使用？这真的有用吗？
template<typename T> struct ComparatorTemplate { using type = T; };或必要的专业变体，从而将它们隐藏在外部代码之外。 - Justin Time - Reinstate Monica