変更ログ 2.089.0

このバージョンまでは、foreach ループで変数をシャドウすることができた。 通常のfor ループでは禁止されている。このパッチはforeach ループの動作をfor ループのものと一致させる。発生した問題を修正するには、 本体の中でシャドウする変数 foreach の名前を変更する。

Bugzilla 20138が修正された、 が修正されたことで は、修飾子const,inout, およびshared の組み合わせに正しくマッチするようになった。

以前は失敗したが、現在はパスする例:

static assert(is(shared(const int) U == shared U) && is(U == const int));
static assert(is(shared(inout int) U == inout U) && is(U == shared int));

以下のようなコードの動作が変わることに注意されたい:

static if (is(T U == const U) { ...}
else static if (is(T U == shared const U)) { ... }

2つ目のケースには決して到達しない。 T がshared const 。以前の動作を得るには、順序を入れ替える。

これは文字列ミックスインではすでにそうなっていたが、テンプレート・ミックスインでは新しいスコープが導入されるため、その中のシンボルはDシンボルとしてマングルされてしまう。 しかし、ユーザーはしばしばミックスイン・テンプレート内のextern(C) 、Cからアクセスできるはずのボイラープレート・コードを自動生成するために使用する。

// ライブラリコード
mixin template WasmEntryPoint() {
    extern(C) export void _start() {
        // boilerplate code
    }
}

mixin template UseGpuInsteadOfIntegratedGraphics() {
    extern(C) export uint NvOptimusEnablement = 0x00000001;
    extern(C) export int AmdPowerXpressRequestHighPerformance = 1;
}

// アプリケーションコード
mixin WasmEntryPoint;
mixin UseGpuInsteadOfIntegratedGraphics;

static assert(_start.mangleof == "_start");
static assert(NvOptimusEnablement.mangleof == "NvOptimusEnablement");

以前は、_startは_D9onlineapp8__mixin46_startUkZv のようにマングルされ、ユーザーは手動でpragma(mangle, "_start") を追加するか、代わりに文字列ミックスインを使用しなければならなかった。 新しい動作では、extern(Windows) やextern(Objective-C) と同様に、extern(C) についてはその必要がなくなった。 extern(C++) は、ネストされたスコープであっても、常にC++にマングルされるため、変更はない。

複数のモジュールのグローバル・スコープに、同じ名前の異なるextern(C) 宣言を混在させると、コードが壊れる可能性がある。

import core.stdc.stdio;

mixin template GenPrintCallback(string text) {
    extern(C):

    auto textLength = text.length;
    auto textPointer = text.ptr;

    void callBackOnly() {
        printf("%.*s\n", textLength, textPointer);
    }

    mixin(`auto `, text, ` = &callBackOnly;`);
}

mixin GenPrintCallback!"foo";

// 別のモジュールで:
mixin GenPrintCallback!"bar";

この場合、textLength、textPointer、callBackOnlyは複数回定義されるので、リンカーはどれかを選ぶか、エラーを出す。 解決策は、変数をextern(C) 、Cコールバック関数を匿名にしないことだ:

import core.stdc.stdio;

mixin template GenPrintCallback(string text) {

    auto textLength = text.length; // もうextern(C):以下にはない
    auto textPointer = text.ptr;

    alias FunT = extern(C) void function();
    enum FunT callBackOnly = () {
        printf("%.*s\n", textLength, textPointer);
    };

    mixin(`auto `, text, ` = callBackOnly;`);
}

Windowsで-m32でビルドするときのデフォルトのリンカが変更された。 Windowsで-m32でビルドするときのデフォルトのリンカーは、link.exeからoptlink.exeに変更された。 デジタル・マーズ・ツール・チェインとマイクロソフト・コンパイラ・ツールの両方がPATH環境変数にある場合に、間違ったリンカを呼び出さないようにするためだ。 がPATH環境変数にある場合に、間違ったリンカーを呼び出さないようにするためだ。

POSIXでは、dmd は、-L-prefixedコンパイラ・フラグを、リンカ・ドライバ(デフォルトではcc )を通してリンカ(例えば )に渡す。 リンカ・ドライバ(デフォルトでは-Xlinker )を経由して、 の前に付けることで、リンカ(例:ld )に渡される。 そのため フラグを直接リンカードライバに渡すことはできなかった。

このリリースでは、リンカ・ドライバに渡すフラグを指定する新しいコンパイラ・フラグ-Xcc が追加された。 このスイッチは、いくつかのリリースのLDCコンパイラーにすでに存在していた。 このスイッチの使用例としては -nostartfiles -pthread -staticとして指定できるようになった。 -Xcc=-nostartfiles -Xcc=-pthread -Xcc=-static と指定できるようになった。

以前は、リンカードライバ・オプションを設定することも可能だった。CC 環境変数、例えばCC='cc -pthread' dmd ... を設定したり、CC 変数を設定し、カスタム・リンカー・ ドライバ・ラッパー・スクリプトを指すようにすることでも、リンカー・ ドライバ・オプションを指定することが可能だった。 -Xcc は、コンパイル性とビルド・システムへの統合の機会を向上させることで、これを改善した。 ビルド・システムに統合できる。

こちらも参照のこと:

• 問題 6952
• GCCリンク・オプション

アトミック・スイートにcore.atomic.atomicFetchAdd とcore.atomic.atomicFetchSub を追加した。

wait(2) によって報告された wstatus 値を操作する述語は、現在、純粋かつ @safe とマークされている。 でマークされ、これらの属性を持つ関数で使用できるようになった。 属性を持つ関数で使用できるようになった。

std.traits.Unconstのように動作する。 std.traits.Unqualのように動作するが const,inout,immutable の修飾子のみを削除する。

ldc2 ドライバが以下をサポートするようになった

• コマンドラインオプションの追加(カバレッジ、プロファイリング、スタックフレームの保持)、
• リンクの分離、
• ターゲット・トリプル(LDC-mtriple )を--arch 、例えば--arch=x86_64-pc-windows-msvc のように指定することで、クロスコンパイルが可能になった。 LDCのセットアップ方法についてはhttps://wiki.dlang.org/Cross-compiling_with_LDC。

DubがD-Scannerを実行するコマンドlint をサポートした。 デフォルトではdub lint がスタイルチェックを実行する。依存するdubパッケージのインポートパスがD-Scannerに渡される。 パッケージへのインポートパスが D-Scanner に渡される。

dub lint

Dubは、^x.y.z という形式のバージョン指定をサポートするようになった。 これは「セムバー互換バージョン」に対応する。 x.y.z までのバージョンで、メジャー番号が同じものである。メジャー番号が0の場合は、同じ バージョンだけが一致する。これは、https://semver.org/ にリストされているバージョンに対応する。 として に掲載されているバージョンに対応する。 ^x.y は^x.y.0 と同じである。