如何限制C++临时变量作用域？栈内存高效释放方案

最优实现：匿名Lambda+结构化绑定 #

这个方案完全满足你的所有要求，仅调用一次std::div，临时变量用完即销毁，x_lo和x_hi保持常量性，且不会污染命名空间：

#include <cstdlib>
#include <iostream>
#include <utility>

int main()
{
    const int numerator {14}, denominator {3};

    // ...

    const auto [x_lo, x_hi] = [&](){
        const std::div_t qr = std::div(numerator, denominator);
        return std::pair{qr.quot, qr.quot + (qr.rem ? 1 : 0)};
    }();

    // ...

    std::cout
        << "The quotient " << numerator << "/" << denominator
        << " is at least " << x_lo
        << " and is not more than " << x_hi << "." << "\n";

    return 0;
}

方案说明 #

• 底层行为：qr仅在Lambda执行期间存在于栈上，Lambda执行完毕后立即弹出栈；x_lo和x_hi在主函数栈帧中分配，值由Lambda返回的pair直接初始化，无额外内存开销。
• 高级要求满足：
  • x_lo和x_hi通过const auto声明，编译器强制其常量性。
  • qr是Lambda内部的局部变量，完全不会污染主函数的命名空间。
• 性能：编译器会自动内联Lambda调用，不会产生任何运行时开销；仅调用一次std::div，避免重复计算。

备选方案：拆分Lambda（适合除法开销可忽略的场景） #

如果不介意两次调用std::div，可以用两个独立的Lambda分别初始化x_lo和x_hi，代码更简洁：

const int x_lo = [&](){
    return std::div(numerator, denominator).quot;
}();

const int x_hi = [&](){
    const auto qr = std::div(numerator, denominator);
    return qr.quot + (qr.rem ? 1 : 0);
}();

这个方案同样满足所有要求，但会执行两次除法运算，仅在除法开销可忽略的场景下推荐使用。

为什么不推荐其他方案？ #

• 额外大括号块：由于x_lo和x_hi是const变量，必须在声明时初始化，无法先声明再在块内赋值，因此大括号块无法实现将x_lo/x_hi暴露到块外的需求。
• const_cast等反惯用技巧：完全没必要，上述Lambda方案已经是更优雅且安全的实现。

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