変更ログ: 2.108.0

これはクラスの完全修飾名の16バイトのmd5シグネチャである。 これは、2つのクラスを等価に比較するために使われる。 ポインタを比較するのではなく、名前の文字列を比較するフォールバックとして使われる。 をフォールバックしてポインタを比較するのではなく、2つのクラスが等しいかどうかを比較するために使われる。

その結果、druntimeもphobosも、この変更に対応するために再コンパイルする必要がある。 を再コンパイルする必要がある。どのライブラリも同様に再コンパイルする必要がある。 も必要になる。

関数のデフォルト引数には、キーワード__FILE__ を含めることができる、 __FILE_FULL_PATH__ __MODULE__ __LINE__ 、__FUNCTION__ および__PRETTY_FUNCTION__ を含むことができる。これらのキーワードは、より複雑な式の呼び出し元で評価されるようになった。 で評価されるようになった。 初期化子で使用されている限り、直接であろうとなかろうと、より複雑な式の呼び出し元で評価されるようになった。以前は でなければならなかった。以下はその例である。 以下は、より複雑なイニシャライザーが呼び出し先で評価されるようになった例である。 で評価されるようになった:

void func1(const(char)* file = __FILE__.ptr, size_t line = __LINE__)
{
    // これは呼び出し関数のファイル名を表示する。
    // 以前はfunc1自体のファイル名であった。
    printf("%s:%zd\n", file, line);
}

struct Loc
{
   string file;
   size_t line;
}

void func2(Loc loc = Loc(__FILE__, __LINE__))
{
    // 変数locは呼び出し関数のファイルと行を含むようになった。
    // 以前はfunc2の場所であった。
    writeln(loc.file, ":", loc.line);
}

Loc defaultLoc(string file = __FILE__, size_t line = __LINE__)
{
    return Loc(file, line);
}

void func3(Loc loc = defaultLoc)
{
    // 変数locはfunc3の呼び出し関数のファイルと行を含み、
    // func3やdefaultLocの位置ではない。
    writeln(loc.file, ":", loc.line);
}

16進文字列は、バイナリ・データをソース・ファイルに埋め込む最も効率的な方法である。 しかし、short[] 、int[] 、long[] の初期化に使用することは容易ではなかった。なぜなら、CTFE中は配列の再解析が許可されていないからである。 現在では、16進文字列は暗黙的にすべての整数配列に変換される。 ビッグエンディアンのバイトオーダーが仮定され、整数リテラルの記述方法と一致する。

immutable uint[] data = x"AABBCCDD";

static assert(data[0] == 0xAABBCCDD);

文字接尾辞を使用して、要素サイズを2または4に明示的に設定することもできるようになった。

immutable ushort[] f = x"80 3F"w;
static assert(f[0] == 0x803F);

immutable ubyte[] g = x"80 35"w; // エラー: サイズの不一致

以前は、各バイトに1つまたは3つのゼロをパディングしていたが、これでは意味がない(24363号参照)。

文字列のバイト長が対象要素サイズの倍数でない場合はエラーとなる:

immutable ushort[] e = x"AABBCC"w; // エラー、3バイトは`ushort.sizeof`の倍数でない

補間式列は、文字列補間などをライブラリ・コードに実装する方法である。3つの形式のリテラルが追加された:

i"Content $(a + 4)"
i`Content $(a + 4)`
iq{Content $(a + 4)}

std.stdio のwriteln やstd.conv のtext のように、他の関数に渡すことができるタプルである:

int a = 6;
writeln(i"Content $(a + 4)"); // "Content 10"を表示

また、新しいcore.interpolation モジュールの型を理解する他の関数に渡すこともできる。多くの例がこのモジュールのドキュメントやこのリポジトリにある: https://github.com/adamdruppe/interpolation-examples/

関数を呼び出す際、引数の前にパラメータ名を付けることができるようになった。 その結果、デフォルト引数をパラメータ・リストの最後に置く必要がなくなった。

void createWindow(bool fullScreen = false, int width, int height, string title);

void main()
{
    createWindow(title: "Skynet", width: 1280, height: 720);
}

名前付き引数は、struct/unionリテラルでも使用できる。 最初のフィールドとは異なるフィールドを設定することで、共用体を初期化できるようになった。

union U
{
    float asFloat;
    uint asInt;
}

auto u0 = U(1.0); // これは`asFloat`フィールドを設定する
auto u1 = U(asInt: 0x3F800000); // 以前は不可能だった

関連する仕様のページは以下の通り:

• 構造体リテラル
• 匿名構造体と共用体
• 引数とパラメータのマッチング
• 関数のオーバーロード

正規関数と構造体リテラルの実装はdmd 2.103からあったが、ドキュメント化されておらず、テンプレート化された関数では動作しなかった。

これは関数引数の DIP1030を実装しているが、名前付きテンプレート引数はまだ実装されていない。 また、名前付き引数がタプルとどのように相互作用するかなど、DIPが指定していない実装の詳細がまだ残っている。 詳細はこちらを参照のこと:名前付き引数のステータス更新

Phobos 2.106では、オプションの2番目のテンプレートパラメータが追加された。 isInputRange にオプションの2番目のテンプレートパラメータが追加され、範囲の要素型を便利にチェックできるようになった。今回 isForwardRange isBidirectionalRangeにも同じパラメータが追加された。 isRandomAccessRange.

以前と同様、これらのテンプレートのいずれかに2番目の型引数が渡された場合、その 範囲の要素型がチェックされる。 修飾子変換可能 に変換可能かどうかがチェックされる。 テンプレートがtrue と評価されるためには、この追加チェックがパスしなければならない。

例:

// 完全一致
static assert( isForwardRange!(int[], int));

// 修飾子変換によるマッチ
static assert( isBidirectionalRange!(int[], const(int));

// マッチしない
static assert(!isRandomAccessRange!(int[], string));

このUnicodeアップデートは2023年9月12日にリリースされた。 参照:https://www.unicode.org/versions/Unicode15.1.0/

import std;

void main()
{
    const alphaCount = iota(0, dchar.max).filter!(std.uni.isAlpha).walkLength;
    writeln(alphaCount);
    // 以前は:      137765
    // 現在は:      138387
    // 622の新しいdcharsは`isAlpha`に対してtrueを返す
}

内部ユニコード・テーブル(std/internal/unicode_tables.d)も、配列リテラル の代わりに16進文字列を使用するように変更され、インポートが高速化された。 正確なスピードアップはコンピューターやDコンパイラーに依存するが、std.string やstd.uni をインポートするものをコンパイルする場合、おそらく30ミリ秒から100ミリ秒の間に短縮されるだろう。

以前は、dub fetch 、単一のパッケージしかフェッチできなかった、 で、作業ディレクトリとは無関係に動作していた。

今回のリリースでは、複数パッケージのサポートが追加された。 次のようなことが可能になった:

$ dub fetch vibe-d@0.9.0 vibe-d@0.9.1 vibe-d@0.9.2

引数なしで呼び出された場合、以前はdub fetch 。 しかし、現在のプロジェクトに依存関係があれば、それを取得しようとするようになった。 を取得しようとする。

最後に、パッケージをフェッチするときに、そのパッケージの依存関係をすべてフェッチすると便利なことがある。 を取得するのが便利かもしれない。これはプロジェクトの場合は自動的に行われる、 で自動的に行われる:

$ dub fetch --recursive vibe-d@0.9.0 vibe-d@0.9.1