変更ログ 2.062

Bugzilla 6408を修正した結果、typeof() の使用法とインデックス付けに、ユーザーコードの変更が必要になる可能性がある:

template ElementTypeOf(T)
{
    alias typeof(T[0]) ElementTypeOf;
}

void main()
{
    // バグにより2.061で動作していた
    static assert(is(ElementTypeOf!(int[]) == int));
}

typeof(T[0]) の式はT の要素型として誤って解釈されていたが、v2.062では長さ0の要素T の静的配列として解釈される。これを回避するには、標準ライブラリのtraitを使用するか、任意の式の型の.init プロパティを使用する:

import std.range;

template ElementTypeOf(T)
{
    // T.initを使用
    alias typeof(T.init[0]) ElementTypeOf;
}

void main()
{
    // std.range.ElementTypeを使用
    static assert(is(ElementType!(int[]) == int));

    // コードを修正した後、カスタムテンプレートを使用
    static assert(is(ElementTypeOf!(int[]) == int));
}

新しく導入された"alias foo = int"構文は、サブタイピングでは使用できない。 構文は使用できない。これは、スーパーコンストラクタのエイリアシングを可能にする将来の構文による混乱を防ぐためである。今のところ、既存のalias 構文を使うことができる:

struct S
{
    int x;
    // alias this = x;  // エラー
    alias x this;
}

今後のリリース(v2.063)では、新しい構文が導入される予定である:

struct S
{
    int x;
    alias this : x;  // 次期2.063の新機能
}