返回对切片对象（超类型）的引用

Question

考虑以下类：

class Coord
{
public:
    double _x, _y;

    Coord(double x, double y)
    {
        _x = x;
        _y = y;
    }
};

class NamedPoint : public Coord
{
public:
    int _id;

    NamedPoint(int id, double x, double y) :
        Coord(x,y),
        _id(id)
    {
    }
};

我想创建一个 NamedPoint 的成员函数——coord()——它返回与 NamedPoint 相对应的 Coord 类型的引用。

例如，我想要类似的东西：

const Coord& NamedPoint::coord()
{
    return ((Coord)*this);
}

但我收到有关临时变量的警告，但我对此并不着迷。

当然，以下方法有效：

Coord coord()
{
    Coord c = *this;
    return c;
}

但我宁愿返回一个引用。

有谁知道使用继承类是否可以实现这一点？

抱歉没有解释该功能的要点。我对 Coord 和 NamedPoint 的 == 运算符进行了不同的重载。 Coord 将简单地检查 {x,y}，NamedPoint 将检查 {id,x,y}。如果我忘记在 == 测试之前将 NamedPoint 转换为 Coord，我将使用错误的版本。

因此，虽然我意识到这

(Coord)np1 == (Coord)np2 

会给我想要的东西，但我宁愿使用

np1.coord() == np2.coord()

我认为更清楚正在发生的事情的东西。

Answer 1

该功能有什么意义？无论如何，NamedPoint 可以隐式转换为 Coord：无论如何

void foo(Coord& c)
{
    c._x = 5;
}

NamedCoord nc(0, 1, 2);
foo(nc); // c references the Coord part of nc

，您的函数应该简单地使用此转换：

const Coord& NamedPoint::coord()
{
    // Bad: takes the value of *this and slices off
    // the derived bits, leaving a temporary Coord.
    /* return ((Coord)*this); */

    // Good: takes the value of *this and refers
    // to the base bits, no temporaries.
    return *this;

    // (Same as:)
    /* return ((Coord&)*this); */
}

Answer 2

@GMan 给出了主要解决方案。

然而，更详细地注意这个问题可能会很有趣：

const Coord& NamedPoint::coord()
{
    return ((Coord)*this);
}

这与以下内容非常相似：

const Coord& NamedPoint::coord()
{
    Coord c = *this;
    return c;
}

这里很明显，您正在返回对堆栈上临时对象的引用，这使得对其的引用无用，因此会出现警告。

现在，在所呈现的情况下，Coord 是基类，因此我们有@Gman 给出的简单解决方案。

在一般情况下，原则是如果您想要引用某物，您最好确保该某物仍然存在。