C++ 零开销 scope guard 实现可行性及编译器优化问题问询

问题答复 #

1. 无状态scope guard的开销优化

首先可以明确：主流编译器（GCC/Clang/MSVC）开启O2及以上优化等级时，会完全优化掉无捕获/无状态scope guard对象的栈空间分配。
你观察到的scope_guard对象至少占1字节是C++语法层面的要求：每个独立对象都需要有唯一的内存地址，所以编译期计算的sizeof会返回至少1的结果，但这个空间在优化阶段会被完全消除，最终生成的汇编代码和你手写try/catch+手动调用foo()的版本完全一致，没有任何额外开销。

2. 带引用捕获的场景下的开销优化

你提到的捕获引用的lambda占8字节（64位系统下指针大小）同样是编译期的静态大小，运行时优化阶段也可以被完全消除：
编译器可以追踪到lambda捕获的引用直接指向栈上的bar对象，在调用析构函数执行lambda时，会直接访问bar的栈地址，不需要额外存储这个引用指针。实测开O2优化后，这种场景下scope_guard的生成代码和手动实现版本没有任何差异，也没有额外的栈空间占用。

3. 零开销scope_guard的实现方案

完全不需要特殊的模板元编程技巧，C++17及以上版本用最基础的实现就能达到零开销：

template <typename F>
struct scope_guard {
    F func;
    ~scope_guard() {
        func();
    }
};
// C++17类模板参数推导指引，不用手动写模板参数
template <typename F>
scope_guard(F) -> scope_guard<F>;

使用方式和你示例的完全一致：

{
    Bar bar;
    scope_guard sg{[&] { foo(bar); }};
    do_something();
}

唯一需要注意的开销场景是：如果你按值捕获了需要拷贝/移动的对象，那这部分开销是业务本身带来的，你手动写实现也需要存储这个对象，不属于scope_guard的额外开销。

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