动态创建派生类对象作为默认函数参数的安全方案及段错误排查

代码定义 #

首先定义了以下类（注：原代码存在继承关系笔误，B/C继承的A应为Base）：

class Base {
public:
    virtual ~Base() {}
    virtual string returnString() = 0;
};

class B : public A {
public:
     string returnString() { return "string"; }
};

class C : public A {
public:
     string returnString() { return ""; }
};

以及目标函数：

string returnStringFunction(...);

需求：该函数可接收C类型对象，默认情况下使用动态创建的B类型对象。

尝试的两种实现 #

尝试了以下两种写法，函数体均为调用对象的returnString()方法：

写法1：引用作为参数 #

string returnStringFunction(const A& a = *std::make_unique<B>()) 

写法2：unique_ptr作为参数 #

string returnStringFunction(const std::unique_ptr<A> a = std::make_unique<B>()) 

函数体示例：

string returnStringFunction(...) {
    return a->returnString();
}

问题：两种方案在沙箱环境可正常编译运行，但在工作环境中触发SIGFAULT（段错误）。

段错误原因分析 #

写法1的核心问题 #

std::make_unique<B>()创建的临时unique_ptr会在默认参数初始化完成后立即销毁，导致引用a绑定到已被释放的内存地址。后续函数体内访问a->returnString()时，实际是访问已回收的内存，属于未定义行为。不同环境下内存管理机制不同，沙箱环境可能因内存暂未被覆盖而侥幸运行，工作环境则直接触发段错误。

写法2的潜在问题 #

虽然unique_ptr传递了所有权，但原代码中继承关系的笔误（B/C继承A而非Base）会导致类型不匹配，引发对象切片或无效类型转换，进而触发段错误。此外，部分环境下的编译器优化或异常处理逻辑，也可能导致unique_ptr的析构时机异常，引发未定义行为。

安全实现方式 #

方案1：栈对象作为默认参数（推荐） #

修正继承关系后，直接使用栈上的临时对象作为默认参数，其生命周期会延长至函数调用结束，完全避免动态分配的风险：

class Base {
public:
    virtual ~Base() {}
    virtual string returnString() = 0;
};

class B : public Base {
public:
     string returnString() override { return "string"; }
};

class C : public Base {
public:
     string returnString() override { return ""; }
};

string returnStringFunction(const Base& a = B{}) {
    return a.returnString();
}

方案2：函数内创建默认对象 #

如果需要保持参数为指针形式，可在函数内创建默认对象，确保其生命周期覆盖函数调用过程：

string returnStringFunction(const Base* a = nullptr) {
    if (!a) {
        B default_obj;
        return default_obj.returnString();
    }
    return a->returnString();
}

方案3：使用shared_ptr管理动态对象（适合必须动态分配的场景） #

若因业务需求必须使用动态分配，可改用shared_ptr确保对象生命周期与参数绑定：

string returnStringFunction(const std::shared_ptr<Base> a = std::make_shared<B>()) {
    return a->returnString();
}

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