模板参数隐藏

Question

ISO草案n3290第3.3.9节第4段的要点：

模板参数名称的声明性区域嵌套在立即封闭的声明性区域中。[注：结果，模板参数在封闭范围（3.3.10）中隐藏了具有相同名称的任何实体。

Example:
typedef int N;
template<N X, typename N, template<N Y> class T> struct A;

除了这个..哪里和哪里出现这种情况，任何人都可以....告诉其他例子

Answer 1

我认为这很明显：只要模板声明范围内的实体与模板参数之一具有相同的名称，该名称就会被隐藏在模板中。 如果您在提出示例时遇到问题，则可能是您不理解报价的含义。 您了解什么？ 您难以理解的是什么？

对于那些不想加入标准的人，重要的是要完成原始报价：

   typedef int N;
   template<N X, typename N, template<N Y> class T> struct A;

在此，X是int类型的非类型模板参数，Y是与A的第二个模板参数相同类型的非类型模板参数。

这有助于理解示例。 注意引号的含义：第一个N引用命名空间范围内的typedef ，然后引入模板参数N 从那里，模板参数隐藏外N ，和下一外观N指模板参数，而不是外N （仅在模板的声明性范围内）

Answer 2

当然：

int n = 0;

void f() {
   int n = 42;
}

函数中的n隐藏在全局范围内声明的那个。