変更履歴: 2.105.0

alias this 宣言は、他の 宣言と同じ 構文を使用して記述できるようになった。alias alias new = old;

struct S
{
    int n;
    alias this = n;
    // 同等のもの:
    //alias n this;
}

2.104では、修飾された型のスローは 非推奨となった。

例外をimmutable 、inout 、またはshared として捕捉することも安全ではない。 例外が、別の変更可能または共有でない参照を通じてアクセス可能である可能性があるためである。 これらの修飾子を持つ例外を捕捉することは 現在では非推奨となっている。

auto e = new Exception("first");
try {
        throw e;
} catch(immutable Exception ie) { // 今、エラーが
        e.msg = "second";
        assert(ie.msg == "first"); // 発生すると失敗する
}

enum 関数宣言で使用しても効果はなく、 戻り値の型が指定されていない場合の ストレージクラスと同等であった。 この構文は マニフェスト定数と混同される可能性があり、 現在はエラーとなっている。auto enum

enum void f1() { }  // エラー
enum f2() { }       // エラー

代わりに、enum を削除し、必要に応じてauto を使用する。

void f1() { }
auto f2() { }

2.095.0 以降、リンク時にシンボル衝突が発生するため、モジュール内で同じ関数を複数回定義することはできなくなった。 異なるパラメータ型を持つ関数のオーバーロードは、もちろん依然として許可されており、Dがパラメータ型を含むシンボル名をマングル(連結)するため、動作する。 しかし、一部の外部リンク(extern(C) 、extern(Windows) など)では、この処理が行われないため、オーバーロードするとリンク時にシンボル衝突が発生する可能性がある。 そのため、このリリースでもこの処理は非推奨となった。 "function"関数"

この非推奨化は、現在ではエラーに変更されている。 修正措置として、関数に D または C++ リンクを指定するか、一意の関数名を使用すること。

// エラー:
extern(C) float square(float x) { return x * x; }
extern(C) double square(double x) { return x * x; }

// 是正措置:
extern(C) float squaref(float x) { return x * x; }
extern(C) double squared(double x) { return x * x; }

// もしくは:
float square(float x) { return x * x; }
double square(double x) { return x * x; }

プライベートメソッドが、後に続くパブリックメソッドとオーバーロードされている場合、 プライベートオーバーロードをパブリックであるかのようにアクセスすることができた。

2.094から始まる非推奨期間の後、このコードは現在エラーとなる。

例:

struct Foo
{
    private void test(int) { }
    public void test(string) { }
}
...
Foo().test(3);

これは、AppleのVR/ARデバイス「Vision Pro」用の新しいオペレーティングシステムである。

このバージョンより前のバージョンでは、(IdentifierOrBasicType)(Expression) のような式は"C言語のスタイル"のキャストとみなされ、IdentifierOrBasicType が呼び出し可能であっても許可されなかった。しかし、このバージョンでは、式が呼び出しまたは構造である限り、許可されるようになった。

struct S { int x; }
int foo(int x) { return x; }
auto bar = &foo;

// これらは以前は許可されていなかった
auto s = (S)(5);   // S(5)に相当する
auto f = (foo)(5); // foo(5)に相当する
auto b = (bar)(5); // bar(5)に相当する
auto i = (int)(5); // int(5)に相当するもので、キャストではない。

// これは許可されていない
auto bad = (int)5; // エラー: C言語のスタイルのキャストは不正である。`cast(int)5`を使用する
auto bad2 = (ubyte)(12345); // エラー: 型`int`の式`12345`を`ubyte`に暗黙的に変換できない

Bugzilla 24025 を参照:括弧で囲まれた式は、C言語のキャストであると想定すべきではない

これらのヘッダーは、Linux Input Subsystem ユーザー空間 API へのアクセスを提供し、 キーボード、タッチスクリーン、ゲームコントローラーなどからの入力の読み取りや、入力デバイスのエミュレーションに使用される。core.sys.linux からインポートすることができるようになった。

import core.sys.linux.input; // linux/input.h
import core.sys.linux.input_event_codes; // linux/input-event-codes.h
import core.sys.linux.uinput; // linux/uinput.h

Valgrindのmemcheck ツールとの統合を有効にするコンパイル時のオプションがガベージコレクタに追加された。 有効にすると、GCはValgrindと通信し、どのメモリアクセス操作が有効で、どの操作が無効であるかをValgrindに通知する。

この統合により、例えば、安全(GC)と非安全(手動)のメモリ管理が混在するDプログラムにおけるメモリエラーを検出できるようになる。

import core.memory;

void main()
{
    auto arr = new int[3];
    GC.free(arr.ptr);
    arr[1] = 42; // freeの後に使う
}

これを使用するには、DMDのソースコードを入手し、ご使用のプログラムのコンパイルにガベージコレクタとライフタイム実装を含め、-debug=VALGRIND オプションでコンパイルする。

git clone -b v2.105.0 --depth=1 https://github.com/dlang/dmd
dmd -g -debug=VALGRIND program.d -Idmd/druntime/src dmd/druntime/src/{core/internal/gc/impl/conservative/gc,rt/lifetime,etc/valgrind/valgrind}.d
valgrind --tool=memcheck ./program

このオプションは、MEMSTOMP やSENTINEL などの他の GC デバッグビルドオプションと互換性がある。

Dubユーザーは、以下の同等のレシピを試すことができる。

git clone -b v2.105.0 --depth=1 https://github.com/dlang/dmd
cat >> dub.sdl <<EOF
debugVersions "VALGRIND"
sourceFiles "dmd/druntime/src/core/internal/gc/impl/conservative/gc.d"
sourceFiles "dmd/druntime/src/rt/lifetime.d"
sourceFiles "dmd/druntime/src/etc/valgrind/valgrind.d"
importPaths "dmd/druntime/src"
EOF
dub build
valgrind --tool=memcheck ./program

これまで、permutations は渡された型が使用可能かどうかをチェックするためにテンプレート制約を使用していた。 使用できない場合、その理由を突き止めるのは非常に面倒だった。

テンプレート制約はオーバーロード解決には使用されないため、 制約は、表現力豊かなエラーメッセージを持つ"static assert"に移動された。

対象システム用のインストラクションセットアーキテクチャを表す新しい列挙型が追加された。 これは、対象CPUのISAが 実行時にのみ必要となる場合、例えば以下に示されているような人間が読めるメッセージの提供を 目的としている。

import std.stdio;
import std.system;

void main()
{
    writeln("Hello ", instructionSetArchitecture, " world!");
}

--d-versions=Xyz を指定すると、基本的にversion = Xyz; をすべての D ソースファイルに挿入することができる。 これは、dub.sdl / dub.json ファイルでversions を指定することと同じであるが、CLI から指定するものであり、ビルドの型や構成とは無関係である。