[D语言] DMD 0.167发布

这个版本实现了计划已久的数组直接量。

<!---->import std.stdio;

void main(){
  {
    static int[] arr = [1,2,3,4,5];
    writefln(typeid(typeof(arr[0])));
    writefln(arr);
  }
  {
    static float[] arr = [1f,1,3,4,5];
    writefln(typeid(typeof(arr[0])));
    writefln(arr);
  }
  {
    static char[][] arr = ["1","2","3","4","5"];
    writefln(typeid(typeof(arr[0])));
    writefln(arr);
  }
}

数组类型由第1个元素类型决定，类型不匹配将会产生编译错误。

接着是多维数组：

<!---->import std.stdio;

void main(){
  static int[][] arr = [[1,2,3,4], [4,5,6], [7,8]];
  foreach(int[] sub; arr){
    foreach(int i; sub){
      writefln(i);
    }
  }
}

另一个特性是更强的typedef。原有的typedef强类型在某些情况下会产生混乱。

下面的代码摘自 http://www.digitalmars.com/pnews/read.php?server=news.digitalmars.com&group=digitalmars.D.bugs&artnum=3843

<!---->import std.stdio;

typedef int Int1;
typedef int Int2;

void show(Int1 v) {
     writefln("Int1: %d", v);
}

void show(Int2 v) {
     writefln("Int2: %d", v);
}

void show(int i) {
     writefln("int: %d", i);
}

void show(long l) {
     writefln("long: %d", l);
}

void main() {
     Int1 value1 = 42;
     Int2 value2 = 69;

     show(value1 + value2);
     show(value2 + value1);
     show(2 * value1);
     show(value1 * 2);
     show(value1 + value1);
     show(value2 - value2);
     show(value1 + 2);
     show(3 + value2);

     long l = 23;
     show(value1 + l);
     show(l + value2);

     short s = 105;
     show(s + value1);
     show(value2 + s);
}

如上面代码所示。typedef定义出来的类型和原有类型的相同形式重载函数可以共存，这可以完成更强类型的重载，C＋＋的重载还不能实现这个。

这个强类型的typedef好像原本就支持，大概是运算结果类型比较模糊。

好处是显页易见的。比如有一个Time和TimeInterval类型，它用来表示绝对时间或相对时间间隔；另有一个输出函数用来显示结果。

<!---->import std.stdio;
import std.string;

typedef long Time;
typedef long TimeInterval;

void output(Time t){
  writefln("Time: " ~ toString(cast(long)t));
}
void output(TimeInterval t){
  writefln("Interval: " ~ toString(cast(long)t));
}
void main(){
  Time time = cast(Time)100;
  TimeInterval interval = cast(TimeInterval)100;
  output(time);
  output(interval);
}

是的，使用上麻烦了很多，因为我们试图用一个数值类型去表示多个矢量类型。

这里Time time = cast(Time)100不再只是100这个简单的数值，它还携带了Time这个类型。TimeInterval interval = cast(TimeInterval)100也不只是100这个数值，我们给它赋予了时间间隔的含义。

还可以想像得更开阔一些，用它定义时间、长度、面积、加速度、速度、温度等，重载一些计算函数（可惜D还不支持全局操作符重载），这样就方便完成一些物理量的运算了，而且类型得到检查，速度加一个整数值结果还是速度，速度乘时间得到的是长度，时间减时间得到的是时间间隔，速度加时间将产生编译错误。。。。。。神奇的是这些类型可能都是一些简单类型，我相信它至少可以保证运行效率不会太低。当然你用C＋＋类也可以完成这些，并且利用编译器优化让它的效率保持最高，甚至内联的结果就是简单类型的运算，我还是更愿意使用这简单的类型来typedef。当然这可能需要写大量重复的函数重载形式，没有关系，我想使用模板和mixin应该可以简化这一过程，而且会有相当多的家伙们愿意使用这种麻烦的形式来获得更“正确”的编译检查。


所以说，D语言的typedef的意义其实就是实现了矢量类型。

---

又多想了一点。

强类型要，语法糖也应该要。是不是可以借鉴一下ruby的语法，实现这种调用呢？

<!---->Length l = 1.cm;
l = 1.m;
Time t = Time.now;
TimeInterval i = 3.hours;

免去了一些初始化的麻烦。