変更履歴 2.099.0

以前は、return がref に適用されることがあった。 混乱を招くことがある。return scope が隣接し、その順番で表示されない場合、 に適用される。return はref に適用される。

関数内で使用された場合、この特性はその関数のパラメータのタプルを返す。 例えばその関数のパラメータのタプルが得られる:

int echoPlusOne(int x)
{
    __traits(parameters)[0] += 1;
    return x;
}

これは、関数のパラメータを単純に転送する(別の関数の引数になる)ために使用できる、 事実上、可変長引数関数と通常の関数を統一することができる。 つまり、次のようなパターンが可変長なしで可能になる:

int add(int x, int y)
{
    return x + y;
}

auto forwardToAdd(Pack...)(Pack xy)
{
    return add(xy);
}

になるだろう。

int add(int x, int y)
{
    return x + y;
}

auto forwardToAdd(int x, int y)
{
    return add(__traits(parameters));
}

ネストされた関数やラムダの内部で使用された場合、トレイトはそのネストされた関数やラムダの引数を取得する。 を取得し、その中に含まれる引数は取得しない。

例えば、以下のような主張が成り立つ:

int testNested(int x)
{
    static assert(typeof(__traits(parameters)).length == 1);
    int add(int x, int y)
    {
        static assert(typeof(__traits(parameters)).length == 2);
        return x + y;
    }
    return add(x + 2, x + 3);
}

オーバーロードされたopApply を使ってforeach の内部で使われた場合、トレイトはforeach関数ではなくデリゲートにパラメータを渡す。 デリゲートへのパラメータを生成し、foreachが内包する関数は生成しない。

class Tree {
    int opApply(int delegate(size_t, Tree) dg) {
        if (dg(0, this)) return 1;
        return 0;
    }
}
void useOpApply(Tree top, int x)
{
    foreach(idx; 0..5)
    {
        static assert(is(typeof(__traits(parameters)) == AliasSeq!(Tree, int)));
    }
    foreach(idx, elem; top)
    {
        static assert(is(typeof(__traits(parameters)) == AliasSeq!(size_t, Tree)));
    }
}

ImportCは、__importキーワードを使って、Cコードでモジュールをインポートできるようになった:

__import core.stdc.stdarg; // Dのソースファイルをインポートする
__import test2;            // ImportCファイルをインポートする

int foo() { va_list x; 1 + Aを返す; }

test2.cである:

enum E { A = 3 };

キーワードの後の__import の構文は、Dのimport 宣言と同じである。

このリリース以前は、同じ型の組み込みシーケンス間のキャストは認められていなかった。

このリリースから、同じ長さのシーケンス間のキャストは、キャストされたシーケンスの基礎となる型がターゲット・シーケンスの型に暗黙のうちに変換可能である場合に受け入れられる。

alias Seq(T...) = T;

void foo()
{
    Seq!(int, int) seq;

    auto foo = cast(long) seq;
    pragma(msg, typeof(foo)); // (int, int)

    auto bar = cast(Seq!(long, int)) seq; // 許可
    pragma(msg, typeof(bar)); // (long, int)
}

新しい-vasmコンパイラー・スイッチは、生成されたアセンブラー・コードをコンソールに出力する。 コードをコンソールに出力する。典型的なディザスエンブラーとは異なり、すべての定型文が省略され、各関数のアセンブラ・コードだけが出力される。 各関数のアセンブラ・コードだけを出力する。例えば次のようになる、 次のコードをコンパイルする:

// test.d
int demo(int x)
{
    return x * x;
}

dmd test.d -c -vasm :

_D4test4demoFiZi:
0000:   89 F8                   mov     EAX,EDI
0002:   0F AF C0                imul    EAX,EAX
0005:   C3                      ret

整数の昇格はCの積分昇格ルールに一貫して従うようになった。 これは、byte,ubyte,short,ushort,char, またはwchar 型のオペランドを持つ単項演算子- および~ に影響する。 演算子が適用される前にオペランドはint に昇格し、結果の型はint になる。

古い動作に戻すには、'-revert=intpromote'スイッチを使うか、単項演算子の結果を明示的に小さい積分型に戻す:

void main()
{
    // 注釈: byte.max = 127, byte.min = -128
    byte b = -128;
    int x = -b; // 新しい動作: x = 128
    int y = cast(byte)(-b); // 古い動作: y = -128
    byte b2 = cast(byte) -b; // キャストが必要になった
}

-m32mscoff スイッチは非推奨であり、代わりに-m32 を使うべきである。 OMF用のコードを生成するための新しいスイッチ-m32omf が追加された。このスイッチ OMFはまもなくサポートされなくなるので、このスイッチの使用は推奨されない。

これは主に、テンプレート内のunittestが、以下の場合にのみインスタンス化されることを意味する。 テンプレートがレキシカルに宣言されているモジュールがルート・モジュールのひとつである場合にのみインスタンス化されるようになった。

例えば、あるプロジェクトを-unittest 。 unittestsを実行しない。

テンプレート内部でunittestを宣言することはアンチパターンとみなされる。ほとんどの場合 ほとんどの場合、ユニテストはテンプレートのパラメータに依存せず、固定引数でテンプレートをインスタンス化する。 固定引数でテンプレートをインスタンス化する(例えば、Nullable!T "unittests インスタンス化するNullable!int など)。 テンプレートのインスタンス化ごとに同じテストをコンパイルして実行することは望ましくない。 しかし、テストされる関数のすぐ下にunittestを追加することは、間違いなく局所性のために良いことである。 そのため、unittestはテンプレート内部で終わってしまう。

テンプレートのunittestを確実に実行するには、同じモジュールでインスタンス化する必要がある。 同じモジュールでインスタンス化されなければならない。

この変更により、 特殊なケースを排除した、よりストレートなテンプレート・エミッション・アルゴリズムへの道が開かれた。 -unittest アルゴリズムに道を開いた。 -allinst 、ルート・モジュールでインスタンス化されたすべてのテンプレートを排出するようになった。 を排出するようになった。

無限ループや常に例外を投げるために)main が返らない場合、 を返すと宣言できるようになった。 noreturnを返すと宣言できるようになった。 https://dlang.org/spec/type.html#noreturn を参照のこと。

main がauto とともに宣言されている場合、推論される戻り値の型は 、 、 のいずれかでなければならない。 void int noreturnのいずれかでなければならない。

これは2.072.2で非推奨になったもので、switchケースの最後にbreak 文を忘れるというよくあるミスがあったからだ。 非推奨の警告は、現在ではエラーに変わっている。

あるケースから次のケースへと制御フローを継続させたい場合は、goto case; 。

void parseNumFmt(char c, out int base, out bool uppercase)
{
    switch (c)
    {
        case 'B': // フォールスルーが許可され、caseにはコードがない
        case 'b':
            base = 2;
            // エラー、case 'X'への偶発的なフォールスルー
        case 'X':
            uppercase = true;
            goto case; // 許可、明示的なフォールスルー
        case 'x':
            base = 16;
            break;
        default:
            break;
    }
}

このリリース以前は、throw 。 他の式の中に記述することはできなかった。これは面倒だった。 ラムダから式をスローしたい場合などだ:

SumType!(int, string) result;

result.match!(
    (int num)       => writeln("Found ", num),
    // (string err) => throw new Exception(err)    // 期待される式
    (string err)     { throw new Exception(err); } // OK、明示的なボディを導入

);

throw は、DIP1034 [1]で規定されているように式として扱われるようになった。 より柔軟で使いやすくなった。

SumType!(int, string) result;

result.match!(
    (int num)    => writeln("Found ", num),
    (string err) => throw new Exception(err)   // 動作する

);

[1] https://github.com/dlang/DIPs/blob/master/DIPs/accepted/DIP1034.md

__traits(initSymbol, A) A が または のインスタンスの初期状態を保持する が得られる。 スライスは、 のイニシャライザー・シンボルを指すか、 がゼロイニシャライザーであれば、 のインスタンスの初期状態を保持する が得られる。 がゼロ初期化されている場合は、 の動作と一致する。 class struct const(void)[] A A null A TypeInfo.initializer()

このトレイトは、例えば、malloc のクラス・インスタンスを、 : に依存せずに初期化するために使うことができる。 TypeInfo に頼ることなく、クラス・インスタンスを初期化することができる:

class C
{
    int i = 4;
}

void main()
{
    const void[] initSym = __traits(initSymbol, C);

    void* ptr = malloc(initSym.length);
    scope (exit) free(ptr);

    ptr[0..initSym.length] = initSym[];

    C c = cast(C) ptr;
    assert(c.i == 4);
}

OpenBSDの/usr/include/sys/filio.h、/usr/include/sys/ioccom.h、/usr/include/sys/ioctl.h、/usr/include/sys/ttycom.hにあるOpenBSDのioctlsをサポート。

object.opEquals 比較される静的型が メソッドを提供し、そのメソッドも である場合、 となる。 opEquals @safe @safe

std.experimental.checkedintはstd.checkedintになった。古い名前 はまだ利用可能で、新しいものを公にインポートしている。 非推奨である。

std.algorithm.iteration.splitWhen を使うようになった、 ほとんどのPhobosレンジがそうであるように、 。 のインスタンス化もそうなる。 。 の推論はまだ実装されていない。 std.algorithm.iteration.chunkBy chunkBy

@safe void fun()
{
    import std.algorithm;

    // 各要素の特定の属性によるグループ化:
    auto data = [
        [1, 1],
        [1, 2],
        [2, 2],
        [2, 3]
    ];

    auto r1 = data.chunkBy!((a,b) => a[0] == b[0]);
    assert(r1.equal!equal([
        [[1, 1], [1, 2]],
        [[2, 2], [2, 3]]
    ]));

    auto r2 = [1, 2, 3, 4, 5, 6, 7, 8, 9].splitWhen!((x, y) => ((x*y) % 3) > 0);
    assert(r2.equal!equal([
        [1],
        [2, 3, 4],
        [5, 6, 7],
        [8, 9]
    ]));
}

デフォルトでは、std.csv 、行の列数が最初の行の列数と等しくない場合にスローされる。 をスローする。 可変カラム数を許可または不許可にするには、bool を渡すことができる。 csvReader に渡すことができる。

string text = "76,26,22\n1,2\n3,4,5,6";
auto records = text.csvReader!int(',', '"', true);

assert(records.equal!equal([
    [76, 26, 22],
    [1, 2],
    [3, 4, 5, 6]
]));

std.experimental.logger.core.sharedLog がデフォルトで返されるようになった。 に設定された logger を返すようになった。

旧バージョンのto では std.typecons 変換をサポートしていなかった。このリリースから このリリースから、タプルは次のようにサポートされるようになった。 以下の例で強調されている:

void main()
{
    import std.conv : to;
    import std.typecons : Tuple;
    auto data = ["10", "20", "30"];
    auto a3 = data.to!(int[3]);                // 以前のバージョンと現在のバージョンで受け入れられた
    auto t3 = data.to!(Tuple!(int, int, int)); // 過去のバージョンでは拒否され、現在は了承されている
}

実行ファイルまたはDLLのリンク時にデフォルトのPDBファイルが生成される場合 (のリンク時にデフォルトのPDBファイルが生成される場合(例:/PDB:my\path.pdb lflagなし)、それはターゲット・ディレクトリにもコピーされる。 ディレクトリにもコピーされる。