结构化返回场景下：版本差异与避免额外拷贝构造的技术问询

DevOps 小满

2026-7-26

问题背景

我尝试以结构化返回的方式返回结构体，示例代码如下：

示例1：返回`pair<bool, vector<int>>`

pair<bool, vector<int>> get(const string &id) {
    vector<int> v;
    return {true, v};
}

struct st{};
pair<bool, st> get(const string &id) {
    st v;
    return {true, v};
}

调用方式分为两种：

auto [a1, b1] = get("1");   // version1
auto &[a2, b2] = get("1");   // version2

从拷贝构造的成本角度出发，我有两个疑问：

问题解答

首先明确：get函数返回的是临时对象（右值），两种调用的核心差异在于是否触发成员的拷贝/移动：

version1：auto [a1, b1] = get("1"); 本质是将临时pair对象的成员拷贝或移动到a1和b1中。对于vector<int>这类支持移动语义的类型，会触发低成本的移动构造；对于空自定义结构体st，拷贝构造几乎无开销（编译器通常会直接优化）。临时pair对象在初始化完成后会被销毁。
version2：auto &[a2, b2] = get("1"); 编译器会自动推导为auto &&[a2, b2]（C++17及以后支持），属于绑定到临时对象的右值引用。此时a2和b2是临时pair对象成员的引用，临时pair的生命周期会被延长至与引用变量一致。这种方式不会触发成员的拷贝/移动，直接复用临时对象的内存。

场景外差异：如果后续修改b2（比如对vector做增删操作），version2是直接修改临时对象的成员，而version1是修改拷贝/移动后的独立对象，二者操作的内存区域完全不同。

你感知到的"拷贝构造"其实可以通过现代C++的优化机制完全消除，具体方案如下：

利用返回值优化（RVO/NRVO）：
现代编译器（C++11及以后）在开启优化（如-O2）时，会自动触发返回值优化，直接在调用栈的返回值位置构造pair对象，完全跳过局部变量到返回值的拷贝。
优化后的写法可以更直接：
```
pair<bool, vector<int>> get(const string &id) {
    // 直接构造临时vector，避免局部变量v的拷贝
    return {true, vector<int>{}};
}
```
或者显式构造返回对象并直接操作：
```
pair<bool, vector<int>> get(const string &id) {
    pair<bool, vector<int>> res;
    res.first = true;
    // 直接操作res.second，无额外拷贝
    res.second.push_back(1);
    return res;
}
```
只要编译器能识别到返回的是单一具名对象（NRVO的条件），就会彻底消除拷贝。
避免错误操作：
不要尝试返回局部变量的引用（包括右值引用），这会导致悬垂引用，属于未定义行为，反而会引入更严重的问题。
自定义返回结构体（可选）：
如果你不需要pair，可以自定义结构体替代，本质同样依赖返回值优化：
```
struct GetResult {
    bool is_ok;
    vector<int> data;
};

GetResult get(const string &id) {
    return {true, {1, 2, 3}};
}
```

总结：只要开启常规编译器优化，返回pair的拷贝构造几乎都会被完全消除，无需额外操作。如果局部对象构造逻辑复杂，尽量保证函数内分支返回的是同一个具名对象，帮助编译器触发NRVO。

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