1、函数模板(template)
当需要定义多个具有相同函数名的函数时，需要进行函数重载(overload)。函数重载的条件是这些函数的形参列表各不相同。事实上，所有函数都有签名，函数的签名由函数名称和形参列表确定，程序中每个函数都必须有唯一的签名。同理，不同的返回值类型不足以区别函数。
当多个函数重载时，仅仅因为变量和形参类型不同，而算法和流程一致，为避免对每个函数重复编写本质上相同的代码，可以采用函数模板。如下：
template<typename T>
T Max(T x[], int len){
T result = x[0];
for(int i = 1; i<len; i++)
if(result < x[i]) result = x[i];
return result;
}
调用时如下：
int iValus[] = {1,2,3,4};
double dValues[] = {0.1,0.2,0.3,0.4};
int iMax = Max(iValues, 4);
double dMax = Max(dValues, 4);
编译器会自动识别并生成相应代码。
2、泛型函数(generic)
泛型函数的作用与函数模板相似，但工作原理上有很大不同：使用函数模板时，编译器根据模板生成需要的函数的源代码，然后与其他代码一起编译，在某些情况下，将导致许多函数的产生，从而使执行模块的体积增大。而泛型函数本身将被编译器编译，当调用某个与泛型函数说明匹配的函数时，实际类型将在运行时替代类型形参，这样一来没有额外代码在编译时生成。泛型函数的定义与函数模板类似，如下：
generic<typename T> where T:IComparable
T Max(array<T>^ x){
T result = x[0];
for(int i= 1;i< x->Length; i++)
if(result->CompareTo(x[i]) < 0) result= x[i];
return result;
}
关键字where后面内容，是对在使用泛型函数时，用于替代T的实际类型的约束条件，在此处表示该类型必需实现IComparable接口。
3、内联函数(inline)
当函数定义为内联函数时，编辑器将设法以函数体代码替代函数调用，所以内联函数最适合用于非常短小的、频繁调用的简单函数，如循环体内的简单函数调用等。通过内联函数可以避免调用函数时的系统开销，从而加速代码运行。如：
inline double Multiplication(double dA, double dB) { return dA * dB};
double dM = 0;
int i;
for (i=0;i<10000;i++){
dM += Multiplication(PI, i / 0.123 ); //循环内的简单运算
}