C++函数执行过程中如何无运行时开销修改变量名且使旧名失效

首先纠正一个常见的认知误区：std::move 对 std::vector 这类堆内存容器的转移操作不会破坏内存连续性，底层存储的数组地址完全不变，仅会拷贝3个指针（起始、结束、容量地址），开销几乎可忽略。如果需要完全零开销，可以参考以下几种方案：

方案1：拆分函数+RVO（最推荐，符合C++标准） #

利用C++标准规定的返回值优化（RVO）机制，编译器会直接消除返回值的拷贝/移动操作，完全无运行时开销，同时天然隔离不同语义的变量作用域：

std::vector<int> ProcessQuantitiesToWeights() {
    std::vector<int> quantities_of_widgets = GetQuantities();
    PerformOperationInPlace(quantities_of_widgets);
    // 编译器自动做RVO，无任何拷贝/移动开销
    return quantities_of_widgets;
}

// 外层直接获得语义正确的变量，旧变量名完全不可见
std::vector<int> weights_of_widgets = ProcessQuantitiesToWeights();
SomeBigFunction(Func1(weights_of_widgets, some_other_object_1), some_other_object_2);

这个方案没有任何语法hack，可读性和可维护性最高，是工业界的通用最佳实践。

方案2：块作用域限制旧变量生命周期 #

如果不想拆分函数，可以用内层块把旧变量的作用域限制住，仅对外暴露语义正确的新变量：

std::vector<int> weights_of_widgets;
{
    std::vector<int> quantities_of_widgets = GetQuantities();
    PerformOperationInPlace(quantities_of_widgets);
    // 仅产生3个指针拷贝的极小开销，底层存储不变
    weights_of_widgets = std::move(quantities_of_widgets);
}
// 此处quantities_of_widgets已经超出作用域，无法访问，完全避免误用

方案3：原地重绑定（完全零开销，C++11及以上可用） #

如果你连3个指针拷贝的开销都要避免，可以用原地构造的方式复用内存，完全无运行时开销：

std::vector<int> quantities_of_widgets = GetQuantities();
PerformOperationInPlace(quantities_of_widgets);

// 原地移动构造新对象，复用原有内存，无任何堆操作
auto& weights_of_widgets = *new (&quantities_of_widgets) std::vector<int>(std::move(quantities_of_widgets));
// 此后quantities_of_widgets已经处于被移动的无效状态，访问会触发未定义行为，天然阻止误用

注意这个方案需要确保变量生命周期结束时只有一次析构，适合对性能要求极高的场景。

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