C/C++ 知识点：result_of 模版类

前言：

C++中的result_of是一个模板类，用于在编译时推断函数调用或函数对象的返回类型。它位于<type_traits>头文件中，是C++标准库中的一部分。result_of的主要用途是在编写泛型代码时，当需要知道某个函数或函数对象在给定参数类型的返回类型时，可以使用result_of来获取该信息。

一、result_of 模版类

1、基本语法

std::result_of 是一个模板类，它接受一个函数类型（或可调用对象的类型）和一个参数类型包作为模板参数。它的 ::type 成员是一个类型别名，表示当给定类型的函数用给定类型的参数调用时将返回的类型。下面是一个简单的例子来说明 std::result_of 的用法：

#include <iostream>
#include <type_traits>

int add(int a, int b) {
    return a + b;
}

int main() {
    // 使用result_of获取add函数的返回类型
    typedef std::result_of<decltype(add)(int, int)>::type ReturnType;

    // 检查ReturnType是否为int
    static_assert(std::is_same<ReturnType, int>::value, "ReturnType should be int");

    // 使用result_of获取的返回类型创建一个变量
    ReturnType result = add(3, 4);

    std::cout << "The result is: " << result << std::endl;
    return 0;
}

需要注意的是，从C++17开始，result_of已被std::invoke_result所取代，后者提供了更多的功能和更好的可读性。因此，在编写新的C++代码时，建议使用std::invoke_result而不是result_of。