如何从std::function中获取其存储的函数、lambda的可溯源引用？

可用于溯源的次优引用方案 #

标准层面合法、不需要依赖特定STL实现的次优溯源标识是std::function::target_type()返回的const std::type_info&实例，其对应的指针在进程生命周期内对同一类型的可调用对象是唯一稳定的，即使是无捕获lambda、不同签名的函数指针也能被正确区分。如果需要类似C语言void*的地址标识，可基于以下特性实现：

• 主流STL实现的std::function均支持小对象优化（SSO），当存储的可调用对象大小小于SSO缓冲区阈值时，对象直接存储在std::function实例的内部内存空间；超过阈值时则堆分配存储，两种场景下存储目标的内存地址在std::function实例的生命周期内、未被重新赋值的前提下都是稳定的，可直接用于溯源。

支持全类型可调用对象的模板实现方案 #

完全可以通过模板包装的方式实现，且不会破坏std::function的原有语义，业务侧不需要修改任何使用逻辑，对客户端完全透明。核心思路是在构造包装类时捕获传入的所有可调用对象的静态类型，提前存储需要的溯源标识，再转发给内部的std::function实例，示例实现如下：

#include <functional>
#include <typeinfo>
#include <utility>

template<typename Sig>
class TracedFunction {
public:
    // 支持所有可调用对象的构造，完美转发给内部std::function
    template<typename Callable>
    TracedFunction(Callable&& callable) 
        : m_func(std::forward<Callable>(callable)),
          m_target_type(&typeid(Callable)),
          // 构造阶段已知精确类型，直接获取目标存储地址，不会返回空指针
          m_target_ptr(static_cast<const void*>(m_func.template target<std::decay_t<Callable>>()))
    {}

    // 完全保留std::function的调用语义
    template<typename... Args>
    decltype(auto) operator()(Args&&... args) const {
        return m_func(std::forward<Args>(args)...);
    }

    // 库内部可用的溯源接口
    const std::type_info* target_type() const noexcept { return m_target_type; }
    const void* target_ptr() const noexcept { return m_target_ptr; }

    // 按需转发其他std::function原生接口，完全兼容原有用法
    operator bool() const noexcept { return static_cast<bool>(m_func); }
    void swap(TracedFunction& other) noexcept {
        m_func.swap(other.m_func);
        std::swap(m_target_type, other.m_target_type);
        std::swap(m_target_ptr, other.m_target_ptr);
    }

private:
    std::function<Sig> m_func;
    const std::type_info* m_target_type = nullptr;
    const void* m_target_ptr = nullptr;
};

该方案的运行时开销极低，仅在构造阶段额外存储两个指针，调用逻辑完全和原生std::function一致，没有任何额外性能损耗，完全适合高频调用的链路追踪场景。

该实现完全满足需求：

• 同时支持捕获型lambda、无捕获lambda、纯C函数、仿函数等所有可被std::function接受的可调用对象
• 不需要业务侧在可调用对象内部加任何埋点逻辑，完全是库层面的封装
• 原有std::function的所有用法、语义都被保留，业务侧几乎不需要修改代码就能替换使用
• 存储的m_target_ptr和m_target_type在TracedFunction实例生命周期内完全稳定，即使是捕获型lambda也能拿到唯一的地址标识，可用于链路追踪、后序调试溯源。

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