D语言的is表达式

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

测试一下：

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);
}

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

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

DMD 0.174中实现了type traits，其中ReturnType是这样实现的：

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");
}

这2个模板必须按这个顺序，前一个模板提取类型，后一个模板则析取类型。

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