std::result_of 从 C++17 起被弃用，C++20 中移除；应改用 std::invoke_result，它基于 std::invoke 语义、SFINAE 友好、支持重载和模板函数。
std::result_of 在 C++17 被弃用，别再用了
直接说结论：std::result_of 从 C++17 开始是 deprecated 的，C++20 彻底移除。如果你在编译器（如 GCC 9+、Clang 7+）上启用 -std=c++17 或更高标准，用 std::result_of 会触发警告甚至错误。根本原因是它依赖不稳定的“可调用类型 + 参数类型”的偏特化推导逻辑，对重载函数、模板函数、成员指针等支持脆弱，且语法反直觉（比如要写 std::result_of<f></f> 这种带引用和括号的怪异形式）。
替代方案只有 std::invoke_result —— 它是 C++17 引入的、基于 std::invoke 行为定义的标准化推导机制，语义清晰、SFINAE 友好、支持所有合法调用场景。
std::invoke_result 的正确写法和常见错误
std::invoke_result 是一个类模板，必须传入**可调用对象类型**和**参数类型列表**（不是值，是类型），返回一个嵌套的 ::type 成员（或 C++20 起可用 std::invoke_result_t 别名）。
常见错误包括：
立即学习“C++免费学习笔记（深入）”；
- 传了值而不是类型：错写成
std::invoke_result<decltype></decltype>（42是值，不是类型）→ 正确应为std::invoke_result<decltype int></decltype> - 忽略 cv/ref 限定：对
const成员函数，参数类型中类类型需带const，例如std::invoke_result<decltype const myclass></decltype> - 忘记括号：成员函数指针必须配合对象类型一起传，不能只传
&MyClass::f→ 必须是std::invoke_result<decltype myclass int></decltype>
示例：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
struct S { int f(double) const; };
auto lambda = [](int x) { return x * 2; };
<p>using t1 = std::invoke_result_t<decltype(&S::f), const S&, double>; // int
using t2 = std::invoke_result_t<decltype(lambda), int>; // int
using t3 = std::invoke_result_t<int(*)(char), char>; // int
为什么 std::invoke_result 能处理重载和模板函数
因为它的推导完全基于 std::invoke 的语义规则：先尝试用给定参数类型调用该可调用对象，若能形成合法表达式，则结果类型就是 decltype(std::invoke(declval<callable>(), declval<args>()...))</args></callable>；否则推导失败（SFINAE）。这使得它天然兼容重载集（只要参数类型能唯一匹配某个重载）、函数模板（依赖实参推导）、以及 std::bind 返回对象等。
对比之下，std::result_of 曾试图用模板偏特化硬编码各种情况，但无法覆盖所有语言特性演进（比如 C++14 泛型 lambda 的 operator() 是模板，std::result_of 很难可靠推导）。
注意：如果 Callable 是重载函数名（如 std::begin），必须先用 static_cast 或 lambda 消除歧义，否则类型不明确：
// 错误：std::begin 是重载集，decltype(std::begin) 不是类型
// using bad = std::invoke_result_t<decltype(std::begin), std::vector<int>&>;
<p>// 正确：显式指定签名
using good = std::invoke_result_t<decltype([](std::vector<int>& v) -> auto { return std::begin(v); }), std::vector<int>&>;
实际项目中容易被忽略的细节
推导结果类型可能受调用约定、返回类型修饰影响：
- 若被调用函数返回
void，std::invoke_result_t就是void，不是未定义 - 返回引用时，
std::invoke_result保留引用性（如返回int&，推导结果就是int&），这点和decltype一致 - 在模板中使用时，务必用
typename std::invoke_result<...>::type</...>或更简洁的std::invoke_result_t<...></...>，避免漏掉typename导致编译失败 - MSVC 早期版本（如 VS2017 15.3 前）对
std::invoke_result的 SFINAE 支持有 bug，遇到推导失败不静默而是报错，升级工具链可规避
最常踩的坑其实是把 “调用表达式” 和 “调用类型” 混淆——记住：你永远是在问“如果我用这些类型去调用它，结果是什么类型”，而不是“这个函数声明里写了什么返回类型”。后者是静态的，前者才是 std::invoke_result 真正解决的问题。
