自定义std::function包装类callback调用编译错误的原因与修复咨询

需求与问题场景 #

需要实现一个继承自std::function的callback包装类，满足两个核心要求：

1. 删除operator bool，避免隐式布尔转换
2. 当内部包装的std::function为空时，调用operator()不执行任何逻辑

第一种实现（编译错误） #

template <class... Arguments>
struct callback : std::function<void(Arguments...)>
{
    using base_t = std::function<void(Arguments...)>;

    using base_t::base_t;

    template <class... Args>
    void operator()(Args&&... args) const
    {
        if (!static_cast<bool>(static_cast<base_t>(*this)))
            return;
        base_t::operator()(std::forward<Args>(args)...);
    }
    
    operator bool() const = delete;
};

在调用f({})时出现编译错误：

<source>:22:6: error: no match for call to '(callback<int>) (<brace-enclosed initializer list>)'
   22 |     f({});

第二种实现（编译通过但不符合需求） #

template <class... Arguments>
struct callback : std::function<void(Arguments...)>
{
    using base_t = std::function<void(Arguments...)>;

    using base_t::operator();
    operator bool() const = delete;
};

该实现能编译通过，但没有实现空状态下operator()不执行的逻辑，不符合需求。

两种实现的核心差异 #

1. 第一种实现：自定义了模板化的operator()，完全覆盖了基类的非模板operator()。模板参数推导无法处理无类型的初始化列表{}，因为编译器无法从初始化列表推导出Args的具体类型，导致找不到匹配的调用重载。
2. 第二种实现：通过using base_t::operator();直接继承了基类的非模板operator()，该重载的参数是固定的Arguments...，可以接受初始化列表的隐式类型转换，因此能编译通过，但缺少空状态判断逻辑。

符合需求的修复方案 #

方案1：匹配基类签名的非模板operator() #

直接定义与基类operator()签名一致的成员函数，既保留空状态判断，又支持初始化列表的隐式转换：

template <class... Arguments>
struct callback : std::function<void(Arguments...)>
{
    using base_t = std::function<void(Arguments...)>;

    using base_t::base_t;

    void operator()(Arguments... args) const
    {
        // 直接转换为基类引用判断空状态，避免拷贝
        if (static_cast<const base_t&>(*this))
        {
            base_t::operator()(std::forward<Arguments>(args)...);
        }
    }
    
    operator bool() const = delete;
};

方案2：带约束的模板operator()（C++20及以上） #

如果需要保留完美转发的灵活性，可使用C++20的概念约束，确保模板参数Args能被基类的operator()接受，同时解决初始化列表的推导问题：

#include <concepts>

template <class... Arguments>
struct callback : std::function<void(Arguments...)>
{
    using base_t = std::function<void(Arguments...)>;

    using base_t::base_t;

    template <class... Args>
    requires std::invocable<const base_t&, Args&&...>
    void operator()(Args&&... args) const
    {
        if (static_cast<const base_t&>(*this))
        {
            base_t::operator()(std::forward<Args>(args)...);
        }
    }
    
    operator bool() const = delete;
};

这两种方案都能正确处理f({})的调用，同时在空状态下调用operator()不会执行任何逻辑，且删除了operator bool避免隐式转换。

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