基类是派生类的模棱两可的基类

Question

我无法理解在多重继承情况下如何区分基类的多个实例。在寻找解决方案时，我只找到了关于 virtual inheritance 的答案，但这根本不能解决我的问题，因为我不想在继承树末尾的最终类中拥有单个基类实例。

在维基百科上，第一段指出：

如果没有虚拟继承，如果两个类 B 和 C 继承自类 A，而类 D 继承自 B 和 C，那么 D 将包含 A 的成员变量的两个副本：一个通过 B，一个通过 C。这些将可以使用范围解析独立访问。

但我没有找到任何关于如何在我的情况下使用范围解析的信息。

至于我的任务，（强制和过于复杂的）类层次结构是：

class Vehicle
{
    protected:
        unsigned long uPrice;
        char* szOwner; // for some reason, not allowed to use std::string in my homework...
    public:
        unsigned long GetPrice();
        // ...
}

class Trailer : public Vehicle
{
    protected:
        unsigned long uWid;
        unsigned long uHei;
        unsigned long uLen;
        unsigned long uMaxWeight;
    public:
        // ...
};

class Car : public Vehicle
{
    protected:
        unsigned long uWid;
        unsigned long uHei;
        unsigned long uLen;
        char* szBrand;
    public:
        // ...
};

class Trailer_Car : public Trailer, public Car
{
    private:
        unsigned long uTotalMass;
    public:
        // ...
};

如上所述，我希望Trailer_Car 的一个实例中有多个Vehicle 实例（一个用于Car，一个用于Trailer）。这完全适用于：

Trailer_Car c(/*...*/, 3500, 1200);
std::cout << c.Trailer_Car::Car::GetPrice() << "\n"; // prints 3500
std::cout << c.Trailer_Car::Trailer::GetPrice();  // prints 1200

但是，在我的代码中，我必须对一个不均匀的数组（可以包含 4 个类中的任何一个）进行排序，并将Trailer_Car 转换为Vehicle 会导致error: 'Vehicle' is an ambiguous base of 'Trailer_Car'。示例：

Vehicle** Arr = new Vehicle*[N];
// ...

Arr[i] = static_cast<Vehicle*>(new Trailer_Car); // error: 'Vehicle' is an ambiguous base of 'Trailer_Car'

我该如何解决这个问题？我知道错误来自这样一个事实，即Arr[i] 不知道从Trailer_Car 指向哪个Vehicle，但仍然没有想到C++。
由于我更习惯于 C，所以我只会将 Arr 设为 void**，尽管我不知道 C++ 中的做法有多好，我要求这样做以避免在 C++ 中使用 C。

Answer 1

您可以使用指针类型的中间转换来控制您获得重复基类的哪个实例

Arr[i] = upcast<Car*>(new Trailer_Car);

或

Arr[i] = upcast<Trailer*>(new Trailer_Car);

我建议避免对应该是隐式转换的东西进行“真正的演员表”。它不会强迫编译器做一些愚蠢的事情然后闭嘴，就像演员通常会做的那样。

template<typename S, typename T> S upcast(const T& t) { return t; }

通过这种方式，这两行中的任何一条都为您提供了具有显式指定目标类型的隐式转换，然后是具有推断目标类型 (Vehicle*) 的隐式转换。

请注意，在存储指向两个Vehicle 子对象中的一个或另一个的过程中，您还要选择排序逻辑将使用哪些数据。

此外，您不应使用new 和delete 手动管理动态内存，而应使用智能指针。您编写的一个或一个库...但遵循单一职责原则，不要将内存管理与其他任何东西放在同一类中。