D语言普通模板与模板化类、结构体、函数的区别及适用场景咨询

我当初刚接触D模板的时候也纠结过这个点！你已经熟悉的struct Foo(T)、class Baz(T)或者void func(T)(T val)都是特定类型的模板——它们分别是模板化的结构体、类和函数，本质是给单一实体加上模板参数。而template Bar(T) { }是一种更通用的独立模板，它就像一个"模板化的工具箱"，里面可以装任意模板化的内容：结构体、函数、常量、甚至其他模板，灵活性比特定模板强太多了。

和特定类型模板的核心区别 #

• 内容自由度完全不同：
  特定模板（结构体/类/函数模板）只能对应单一类型的实体——比如结构体模板实例化后只能是结构体，函数模板实例化后只能是函数。但独立模板里可以同时放多个相关的东西：

  template MathUtils(T) {
      // 模板化函数
      T square(T val) { return val * val; }
      T cube(T val) { return val * val * val; }
      // 编译时常量
      enum isIntegral = is(T == int) || is(T == long);
      // 甚至可以放模板化结构体
      struct Range { /* 针对T的范围逻辑 */ }
  }
  

  使用的时候，你需要先实例化这个模板，再访问里面的成员，比如MathUtils!int.square(5)或者MathUtils!long.isIntegral。

• 实例化后的结果不同：
  特定模板实例化后直接得到可用的实体——Foo!int就是一个可以直接用的结构体类型，func!int就是一个可调用的函数。而独立模板实例化后得到的是一个命名空间，你得从中挑出需要的成员来用。

• 代码组织粒度不同：
  独立模板可以把一组针对同一种模板参数的功能打包在一起，不用分散定义多个独立的函数/结构体模板，代码结构更清晰，也方便用户一次性引用。

什么时候该用独立模板？ #

• 打包相关模板化工具：当你有一组针对同类型参数的功能（比如上面的数学工具、容器辅助函数），把它们塞进一个独立模板里，比零散定义多个模板更整洁，也方便其他开发者统一导入使用。

• 实现模板元编程逻辑：在D的编译时元编程中，独立模板常用于封装类型计算、编译时判断这类逻辑。比如：

  template CommonType(T, U) {
      alias Type = typeof(T.init + U.init);
  }
  // 使用时直接取类型：CommonType!int!float.Type 就是float
  

  这种场景下，用独立模板封装结果比写一个空结构体模板挂别名要轻便得多。

• 作为Mixin的代码源：D的mixin可以把模板里的内容直接注入到当前作用域，独立模板非常适合做这种可复用的代码片段容器：

  template Printable(T) {
      void print() { import std.stdio; writeln("Value: ", this); }
  }
  
  struct MyStruct {
      int x;
      mixin Printable!MyStruct; // 把print方法直接混入结构体
  }
  

  这样你可以把通用的方法逻辑放在独立模板里，随时混入到不同的结构体、类中。

• 避免重复模板参数：如果多个函数、结构体都需要相同的模板参数，把它们放在一个独立模板里，只需要写一次参数列表，不用每个实体都重复声明：

  template ListHelpers(T) {
      struct Iterator { /* 针对T的迭代器逻辑 */ }
      bool isEmpty(const ref List!(T) list) { return list.length == 0; }
  }
  

  这里Iterator和isEmpty共享T参数，不用分别写成struct Iterator(T)和bool isEmpty(T)(...)，减少了重复代码。

简单总结一下：特定模板是"模板化的单个实体"，独立模板是"模板化的一组实体/逻辑"。当你需要封装多个相关模板内容、做编译时元编程，或者需要复用可混入的代码片段时，独立模板就是更合适的选择。

内容的提问来源于stack exchange，提问作者blipman17