変更ログ 2.083.0

C++コードとリンクするためには、ABIがどのC++ランタイムをターゲットにしているかを知ることが重要である。

サポートされているバージョン識別子には以下のものがある:

• CppRuntime_Clang
• CppRuntime_DigitalMars
• CppRuntime_Gcc
• CppRuntime_Microsoft
• CppRuntime_Sun

使用されるC++ランタイムは、一般に、リンクされるC++コードの構築に使用されるC++コンパイラに依存する。 これは、一般的にターゲット・システムに依存するCランタイムとは対照的である。

このスイッチはv2.075.0で非推奨となり、現在は削除されている、 つまり、DMDは認識できないスイッチがあると文句を言う。 -gc 以前はC言語のふりをしていたが、デバッガは10年ほど前から デバッガは10年ほど前からDを意識している。

型でなければならない引数を1つ取る。もし型の 型のデフォルト・イニシャライザーにゼロ以外のビットがない場合、 が返される。 isZeroInit ビットがない場合、true が返され、そうでない場合はfalse が返される。 C C.init は常にtrue を返す。 参照だからである。

このプロパティはすでにコンパイラによって内部的に計算されていた。 このプロパティはコンパイラによってすでに内部的に計算されていたので、__traits 。 よりも効率的である。

struct S1
{
    int x;
}

struct S2
{
    int x = -1;
}

static assert(__traits(isZeroInit, S1));
static assert(!__traits(isZeroInit, S2));

void test()
{
    int x = 3;
    static assert(__traits(isZeroInit, typeof(x)));
}

新しい構文では、キーワードをマングリングに使うことができる。 シンボルのマングルを変更するだけである。これは C++の名前空間に似た機能は提供しない。このため、ユーザーは従来のD言語でC++を構成することができる。 C++を伝統的なD言語で構成することができる。従来の構文 extern(C++, foo) はシンボルfoo を占有する。つまり、モジュール はこの名前を使うことができず、C++の名前空間と一致しなかった。

extern(C++, "__traits") void foo();

extern(C++, "std", "chrono") void bar(); // 複数の名前空間の構文

int std; // 上記のextern(C++, "std", ...)と衝突するシンボルがない

カスタムリンカディレクティブをオブジェクトファイルに出力する:

pragma(linkerDirective, "/alternatename:_pWeakValue=_pDefaultWeakValue");

これはMS-COFF出力でのみサポートされる。

オブジェクト・フィールドのデストラクタが、コンストラクタが失敗した場合にそのオブジェクトのコンストラクタから呼び出されるようになった。 オブジェクト・フィールドのデストラクタは、コンストラクタが失敗した場合にそのオブジェクトのコンストラクタから呼び出されるようになった。 でなければならない。

つまり、コンストラクタが@safeとマークされていれば、フィールドのデストラクタも@safeでなければならない。 または@trustedでなければならない。

この動作はこれまでチェックされていなかったため、この修正によって既存の コードを壊してしまう。したがって、この動作を有効にすることが、新しいtransition=dtorfields スイッチの背後にある。この動作はいずれデフォルトの動作になる。 デストラクタ属性の問題を修正することを推奨する。

getTargetInfo 引数として文字列キーを受け取り、関心のあるターゲットの詳細を選択する。

static if (__traits(getTargetInfo, "cppRuntimeLibrary") == "msvcrtd") { ... }

static assert (__traits(getTargetInfo, "not_a_target_info") == "??"); // <- エラー: そのようなtargetInfo"not_a_target_info"はない!

getTargetInfo キーは処理系定義であり、エキゾチックなターゲットに関連するデータを可能にする。常に利用可能な信頼できるサブセットを仕様に記載する。

std.algorithm.iteration.eachが早期終了できるようになった。 を返す関数からNo.each std.typecons.Flagが呼び出された関数から返された場合、反復は早期に中止される。 からeach が返されると、反復は早期に中止される。 同様に、Yes.each を返すと、反復が継続される。 例:

auto arr = [10, 20, 30];
arr.each!((n) { arr ~= n; return (n == 20) ? No.each : Yes.each; }); // 2回目の繰り返しで中止
assert(arr == [10, 20, 30, 10, 20]);

カスタム・ハッシュはHook で実装することができる。 組み込み関数が使われる。checkedが連想配列で使えるようになった。 配列で使えるようになった。

import std.experimental.checkedint;

static struct MyHook
{
    static size_t hookToHash(T)(T payload)
    {
        auto h = typeid(payload).getHash(&payload);
        return h + 0x9e3779b9 + (h << 6) + (h >> 2);
    }
}

auto h = checked!MyHook(142).toHash();

このビルドオプションはDMDやLDCに-betterC 引数を渡すのに使用できる:

dub.jsonに渡すことができる:

"buildOptions": ["betterC"]

dub.sdl:

buildOptions "betterC"

外部コマンドを実行する際、DUBは環境変数DUB_PACKAGE_VERSION を設定するようになった。 この変数には、dub describe の出力に表示される、ビルドされるパッケージのバージョンが格納される。

この追加機能の1つの応用例として、プリビルド・コマンドを使用してパッケージのバージョンをソース・ファイルに保存する方法がある、 ビルドされるアプリケーションにバージョン文字列をコンパイルするためである。