C++ 泛型编程/模板 泛函编程/Lambda/λ演算
1、泛型编程(C++模板)
其中,Ada, Delpha, Java, C#, Swift 称之为 泛型/generics
; ML, Scala和 Haskell 称之为 参数多态/parametric polymorphism
; C++和D语言称之为 模板/template
. 《设计模式/Design Patterns》称之为 参数化类型/parameterized type
. 因为在这里,参数的类型在一般情况下都是未知的,而泛型编程可以支持多种类型,所以叫泛/generic
。
①函数模板/Function Template:定义一个函数模板,可以支持多种类型的参数
The format for declaring function templates with type parameters is:
template <class identifier> function_declaration;
template <typename identifier> function_declaration;
比如, the C++ Standard Library contains the function template max(x, y)
which returns the larger of x and y. That function template could be defined like this:
template <typename T>
inline T max(T a, T b) {
return a > b ? a : b;
}
当我们调用这个 Template Function
的时候,只要max(x1, x2)就可以了,编译器会自动选择对应的typename。
函数模板/模板函数/Function template
可以 重载/overload
,也就是说还可以定义与 函数模板
同名的函数。
例如:
#include <iostream>
#include <algorithm>
template <typename T>
inline T max(T a, T b) {
return a > b ? a : b;
}
// 模板函数 重定义/overload/重载
int max(int a, int b)
{
return a>b ? a : b;
}
int main()
{
std::cout << max(3,7) << std::endl;
std::cout << max(3.0, 7.0) << std::endl;
std::cout << max(3, 7.0) << std::endl;// 调用 重载/overloaded 的函数
std::cout << max<double>(3, 7.0) << std::endl;
return 0;
}
REFER: Function templates
②类模板/Class Template
REFER: Class Template
2、泛函编程/函数式编程/Functional Programming
其,将电脑运算比作 数学 上的函数计算,并且避免使用程序状态以及易变物件。在 Functional Pgramming 中,最重要的基础是 λ演算/lambda calculus。
纯粹的函数式编程语言: Haskell,Miranda,Concurrent Clean。
非纯函数式编程语言:F#, Scala, Erlang, LISP, Mathematicar。