qiezi的学习园地

AS/C/C++/D/Java/JS/Python/Ruby

  C++博客 :: 首页 :: 新随笔 ::  ::  :: 管理 ::
这个版本实现了计划已久的数组直接量。

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;
= 1.m;
Time t = Time.now;
TimeInterval i 
= 3.hours;

免去了一些初始化的麻烦。
posted on 2006-09-19 20:16 qiezi 阅读(458) 评论(2)  编辑 收藏 引用 所属分类: D