模板参数的潜在范围是什么

What is the potential scope of a template parameter?

本文关键字：范围 范围是 是什么 参数      更新时间：2023-10-16

ISO 草案 n3290 第 3.3.9 节第 5 段中的一点：

因为模板参数的名称无法在其潜力范围内重新声明 作用域 （14.6.1），模板参数的作用域通常是其潜在作用域。然而 模板参数名称仍然可以隐藏;

在这种情况下，"潜在范围"是什么意思？谁能举个例子？

草稿链接 N3290：http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3290.pdf

3.3.1 ： 声明的范围是 与其潜在范围相同，除非 潜在范围包含另一个 同名声明。在那 案例，潜在范围 内部声明（包含） 声明性区域被排除在 声明的范围在 外部（包含）声明性区域。

通常，这是指这样的情况：

void Foo(int i) {
  {
    int i = 5;
    std::cout << i;
  }
  std::cout << i;
};

第二个i的潜在范围被排除在第一个i的范围之外。换句话说，这准确地描述了名称隐藏的适用位置。您引用的位说模板名称也可以隐藏。

来自同一部分的第3段：

模板的潜在范围 参数名称从其点开始 声明 （3.3.2） 并以 其声明性区域的结束。[ 注意：这意味着模板参数可以在后续声明中使用 模板参数及其默认参数，但不能使用 在前面的模板参数中或 它们的默认参数。例如

template<class T, T* p, class U = T> class X { /* ... */ };
template<class T> void f(T* p = new T);

这也意味着 模板参数可用于基类的规范。为 例

template<class T> class X : public Array<T> { /* ... */ };
template<class T> class Y : public T { /* ... */ };

使用模板参数作为 基类意味着使用的类 作为模板参数必须定义 而不仅仅是在类时声明 模板已实例化。——尾注 ]

相关文章：