C++中构造函数用new初始化的对象成员是否需要手动delete释放

1. 你的现有理解是否正确 #

你的核心理解是对的：setFlyBehavior执行后，入参指针和成员变量m_flyBehavior指向同一块内存，只要析构函数中对成员变量执行delete，就会同步释放入参指向的动态内存，不需要调用方额外执行delete。
但要注意一个严重的内存泄漏漏洞：你当前的setFlyBehavior实现直接覆盖了旧的m_flyBehavior指针，原来指向的内存没有被释放，每次调用这个方法都会泄漏一块内存。正确的裸指针实现应该是：

void Duck::setFlyBehavior(FlyBehavior* fb){
    delete m_flyBehavior; // 先释放旧内存
    m_flyBehavior = fb;
    cout << "in Duck::setFlyBehavior()" <<endl;
}

同时你还要注意三五法则：你手动实现了析构函数，必须同时实现/禁用拷贝构造、拷贝赋值运算符，否则默认生成的拷贝逻辑会复制裸指针，导致两个Duck对象析构时重复释放同一块内存，触发崩溃。

2. 入参传入的动态对象是否需要额外delete #

如果你的类设计约定了Duck类全权接管传入的行为指针的所有权，那么调用方不需要额外执行delete，否则会出现double free问题。但裸指针本身不携带所有权语义，这种约定完全依赖注释和开发者自觉，非常容易出问题。

3. 裸指针传递的替代方案 #

直接传递裸指针的设计确实不推荐，核心问题是所有权不清晰，极易出现内存泄漏、重复释放、野指针等问题。更优的实现方案是使用C++11及以上标准提供的智能指针：

• 这里行为对象属于Duck类独占所有，选择std::unique_ptr<FlyBehavior>作为成员类型即可，不需要手动写delete逻辑，对象销毁时自动释放内存
• 传参时直接传递std::unique_ptr<FlyBehavior>，明确表达所有权转移的语义，调用方不可能误释放传入的对象
• 不需要手动写析构函数，也不需要额外处理拷贝/移动逻辑（如果禁用拷贝，用默认生成的移动逻辑即可）

改造后的示例代码片段：

// 成员变量定义改成
class Duck {
private:
    std::unique_ptr<FlyBehavior> m_flyBehavior;
    std::unique_ptr<QuackBehavior> m_quackBehavior;
public:
    void setFlyBehavior(std::unique_ptr<FlyBehavior> fb) {
        m_flyBehavior = std::move(fb); // 自动释放旧的内存，无需手动delete
    }
};

// 调用方代码改成
mallardDuck->setFlyBehavior(std::make_unique<FlyNewWay>());
MallarDuck rocketDuck = MallarDuck(std::make_unique<FlyWthRocket>(), std::make_unique<NewQuack>());

这种实现完全不需要手动管理内存，也不会出现泄漏、重复释放等问题。

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