如何实现带签名检查的std::function赋值运算符？

一、_Enable_If_callable_t的SFINAE原理 #

MSVC实现中_Enable_If_callable_t是基于SFINAE（Substitution Failure Is Not An Error）机制的编译期条件判断工具，核心作用是仅当传入的可调用对象与当前std::function的目标签名匹配时，才生成对应的operator=重载。

1. SFINAE基础逻辑 #

当编译器实例化模板函数（比如operator=）时，如果模板参数替换过程中出现无效的类型/表达式，编译器不会直接报错，而是跳过该重载，继续尝试其他可行的重载。如果最终没有找到匹配的重载，才会抛出编译错误——这就是STL版本能提前提示赋值错误的核心原因。

2. _Enable_If_callable_t的具体作用 #

_Enable_If_callable_t本质是对std::enable_if的封装，它会在编译期检查两个关键条件：

• 传入的_Func能否被std::function的目标参数列表（比如Args...）调用；
• _Func的返回值能否隐式转换为std::function的目标返回值（比如Ret）。

只有这两个条件同时满足时，_Enable_If_callable_t才会被解析为一个有效类型（通常是void），使得对应的operator=重载被编译器实例化。如果条件不满足，模板参数替换失败，该重载被直接排除，编译器因找不到合适的赋值运算符而报错。

二、自制版本实现该特性的可行性 #

完全可以实现，核心是在自制function的operator=模板中加入编译期可调用性检查，以下是具体步骤和示例：

1. 确定自制function的基础结构 #

先通过模板特化明确function的目标签名：

#include <type_traits>
#include <utility>

// 主模板
template<typename Signature>
class function;

// 特化版本，明确返回值Ret和参数列表Args...
template<typename Ret, typename... Args>
class function<Ret(Args...)> {
public:
    // 存储可调用对象的内部逻辑（比如用占位符/类型擦除实现）
    // ...

    // 带SFINAE检查的赋值运算符
    template<typename _Fx>
    typename std::enable_if_t<
        std::is_invocable_r_v<Ret, _Fx, Args...>,
        function&
    > operator=(_Fx&& _Func) {
        // 这里实现你的赋值逻辑，比如将_Func存储到内部容器
        // 例如：this->impl = std::make_unique<impl_type<_Fx>>(std::forward<_Fx>(_Func));
        return *this;
    }
};

2. 关键检查逻辑说明 #

• std::is_invocable_r_v<Ret, _Fx, Args...>是C++17引入的编译期检查工具，直接判断：用Args...类型的参数调用_Fx，返回值能否转换为Ret。
• 如果你的编译器不支持C++17，可以用std::void_t和std::is_convertible手动实现检查：

// 自定义可调用性检查模板
template<typename _Fx, typename Ret, typename... Args, typename = void>
struct is_callable_for : std::false_type {};

template<typename _Fx, typename Ret, typename... Args>
struct is_callable_for<_Fx, Ret, Args..., std::void_t<decltype(std::declval<_Fx>()(std::declval<Args>()...))>> :
    std::is_convertible<decltype(std::declval<_Fx>()(std::declval<Args>()...)), Ret> {};

// 替换operator=中的条件
template<typename _Fx>
typename std::enable_if<is_callable_for<_Fx, Ret, Args...>::value, function&>::type
operator=(_Fx&& _Func) {
    // 赋值逻辑
    return *this;
}

3. 效果验证 #

当你尝试赋值签名不匹配的可调用对象时：

function<void(int)> f;
// 错误：lambda无参数，无法匹配void(int)的签名，operator=重载被排除，编译器报错
f = [](){};

此时编译器会因找不到合适的operator=而抛出错误，和STL版本的行为一致。

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