默认参数存储位置及类中std::fstream所有权与实现合理性疑问

1. 默认参数存储在什么位置？

#include <fstream>
#include <vector>

// 这个版本无法编译
// 错误：use of deleted function ‘O::O(const O&)’
class O
{
    std::fstream f;
};

// 可以正常编译
class O
{
    O(std::fstream fs) : f(fs) {}
    std::fstream &f;

public:
    O() : O(std::fstream()) {}
};

// 同样可以正常编译
class O
{
    std::fstream &f;

public:
    O(std::fstream fs = std::fstream()) : f(fs) {}
};

int main(void)
{
    O my_o;
    std::vector<O> objs{my_o};
    return 0;
}

上述示例中，第一个版本无法编译，原因是类O“拥有”std::fstream对象；另外两个版本可正常编译。

请问：

1. 在可编译的示例中，谁拥有std::fstream的所有权？是否等同于在main函数中定义该对象？
2. 这种解决问题的方式是否合理？我感觉写法有些取巧，但不希望用户需手动分配std::fstream，甚至无需知晓它的存在。

问题解答 #

默认参数的存储位置 #

C++标准未规定默认参数的具体存储位置，属于编译器实现细节：

• 多数编译器会将默认参数的常量表达式或初始化逻辑存入目标文件的只读数据段（.rodata），或直接在调用点展开对应的代码。
• 若默认参数是临时对象（如std::fstream()），编译器不会存储现成的对象实例，而是在调用构造函数的位置生成创建该临时对象的代码。不同编译器（GCC、Clang、MSVC等）的实现细节略有差异，但核心逻辑是在调用点替换默认参数为实际的参数值或对象构造操作。

问题1：std::fstream的所有权归属 #

两个可编译版本里，临时std::fstream的所有权没有被任何实体长期持有：

• 调用O()构造函数时，会创建临时std::fstream对象，通过移动构造（因std::fstream禁用拷贝构造）初始化构造函数的参数fs，随后类内的引用f绑定到fs上。
• 构造函数执行完毕后，参数fs会被销毁，此时类内的f就变成悬空引用，指向已销毁的对象。

这和在main中定义std::fstream完全不同——main中定义的对象生命周期延续到main函数结束，而这里的临时对象生命周期仅到构造函数执行完毕，后续使用f成员会触发未定义行为。

问题2：写法的合理性 #

这种写法完全不合理，属于严重错误，本质是通过悬空引用规避拷贝构造的编译错误，后续任何操作O类中f成员的行为都会导致未定义结果（程序崩溃、逻辑异常等）。

如果你希望用户无需手动管理std::fstream、甚至不知道它的存在，正确的做法是让类O真正持有std::fstream的所有权，同时利用C++的移动语义支持容器存储：

正确实现示例

#include <fstream>
#include <vector>

class O
{
    std::fstream f;
public:
    // 默认构造函数，自动创建内部fstream
    O() = default;

    // 显式声明移动构造/赋值，支持容器存储（编译器可自动生成，显式声明更清晰）
    O(O&&) = default;
    O& operator=(O&&) = default;

    // 禁用拷贝构造/赋值，符合fstream的不可拷贝特性
    O(const O&) = delete;
    O& operator=(const O&) = delete;
};

int main(void)
{
    O my_o;
    std::vector<O> objs;
    objs.push_back(std::move(my_o)); // 用移动语义将对象放入vector
    objs.emplace_back(); // 直接在vector内构造对象，无需移动
    return 0;
}

若需要支持外部传入fstream的场景，可添加移动语义的构造函数：

class O
{
    std::fstream f;
public:
    O() = default;
    // 接收外部fstream，转移所有权
    explicit O(std::fstream fs) : f(std::move(fs)) {}

    O(O&&) = default;
    O& operator=(O&&) = default;

    O(const O&) = delete;
    O& operator=(const O&) = delete;
};

这种实现既保证了std::fstream的所有权安全，又完全隐藏了内部细节，符合你的设计需求。

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