d的is表达式

考虑普通局部变量:

int foo = 0;
1

可分析为:

Type_Name Local_Name Operator Initial_Value
1

考虑is表达式:

is(typeof(func) Params == __parameters)
1

这样:

is(Type_Name Local_Name Deconstruction_Pattern)
//后2都是可选的.
1
2

详细语法在此

文档中还有其他,class等,大多很简单,可初化标识符为其他.看起来,is(A B == C)像B与C在比较,但这是在声明变量.
== C整个为析构模式,B为变量.类型整 a=10.

is(MyClass Parents == super)
1

==super,其为基类.因此把==当作匹配析构模式.更有意义.

static if(is(int[10] == T[N], T, size_t N))
1

只是,扩展了析构模式.==精确比较,T[N]为声明模型.问题是多数时候编译器不会告诉你模式格式不正确,只是不匹配.因而通过静态断言等来测试.
这样用,可选复杂名:

static if(is(int[10] OriginalType == T[N], T, size_t N))
1

知道如何分解的时候,就容易搞懂了.