为什么派生类可能具有与基类相同的数据成员？

Question

由于在基类和派生类中都有相同的数据成员，因此会产生很多混淆，并需要使用范围解析运算符来解决冲突。那么为什么它允许在C++中？任何人都可以告诉我这需要吗？

Answer 1

我不知道确切的动机，但我相信这是几个类似案例的简单延伸，它是不可避免的。例如考虑多重继承 - 许多基类可能具有相同的成员，并且基本上没有关于它的任何事情可以作为派生类的创建者。 CRTP更糟糕 - 你不可能知道基类的成员，因为它是任意的。这些情况看起来不像你的问题那么容易混淆，而且更麻烦些，因为在不削弱某些功能的情况下不能简单地禁止它们。由于无论如何都必须解决模棱两可的问题，因此用特定的统一规则处理这个特殊情况似乎是很自然的。

Answer 2

在一个明智的设计中，这绝不应该是一个问题。如果你是明知故障创建与你的基地名称相同的成员，这是你的设计有一个问题。如果你不知不觉做到这一点，你不会注意到。另一方面，如果这在语言层面被禁止，他们不知不觉地部分将成为一个硬性错误。考虑使用您继承的框架。现在考虑一下有公共接口，这是有据可查的，但任何私人的都是无证的。现在你需要从一个类型继承（比如说一个Window），并且这个变量带有一个美丽的有意义的名字，这个名字使得世界上的所有感觉都变得有意义。您可以将其添加到您的类型中，只运行编译器以发现名称已用于基本类型（或层次结构中的某处）...

Answer 3

遮阴不总是不好。一个阴影非常重要的反例是当我们使用可变参数模板（尤其是元组）时

示例：考虑以下简化的元组实现。这是我看到如何使用可变模板的第一个例子。

template<typename... T> class tuple0; 

template<> class tuple0<> {}; // end recursion 

template<typename Head, typename... Tail> 
class tuple0<Head, Tail...> : public tuple0<Tail...> { 
public: 
Head head; 
}; 

假设现在我们要建立tuple0<int, double>和访问这两个元素。这是一个测试程序，它是

int main() 
{  
    tuple0<int, double>* t1 = new tuple0<int, double>; 
    t1->head = 7; // set the integer value 
    std::cout << "integer: " << t1->head << std::endl; 
    tuple0<double>* t2 = static_cast< tuple0<double>* >(t1); 
    t2->head = std::cos(2); // set the double value 
    std::cout << "double: " << t2->head << std::endl; 
    return 0; 
} 

在这里你可以看到，如果没有掩盖，这将是更难与可变参数模板。另外，std :: tuple中的get方法也有类似的实现。