d的数组打败了C++的点点点

原文,你看:

void test()
{
    auto a = [1, 2, 3];
    int[3] b = a[]*a[]; // b[0] = a[0]*a[0]; b[1] = a[1]*a[1]; b[2] = a[2]*a[2];
    int[3] c = a[]*2; // c[0] = a[0]*2; c[1] = a[1]*2; c[2] = a[2]*2;
}

D元组已经有了数组语法了,可索引,可切片.不用...,我们有数组语法.

(Tup*10)...  -->  ( Tup[0]*10, Tup[1]*10, ... , Tup[$-1]*10 )
//对比
Tup*10
//--------
alias Tup = AliasSeq!(1, 2, 3);
int[] myArr;
assert([ myArr[Tup + 1]... ] == [ myArr[Tup[0] + 1], myArr[Tup[1] + 1], myArr[Tup[2] + 1] ]);

//---对比数组
alias Tup = AliasSeq!(1, 2, 3);
int[] myArr;
assert([myArr[Tup+1]]==[myArr[Tup[0]+1],myArr[Tup[1]+1],myArr[Tup[2]+1]]);
//--------
alias Values = AliasSeq!(1, 2, 3);
alias Types = AliasSeq!(int, short, float);
pragma(msg, cast(Types)Values...);

//---对比
alias Values = AliasSeq!(1, 2, 3);
alias Types = AliasSeq!(int, short, float);
pragma(msg, cast(Types)Values);
//--------
alias OnlyTwo = AliasSeq!(10, 20);
pragma(msg, (Values + OnlyTwo)...);
//---对比Array
alias OnlyTwo = AliasSeq!(10, 20);
pragma(msg, Values + OnlyTwo);

理念就是,如果我们有t op c,t为元组,c不是元组.则结果是:

tuple(t[0] op c, t[1] op c, ..., t[length - 1] op c)

对t1 op t2,两个都是元组,则结果是:

tuple(t1[0] op t2[0], t1[1] op t2[1], ..., t1[length - 1] op t2[length - 1])

不需要遍历AST,只需按通常自下而上语义处理,即可.优点是:

序号	优点
1	无新语法
2	无新运算符优先规则
3	转换当前为错误的式为显而易见的事情

为什么C++使用...而不是数组语法?因为C++没有数组!