类型萃取技术：函数签名当模板参数
💡
原文中文，约1700字，阅读约需4分钟。
📝
内容提要
本文介绍了C++中的函数签名和类型萃取技术。函数签名是去掉名称后的函数声明，指导编译器生成汇编指令。通过模板偏特化，C++能够将函数签名拆分为返回值和参数类型，实现类型萃取，从而使模板类根据函数签名生成相应的操作符。
🎯
关键要点
- 函数签名是去掉名称后的函数声明，指导编译器生成汇编指令。
- 函数签名的形式为 R(args...)，而函数指针的类型为 R(*)(args...)。
- std::function 的模板参数可以将函数签名视为一个类型。
- 类型萃取是通过模板偏特化技术实现的。
- 模板偏特化允许将函数签名拆分为返回值和参数类型，从而实现类型萃取。
❓
延伸问答
什么是函数签名？
函数签名是去掉名称后的函数声明，指导编译器生成汇编指令。
如何在C++中使用std::function处理函数签名？
可以将函数签名视为一个类型，使用template<typename Signature> class function;来定义。
什么是类型萃取？
类型萃取是通过模板偏特化技术，将函数签名拆分为返回值和参数类型的过程。
模板偏特化在类型萃取中起什么作用？
模板偏特化允许将函数签名拆分为返回值和参数类型，从而实现类型萃取。
函数指针的类型是什么？
函数指针的类型为 R(*)(args...)，其中R是返回值类型，args是参数类型。
如何定义一个函数指针？
可以用 int (*p)(int, int) 定义一个函数指针 p，指向具有 int(int, int) 签名的函数。
➡️
