D 编程 - 模板

模板是泛型编程的基础，泛型编程是指编写独立于任何特定类型的代码。

模板是创建泛型类或函数的蓝图或公式。

模板允许将代码描述为模式，编译器会自动生成程序代码。部分源代码可以留给编译器填充，直到该部分实际用于程序中。编译器会填充缺失的部分。

函数模板

将函数定义为模板意味着将它使用的一个或多个类型留为空白，以便编译器稍后推断。这些未指定的类型在模板参数列表中定义，该列表位于函数名称和函数参数列表之间。因此，函数模板有两个参数列表：

• 模板参数列表
• 函数参数列表

import std.stdio; 
 
void print(T)(T value) { 
   writefln("%s", value); 
}
  
void main() { 
   print(42);  
   
   print(1.2);
   
   print("test"); 
}

如果我们编译并运行上面的代码，将会产生以下结果：

42 
1.2 
test 

具有多个类型参数的函数模板

可以有多个参数类型。以下示例中展示了这一点。

import std.stdio;
  
void print(T1, T2)(T1 value1, T2 value2) { 
   writefln(" %s %s", value1, value2); 
}

void main() { 
   print(42, "Test");  
   
   print(1.2, 33); 
}

如果我们编译并运行上面的代码，将会产生以下结果：

 42 Test 
 1.2 33

类模板

就像我们可以定义函数模板一样，我们也可以定义类模板。以下示例定义了类 Stack 并实现了泛型方法来压入和弹出堆栈中的元素。

import std.stdio; 
import std.string; 
 
class Stack(T) { 
   private: 
      T[] elements;  
   public:  
      void push(T element) { 
         elements ~= element; 
      }
      void pop() { 
         --elements.length; 
      } 
      T top() const @property { 
         return elements[$ - 1]; 
      }
      size_t length() const @property { 
         return elements.length; 
      } 
}
  
void main() { 
   auto stack = new Stack!string;
   
   stack.push("Test1"); 
   stack.push("Test2");  
   
   writeln(stack.top); 
   writeln(stack.length); 
   
   stack.pop; 
   writeln(stack.top); 
   writeln(stack.length); 
} 

当编译并执行上述代码时，会产生以下结果：

Test2 
2 
Test1 
1