std::is_invocable用于编译期可调用性检查，只接受类型而非实参；std::invoke是统一调用执行入口，二者需组合使用以实现安全泛型调用。
std::is_invocable 用来做编译期可调用性检查
它不执行任何调用，只在编译时判断某个可调用对象（比如函数指针、lambda、成员函数指针）能否用给定的参数类型成功调用。这是泛型代码里做 SFINAE 或 requires 约束的基础。
常见错误是传入具体值而非类型：比如写 std::is_invocable<decltype int>(42)</decltype> 是错的——std::is_invocable 是类型特征，只接受类型列表，不接受实参。
- 正确用法是：
std::is_invocable_v<decltype int></decltype>（C++17 起推荐用_v后缀） - 支持重载解析：即使
f是函数对象，有多个operator()，它会检查是否存在至少一个匹配的重载 - 注意 cv 限定和引用折叠：比如
std::is_invocable_v<f int></f>和std::is_invocable_v<f int></f>可能结果不同 - 若想检查“完美转发后是否可调用”，需配合
std::declval模拟右值/左值语义，例如：std::is_invocable_v<f std::declval>()></f>
std::invoke 是统一调用协议的执行入口
它抹平了函数指针、成员函数指针、成员变量指针、普通函数对象之间的语法差异，让泛型代码不用写一堆 if constexpr 分支来处理不同调用形式。
典型误用是试图用 std::invoke 去“探测”是否可调用——它不做检查，调用失败直接导致编译错误（SFINAE 不起作用），和 std::is_invocable 完全不是一回事。
立即学习“C++免费学习笔记（深入）”；
- 对普通函数对象：
std::invoke(f, 1, "hello")等价于f(1, "hello") - 对成员函数指针：
std::invoke(&T::func, obj, arg)等价于obj.func(arg)（自动处理.*/->*） - 对成员变量指针：
std::invoke(&T::data, obj)等价于obj.data（返回引用） - 对指向基类成员的指针，也能正确向下转型调用（只要静态类型兼容）
二者组合使用才能写出健壮的泛型调用器
单独用 std::invoke 风险高，单独用 std::is_invocable 不解决执行问题。真正在泛型容器或策略类中封装调用逻辑时，必须先检后调。
template<typename F, typename... Args>
auto safe_invoke(F&& f, Args&&... args)
-> std::enable_if_t<std::is_invocable_v<F, Args...>,
std::invoke_result_t<F, Args...>> {
return std::invoke(std::forward<F>(f), std::forward<Args>(args)...);
}
这里 std::enable_if_t 依赖 std::is_invocable_v 做约束，而实际执行靠 std::invoke；std::invoke_result_t 也依赖同一组类型判断，保证返回类型推导一致。
- 漏掉
std::is_invocable检查，模板实例化失败时错误信息会非常晦涩（比如卡在std::invoke内部未定义的重载） -
std::is_invocable_r和std::invoke_result_t要求返回类型精确匹配（含 cv 限定），比std::is_invocable更严格，按需选用 - 在 C++20 中，更推荐用
requires std::is_invocable_v<f args...></f>替代std::enable_if，语义更清晰
容易被忽略的细节：void 返回与引用折叠
std::invoke 对 void 函数的处理是安全的，但 std::is_invocable 无法区分“可调用且返回 void”和“根本不可调用”。如果需要确保返回非 void，得用 std::is_invocable_r 显式指定期望返回类型。
另一个坑是引用类型穿透：当参数是 std::reference_wrapper 时，std::invoke 会自动解包，但 std::is_invocable 不会——它的参数类型是原始声明类型，不是运行时绑定后的类型。
- 例如：
std::is_invocable_v<f std::reference_wrapper>></f>判断的是“能否用 refwrap 当参数调用”，不是“能否用它包装的 int 调用” - 若函数签名是
void f(int&)，则std::is_invocable_v<decltype int></decltype>为 true，但std::is_invocable_v<decltype std::reference_wrapper>></decltype>为 false - 这种不一致意味着：泛型代码若接受
std::reference_wrapper，应先用std::unwrap_ref_decay_t规范化类型再检查
