模板参数名称隐藏

Question

我最近被咬了(简化)

struct Base {
    typedef char T;
};

template<typename T>
struct Foo : Base {
    T x[50];  // This is Base::T, not the template parameter
};

换句话说,类成员名称隐藏模板参数(即使来自基类,因此在本地上下文中并不完全明显).

然而,我做了一些实验,发现:

struct Base {
    typedef char T;
};

template<typename T, typename B>
struct Foo : B {
    T x[50];  // This T is the template parameter,
              // even passing Base as B
};

这个显然荒谬的规则背后的理由是什么(如果有的话)？

我能想到的唯一出路是给出丑陋的模板参数名称,也意味着在不使用保留名称的情况下安全地编写模板是不可能的(因为模板中使用的类可能会碰撞参数名称...请注意很多C++代码使用uglyfied名称为私人成员).

PS:我没有深入研究这个问题的标准,但g ++和clang ++都同意这个行为,所以我不认为这是一个bug.

PPS:在实际代码中,隐藏的模板参数被命名tid,并且是整数而不是类型.-Wall还没有足够的关于隐藏的问题,我在用valgrind进行了几个小时的调试后发现了它.

Answer 1

此规则(在[temp.local]/9中指定)是11年前创建的开放核心语言问题的主题 - 核心问题#459.CWG彻底讨论了这个问题.关于意图,迈克米勒提到了这一点

当前规范的基本原理非常简单:

• "除非在派生类中重新声明,否则基类的成员也被认为是派生类的成员."(10 [class.derived]第2段)

• 在类范围中,成员隐藏非成员.

而已.因为模板参数不是成员,所以它们被成员名称隐藏(无论是否继承).我没有发现"奇怪",甚至特别令人惊讶.

理由:

我们对改变有一些同情,但是当前的规则直接落在查找规则之外,因此它们并非"错误".使私有成员不可见也会解决这个问题.我们愿意看一篇提出这样的论文.[......]
CWG决定在没有更详细地探讨该问题的论文的情况下,此时不考虑改变现有规则.

不幸的是,还没有写过这样的论文,所以规则一直持续到今天.