D语言的is表达式

is关键字有2种用法，可以当作===来用（===和!==操作符已经废弃了），它是全等判断，相当于java里的==，而==则和java里的equals同义。值类型（包括简单类型、结构）的全等判断和等于判断是相同的，类对象的全等判断是判断对象指针，等于判断则是调用opEquals。

测试一下：

[code]
import std.stdio;

class Test{
public:
bool opEquals(Test other){
return true;
}
}

struct Foo{
int a = 0;
}

void outputEquals(T1, T2)(T1 v1, T2 v2){
if (v1 == v2){
writefln("equal");
}else{
writefln("not equal");
}
}

void outputIs(T1, T2)(T1 v1, T2 v2){
if (v1 is v2){
writefln("is");
}else{
writefln("is not");
}
}

void main(){
auto a = new Test;
auto b = new Test;
Foo fooa;
Foo foob;
outputEquals(1, 1);
outputIs(1, 1);
outputEquals(a, b);
outputIs(a, b);
outputEquals(fooa, foob);
outputIs(fooa, foob);
foob.a = 1;
outputEquals(fooa, foob);
outputIs(fooa, foob);
}
[/code]

is的另一个用法是is表达式，它在编译期执行，主要用来作类型判断。编译期的值相等判断用==操作符，当然要求这些值是简单值类型。is表达式作类型萃取时比较方便，在C＋＋判断一个类型是否是一个函数实现起来很困难，在D中用is判断就好了。

详见：
[url]http://www.digitalmars.com/d/expression.html#IsExpression[/url]

DMD 0.174中实现了type traits，其中ReturnType是这样实现的：
[code]
template ReturnType(alias dg)
{
alias ReturnType!(typeof(dg)) ReturnType;
}

template ReturnType(dg)
{
static if (is(dg R == return))
alias R ReturnType;
else
static assert(0, "argument has no return type");
}
[/code]
这2个模板必须按这个顺序，前一个模板提取类型，后一个模板则析取类型。

这个is(dg R == return))看起来很别扭，它是判断dg这个类型是不是函数类型、函数指针类型或委托类型，如果匹配了这几个类型，则把返回值类型赋给R，否则R是未定义的。