如何在C++模板类中存储任意可调用对象？ScopeGuard优化问询

问题背景 #

我希望实现一个ScopeGuard，在作用域退出时执行清理代码。由于std::function存在开销，采用了模板化的实现方案：

template <typename Fn>
class ScopeGuard {
public:
    ScopeGuard(Fn&& fn) : fn_(std::forward<T>(fn)) {} // 注：原代码存在笔误，T未定义，应为Fn
    ~ScopeGuard() { fn_(); }
private:
    Fn fn_;
};

该实现对lambda表现良好，但无法接受作为左值的全局函数。请问如何解决这一问题？

这本质上是一个更通用的问题：如何实现一个模板以最小开销存储任意可调用对象（全局函数、lambda、重载operator()的类实例）。

请问以下实现是否更优？

template <typename Fn>
class ScopeGuard {
public:
    template <typename T>
    ScopeGuard(T&& fn) : fn_(std::forward<T>(fn)) {}
    ~ScopeGuard() {
        fn_();
    }
private:
    Fn fn_;
};

问题分析与解决方案 #

第一个实现的问题 #

第一个版本的ScopeGuard构造函数仅接受右值引用(Fn&&)，当传入左值（比如作为左值的全局函数名）时，右值引用无法绑定到左值，直接导致编译失败。另外原代码里std::forward<T>的T是未定义标识符，正确写法应为std::forward<Fn>。

第二个实现的问题 #

第二个版本的问题更明显：类模板参数Fn无法被编译器自动推导——你在声明ScopeGuard对象时必须显式指定Fn的具体类型，这完全丧失了模板自动推导的便利性，实用性反而不如第一个版本。

正确的实现方案 #

要打造一个能存储任意可调用对象、支持左值/右值传入且无额外开销的ScopeGuard，可以根据C++版本选择以下两种方案：

方案1：C++17及以上（推荐）

利用C++17的类模板参数推导特性，搭配完美转发的模板构造函数：

#include <utility>
#include <type_traits>

template <typename Fn>
class ScopeGuard {
public:
    // 模板构造函数，完美转发任意类型的可调用对象
    template <typename T>
    explicit ScopeGuard(T&& fn) : fn_(std::forward<T>(fn)) {}

    // 禁止拷贝，避免重复执行清理逻辑；允许移动，支持对象转移
    ScopeGuard(const ScopeGuard&) = delete;
    ScopeGuard& operator=(const ScopeGuard&) = delete;
    ScopeGuard(ScopeGuard&&) noexcept = default;
    ScopeGuard& operator=(ScopeGuard&&) noexcept = default;

    ~ScopeGuard() {
        fn_();
    }

private:
    Fn fn_;
};

// 类模板推导指引：让编译器自动推导Fn的类型，std::decay_t处理引用/const等修饰符
template <typename T>
ScopeGuard(T&&) -> ScopeGuard<std::decay_t<T>>;

• std::decay_t<T>会自动去除左值引用、右值引用、const等修饰符，确保存储的是最简洁的对象类型，避免因存储引用导致的悬空问题。
• 模板构造函数支持完美转发，不管是左值还是右值的可调用对象（全局函数、lambda、重载operator()的类实例）都能正确传入。
• 禁用拷贝操作，防止同一个清理逻辑被多次执行；保留移动语义，允许ScopeGuard在作用域间转移（比如返回值优化场景）。

方案2：兼容C++11/14

如果需要适配C11或C14，可以通过工厂函数来实现类型推导：

#include <utility>
#include <type_traits>

template <typename Fn>
class ScopeGuard {
public:
    explicit ScopeGuard(Fn fn) : fn_(std::move(fn)) {}

    ScopeGuard(const ScopeGuard&) = delete;
    ScopeGuard& operator=(const ScopeGuard&) = delete;
    ScopeGuard(ScopeGuard&&) noexcept = default;
    ScopeGuard& operator=(ScopeGuard&&) noexcept = default;

    ~ScopeGuard() {
        fn_();
    }

private:
    Fn fn_;
};

// 工厂函数：自动推导可调用对象的类型，返回对应的ScopeGuard实例
template <typename Fn>
ScopeGuard<typename std::decay<Fn>::type> make_scope_guard(Fn&& fn) {
    return ScopeGuard<typename std::decay<Fn>::type>(std::forward<Fn>(fn));
}

使用时通过auto guard = make_scope_guard(...)创建对象，无需手动指定模板参数，用法和C++17版本一样便捷。

核心注意事项 #

• 必须同时支持左值和右值可调用对象，通过完美转发或std::decay确保存储类型的正确性。
• 禁止拷贝操作，避免清理逻辑被重复执行。
• 支持移动语义，提升ScopeGuard的使用灵活性。

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