C ++构建损坏的结构

时间:2015-03-27 15:24:16

标签: c++ casting structure derived

我有2个结构:

typedef struct foo
{} foo_t;

typedef struct bar : foo_t
{
    int value;
} bar_t;

永远不应该创建foo,它就像一个抽象类(我的代码中没有创建任何类)。我还有一个方法返回一个条形,但返回它为foo:

foo_t giveMeMyBar()
{
    bar_t ret;
    ret.value = 5;
    return ret;
}

然后我调用该方法并尝试将其转换为派生结构:

foo_t f = giveMeMyBar();
bar_t b = ((bar_t *) (&f));

'b'的值成员完全错误(一个非常大的负数)。我确定我错了(或者做了别的错误)但是我来自java,在那里投射非常容易。

1 个答案:

答案 0 :(得分:1)

按值返回foo_t,您只返回对象的foo_t部分,类型为foo_t - 这有时称为切片。< / p>

由于没有bar_t对象,强制转换无效,使用结果指针会产生未定义的行为。

要保留多态性,您必须返回一个指针或对函数返回后仍然存在的对象的引用 - 也就是说,不返回局部变量。首先,基类需要一个虚拟析构函数,因此可以使用指向基类的指针安全地管理派生类:

// I'll get rid of the weird C-style typedef for readability
struct foo {
    virtual ~foo() = default;
};    

现在,您可以分配派生类型的对象,并返回指向基本类型的智能指针:

std::unique_ptr<foo> giveMeMyBar() {
    auto ret = std::make_unique<bar>();
    ret->value = 5;
    return ret;
}

现在你可以安全地转换类型:

auto foo = giveMeMyBar();
bar * ptr = dynamic_cast<bar*>(foo.get()); // pointer to returned object
bar & ref = dynamic_cast<bar&>(*foo);      // reference to returned object
bar copy  = dynamic_cast<bar&>(*foo);      // copy of returned object

如果类型错误,则指针强制转换将产生空指针,而引用强制转换将抛出异常。

其他安全性较差的演员阵容可供选择。您使用的C样式转换是核选项,迫使编译器以任何方式接受转换。这通常会导致未定义的行为,因此只有在您完全确定自己想要的内容时才能使用它。

  

我来自java

然后你将不得不忘记你学到的东西。 C ++有一个非常不同的对象模型。

  

铸造真的很容易

但是要付出代价:所有java对象都是多态的,并通过托管引用间接访问。 C ++允许您选择更有效但有时不太方便的值类型。