Question

如果我定义了一个具有初始值的派生类，但最终使用了指针强制转换（即static_pointer_cast），那么如何在不执行解除引用然后执行对象复制的情况下执行初始化器？

#include <string>
#include <memory>

class Base {
public:
    std::string Name;
};

class Derived : public Base {
public:
    std::string Address = "Initialized";
};


int main() {
    auto b_ptr = std::make_shared<Base>();
    b_ptr->Name = "Fred";

    auto d_ptr = std::static_pointer_cast<Derived>(b_ptr);

    fprintf( stdout, "Name: [%s]   Address: [%s]", 
        d_ptr->Name.c_str(),  
        d_ptr->Address.c_str() );  // Address not valid!
}

代码链接：http://coliru.stacked-crooked.com/a/09f2240abff1556b

处理此问题的正确方法是什么？

编辑：下面是一些示例代码（当然，对事物进行了简化），更好地说明了我要做的事情，以及为什么如果有办法以某种方式使这项工作更好。

更新了示例代码：http://coliru.stacked-crooked.com/a/cdcc31a4417bb52b

在这个例子中，我有两个数据源，一个来自源系统，另一个是内部使用的数据源。我真的不想复制所有数据，只是将一些额外的信息分层给它。

我不确定使用std :: move（由@Mooing Duck建议），因为它对源数据有影响....我需要探索更多内容。但是从这个例子中，不执行副本的好处是明确的，并且必须使用“has-a”样式实现使得后续对象使用变得笨拙。即：

test_row->Values[0].c_str()   and 
test_row->RowTotal

会变成：

test_row->row->Values[0]    yet still
test_row->RowTotal

也许我看到这一切都错了，有一个更好的算法来做到这一点？

Answer 1

你不能。成员的大括号或等于初始化程序仅由构造函数执行。如果要初始化Derived，则需要实际构造Derived::Address对象。但是你不能在已被Derived对象占据的空间上构造一个Base对象;你必须先销毁Base对象。

Answer 2

您无法就地更改类型。不是通过额外的初始化，或礼貌地询问。这是不可能的。

如果你问自己，这很容易看出

make_shared<Base>分配了多少内存？

Answer 3

你可以给Derived一个Base&&构造函数，并使用它将Base的内容移动（浅拷贝）到派生的内容中，从而保留原始Base处于“空”状态。

class Base {
public:
    std::string Name;

    //Note: The compiler is generating these invisibly for you:
    //Base() :Name() {}
    //~Base() {}
    //Base(const Base& r) : Name(r.Name) {}
    //Base(Base&& r) noexcept : Name(std::move(r.Name)) {}
    //Base& operator=(const Base& r) : Name(r.Name) {}
    //Base& operator=(Base&& r) noexcept : Name(std::move(r.Name)) {}
};

class Derived : public Base {
public:
    std::string Address = "Initialized";
    Derived() = default;
    Derived(Base&& b) : Base(std::move(b)) {}
};    

int main() {
    auto b_ptr = std::make_shared<Base>();
    b_ptr->Name = "Fred";

    auto d_ptr = std::make_shared<Derived>(std::move(*b_ptr));
    //NOTE AT THIS POINT b_ptr POINTS TO A BASE WHOS Name IS EMPTY
    b_ptr.reset(); //reset to prevent accidental errors with lack of content

    fprintf( stdout, "Name: [%s]   Address: [%s]", 
        d_ptr->Name.c_str(),  
        d_ptr->Address.c_str() );  // Address not valid!
}

看到它在这里工作：http://coliru.stacked-crooked.com/a/f3a6062f6c459c7c
并且还可以在此处查看移动证据：http://coliru.stacked-crooked.com/a/f7f6cc4aa06d2746

然而，值得注意的是，我想不出你想要做到这一点的好理由。听起来你的代码设计很差。

指针强制转换期间的初始化？

3 个答案: