Question

我想在代码中清楚地区分3D和2D点。显而易见的解决方案是拥有单独的类。

另一方面，从z = 0到2D点的3D点的转换非常常见。因此，我想使用一个公共基类，这样我就可以在内存中进行这些转换。为了明确区分类型，我想禁止隐式转换为该基类。那是可行的吗？

或者是否有不同的方法来创建具有类似功能的不同类型？

Answer 1

这不能解答您的问题，但为了解决您的问题，您可以在3D类中创建一个方法，在请求时返回2D点。

Answer 2

您可以私下派生子类：

class PointBase {
  // ...
};

class Point2D : private PointBase {
  // ...
};

class Point3D : private PointBase {
  // ...
};

这种方法的副作用是，PointBase的任何公共成员也无法从外部访问，因此子类必须通过为它们提供代理方法或使用它们指定它们来显式访问它们。关键字using。这就是为什么我会这样做只有PointBase中的共同逻辑相当大并且在一个地方实施它会带来比上述缺点更多的好处。

Answer 3

如果您的点存储为矢量，您可以将3D和2D点类定义为带有int参数的模板类，该参数将指定维度计数：

template<int dimensions> class Point {
    vector<int> coords;
    Point() : coords(dimensions) {}
    ....
    template<int other_dimensions> convertToPoint() const
    {
        // Handle different options here like:
        //   dimensions > other_dimensions
        //   dimensions < other_dimensions
        // et cetera
    }
};

实例化点类：

typedef Point<2> Point2D;
typedef Point<3> Point3D;
Point2D pt = Point3D(1, 2, 3).convertToPoint<2>(); // Point2D(1, 2);
Point3D pt = Point2D(4, 5).convertToPoint<2>(); // Point3D(4, 5, 0);

这样，您将拥有相同的逻辑，但完全不同的类型和简单的转换。更不用说你只需要定义一个类而不是两个单独的类。

Answer 4

如果你想在没有任何复制的情况下访问3d矢量的2d部分，那么实际上只有一个理智的解决方案。

class Vector2d { ... };
class Vector3d {
    Vector2d part2d;
    double z;
public:
    Vector2d& as2d() { return part2d; }
};

任何基于继承的恶作剧都很可能导致糟糕的设计，未定义的行为或两者兼而有之。

我如何禁止隐式转换为基类？

4 个答案: