如何在Derived类构造函数中传入Base指针并正确构建对象？

原始实现代码 #

最初的可行实现代码如下：

Base* pParentPtr;

// ... pParentPtr 被使用

// 转换指针类型
Derived* castedResult = (Derived*)pParentPtr;

// 将引用对象拷贝到栈对象
Derived resultExplicitCopy = Derived(*castedResult);

// 调用Derived类专属函数
resultExplicitCopy.DeviredSpecialFunction();

// 释放工厂分配的内存
delete pParentPtr;

这段代码先使用pParentPtr，将其强制转换为Derived类型后拷贝对象，调用专属函数，最后释放原指针。

尝试的错误实现 #

为了简化代码，尝试给Derived编写接收Base*的构造函数，但实现存在明显问题：

Derived::Derived(Base* basePtr)
{
    // 转换指针类型
    Derived* castedResult = (Derived*)basePtr;

    // 创建临时Derived对象
    Derived resultExplicitCopy = Derived(*castedResult); // 写法冗余且无意义

    // 调用专属函数
    resultExplicitCopy.DeviredSpecialFunction();

    *this = resultExplicitCopy; // 对象未完全初始化时赋值，存在风险
}

这种在构造函数内创建临时实例再赋值给*this的做法不合理，对象未完成初始化时进行赋值操作可能引发未定义行为。

期望的简化形式 #

希望实现如下简洁的代码形式：

Base* pParentPtr;

// ... pParentPtr 被使用

// 用Base指针初始化Derived对象
Derived derivedInstance = Derived(pParentPtr);

// 释放工厂分配的内存
delete pParentPtr;

正确实现方式 #

要实现通过Base*构造Derived对象的目标，核心是确保指针类型转换的安全性，并避免对象未初始化时的赋值操作，以下是两种可靠的实现方案：

方案1：利用构造函数委托（C++11及以上） #

如果编译器支持C++11或更高版本，可使用构造函数委托直接复用Derived的拷贝构造函数完成初始化，避免冗余临时对象：

#include <cassert>

// 若Base是多态类（含虚函数），推荐用dynamic_cast做运行时类型检查
Derived::Derived(Base* basePtr)
    : Derived(*dynamic_cast<Derived*>(basePtr)) // 委托拷贝构造函数初始化当前对象
{
    // 对象已完全初始化，可安全调用专属函数
    DeviredSpecialFunction();
    
    // 若能确保指针类型绝对安全，也可改用static_cast（无运行时检查，效率更高）：
    // : Derived(*static_cast<Derived*>(basePtr))
}

• dynamic_cast会在运行时验证指针指向的实际类型，转换失败返回nullptr，可配合assert或异常处理避免错误转换。
• 若Base不是多态类，dynamic_cast无法使用，此时必须确认pParentPtr指向Derived对象后再用static_cast。

方案2：安全转换后直接拷贝赋值 #

如果不支持构造函数委托，可在构造函数体内先完成安全类型转换，再进行拷贝赋值——此时对象已完成默认初始化，赋值操作是安全的：

#include <stdexcept>

Derived::Derived(Base* basePtr)
{
    Derived* derivedPtr = dynamic_cast<Derived*>(basePtr);
    if (!derivedPtr) {
        throw std::invalid_argument("basePtr does not point to a Derived object");
    }
    
    // 拷贝Derived对象的所有成员
    *this = *derivedPtr;
    // 调用专属函数
    DeviredSpecialFunction();
}

关键注意事项 #

• 必须保证pParentPtr指向的实际对象是Derived类型，否则类型转换会导致未定义行为。
• 若Base不是多态类，只能使用static_cast，但必须严格确保类型转换的安全性。

内容的提问来源于stack exchange，提问作者Ivan