D 允许定义类似于 C++/Java 的模板函数，这是一种定义generic 泛型函数或对象的方式，用于编译函数体内的任何类型。
auto add(T)(T lhs, T rhs) {
return lhs + rhs;
}
模板参数 T 在实际函数参数前面的一组圆括号内。 T 是一个占位符，在使用 ! 操作实际实例化函数后被编译器替换：
add!int(5, 10);
add!float(5.0f, 10.0f);
add!Animal(dog, cat); // 编译失败，因为 Animal 没有实现 + 操作
模板函数有两个参数集 - 一个用于编译期，一个用于运行时。（非模板函数只能接受运行时参数）。如果调用函数时有一个或者多个编译期参数未指定，编译器会尝试从运行时参数推断这些参数的类型。
int a = 5; int b = 10;
add(a, b); // T 被推断成 `int`
float c = 5.0;
add(a, c); // T 被推断成 `float`
函数可以有任意数量的参数，这些参数在使用时用 func!(T1, T2 ..) 这样的语法。
模板参数可以是任意基本类型，包括 string 字符串和浮点数。
与 Java 中的泛型不同的是 D 中的模板是编译期的，并且生成高度优化的代码以适应调用函数的特定类型。
当然 struct、 class 和 interface 类型也可以定义为模板类型。
struct S(T) {
// ...
}