模板参数隐藏

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;

任何人都可以....告诉一些除此之外的其他例子..where &出现这种情况的地方

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

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引用模板参数而不是外部< code>N（仅在模板的声明范围内）

Answer 2

当然：

int n = 0;

void f() {
   int n = 42;
}

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