函数的历史与规范
函数的概念来自早期的数学和逻辑学。到了计算机科学里，它是抽象和组织代码的基本单元，编程语言的发展一直围绕着它。
早期发展
Lambda 演算：由阿隆佐·丘奇（Alonzo Church）在1930年代引入，是一种形式系统，用于定义函数抽象和应用。Lambda 演算对函数式编程语言有深远影响。
Fortran：1957年发布的 Fortran（Formula Translation）是第一个广泛使用的高级编程语言。Fortran 引入了子程序（subroutine）和函数（function）的概念，用于代码的重用和模块化。
ALGOL：1958年发布的 ALGOL（Algorithmic Language）进一步发展了函数的概念，引入了块结构和递归函数。ALGOL 对现代编程语言（如 Pascal、C 语言）的设计产生了深远影响。
LISP：1958年由约翰·麦卡锡（John McCarthy）开发的 LISP（LISt Processing）是最早的函数式编程语言之一，强调函数作为一等公民（first-class citizen），可以作为参数传递和返回。
标准化与规范
标准化由各标准组织和语言设计者推动，几个重要标准和规范：
C 语言标准（ANSI C 和 ISO C）：C 语言的标准化工作由美国国家标准学会（ANSI）和国际标准化组织（ISO）进行，分别发布了 ANSI C（1989年）和 ISO C（1990年）标准，定义了函数的语法和调用约定。
POSIX 标准：POSIX（Portable Operating System Interface）标准定义了 UNIX 操作系统接口，包括标准库函数的规范和调用惯例。
IEEE 标准：IEEE 754 标准定义了浮点数运算及其在函数中的使用。
编程语言的 ISO 标准：例如 ISO/IEC 14882（C++ 标准）、ISO/IEC 9899（C 标准）、ISO/IEC 9126（软件质量模型），这些标准定义了语言的语法、语义和库函数的行为。
函数调用惯例（Calling Conventions）
函数调用惯例规定了调用时参数怎么传、返回值怎么带、调用方和被调用方怎么配合。语言、编译器、平台不同，惯例也不同，常见的有：
cdecl（C Declaration）：
- 参数从右到左推入堆栈。
- 调用者负责清理堆栈。
- 返回值通过寄存器（通常是
EAX或RAX）返回。
stdcall（Standard Call）：
- 参数从右到左推入堆栈。
- 被调用者负责清理堆栈。
- 常用于 Windows API 函数。
fastcall（Fast Call）：
- 前两个参数通过寄存器传递，其余参数通过堆栈传递。
- 调用者或被调用者清理堆栈（具体取决于实现）。
thiscall：
- 专用于 C++ 成员函数。
this指针通过寄存器传递，其余参数按照 cdecl 或 stdcall 传递。
vectorcall：
- 参数通过寄存器（包括向量寄存器）传递，以提高性能。
- 调用者或被调用者清理堆栈（具体取决于实现）。
函数的演变与现代特性
函数的形态一直在长，现代语言加上了这些特性：
匿名函数和 Lambda 表达式：
- 许多现代语言（如 C++11、Java 8、Python、JavaScript）引入了匿名函数和 Lambda 表达式，允许在需要时定义和使用简短的函数。
高阶函数：
- 函数可以作为参数传递给其他函数，或从其他函数返回。这在函数式编程中尤为重要，如 Haskell 和 Scala。
闭包：
- 函数可以捕获并记住其定义时的环境变量，即使在环境已超出其作用域后仍然可以访问。这在 JavaScript、Python 和 Go 等语言中非常常见。
协程：
- 协程是一种比传统函数更高级的控制流机制，允许函数在执行过程中暂停并恢复。Python、Lua 和 Kotlin 都支持协程。
泛型函数：
- 允许函数定义中使用类型参数，使函数能够处理多种数据类型。例如，C++ 的模板函数和 Java 的泛型方法。
示例：现代 C++ 中的 Lambda 表达式和高阶函数
#include <iostream>
#include <vector>
#include <algorithm>
int main() {
std::vector<int> numbers = {1, 2, 3, 4, 5};
// 使用 Lambda 表达式定义匿名函数
auto square = [](int x) { return x * x; };
// 使用高阶函数 std::transform 应用 Lambda 表达式
std::transform(numbers.begin(), numbers.end(), numbers.begin(), square);
// 输出结果
for (const auto& num : numbers) {
std::cout << num << " ";
}
std::cout << std::endl;
return 0;
}这个示例展示了如何在 C++ 中使用 Lambda 表达式和高阶函数，通过 std::transform 函数将匿名函数应用于向量中的每个元素。
从 1930 年代的 Lambda 演算，到 Fortran 的子程序、LISP 的一等函数，再到今天的闭包和泛型函数，函数一路长成了现在这样。ANSI C、POSIX 这些标准则把调用方式和库函数行为固定下来，跨平台、跨语言的代码才对得上。