変更履歴 2.080.0

クラス・アロケータとデアロケータは何年も前から非推奨になる予定だった。 このリリースから、以下のコードは非推奨メッセージを発するようになる。

class C
{
    new(size_t size)         // 非推奨メッセージ
    {
        return malloc(size);
    }

    delete(void* obj)        // 非推奨メッセージ
    {
        free(obj);
    }
}

詳しくは非推奨機能を参照のこと。

クラス・アロケータ/ディールケータには多くの選択肢がある。その中には、汎用的な std.experimental.allocator.makeと std.experimental.allocator.disposeallocatorパッケージのものがある。他の選択肢については、DBlogのメモリ割り当てに関する最近の記事や、D Wikiのメモリ管理の記事を参照のこと。

以下の例にあるように、ユーザーはGC割り当てを無効にするためにアロケータを活用している:

class C
{
    @disable new(size_t size);
}

void main()
{
    auto c = new C();  // エラー: アロケータ`new`は`@disable`でアノテーションされているため、呼び出し可能ではない
}

このイディオムは残るが、今回のリリースでsize_t 引数が不要になった。 つまり、このリリースから以下の構文も許されるようになった:

class C
{
    @disable new();
}

void main()
{
    auto c = new C();  // エラー: アロケータ`new`は`@disable`でアノテーションされているため、呼び出し可能ではない
}

コンストラクタ・スコープの内部では、集約宣言(クラス／構造体)メンバへの代入は、最初の代入を初期化とみなして行われる。 メンバへの代入は、最初の代入を初期化とみなし、それ以降の代入を最初に構築されたオブジェクトの変更とみなすことによって行われる。 それ以降の代入は、最初に構築されたオブジェクトの修正とみなす。 const/immutable フィールドの場合、初期化はコンストラクタ内で受け入れられる、 しかし、それ以降の変更は受け付けられない。例:

struct A
{
    int a;
    immutable int b;
    this(int a, int b)
    {
        this.a = a;
        this.b = b;

        this.a = 7; // OK、aはミュータブルである
        this.b = 9; // エラー: 不変のフィールドbが複数回初期化された
    }
}

しかし、Bugzilla 18719、このルールは、コンストラクタ・スコープ内で別のコンストラクタが呼び出されている場合には適用されないことがわかった。 コンストラクタ・スコープの中に別のコンストラクタへの呼び出しがある場合、このルールは適用されない:

struct A
{
    immmutable int a;
    this()
    {
        this(42);
        this.a = 5;  // 不変のフィールドの2回目の初期化
    }

    this(int a)
    {
        this.a = a;
    }
}

このパッチを適用する前、上記のコードは間違ってコンパイルされていた。 immutable aの初期化を受け入れる。このパッチを適用すると、this.a = 5 。 は、a が複数回初期化されているという非推奨の警告を出す。

委任コンストラクタ呼び出しは、ラベルの後では許可されない、 しかし、ケース・ラベルやデフォルト・ラベルもラベルとしてカウントすべきである。

class A
{
    this(char c) { }

    this(int i)
    {
        switch (i)
        {
            case 1:  break;
            default: break;
        }
        this('c'); // エラーが発生した
    }
}

これは、コンパイラが各フィールドが正確に一度だけ初期化されることを保証するために必要である。 フィールドが正確に一度だけ初期化されることをコンパイラが保証できるようにするためである。上記のようなコードを のようなコードをコンパイラーに渡すには、これをif-thenシーケンスに置き換える。

pow 演算子^^ が CTFE で使用できるようになった。

CTFE で使用できる関数に、これらの std.math 関数を追加する:

ラウンド フロア 天井 切り捨て ログ log2 log10 pow expm1 exp2 fmin fmax コピー記号 fma

関数の戻り値がスタックに置かれるかどうかを決定する、 またはレジスタ経由で返されるかを決定する。 詳細はisReturnOnStackを参照のこと。

これまでは、Objective-Cクラス・メソッドを呼び出すには、Objective-Cランタイムに明示的に呼び出す必要があった。 を呼び出す必要があった。次のコードは旧来の方法の例である。 の例である:

extern (C) Class objc_lookUpClass(in char* name);

extern (Objective-C)
interface Class
{
    NSObject alloc() @selector("alloc");
}

extern (Objective-C)
interface NSObject
{
    NSObject init() @selector("init");
}

void main()
{
    auto cls = objc_lookUpClass("NSObject");
    auto o = cls.alloc().init();
}

上記のコードは次のように置き換えることができる:

extern (Objective-C)
interface NSObject
{
    static NSObject alloc() @selector("alloc");
    NSObject init() @selector("init");
}

void main()
{
    auto o = NSObject.alloc().init();
}

メソッド宣言のstatic 。

このパッチが適用される前は、postblitがconst/immutable/ と宣言されていた。shared が宣言されていた場合、コンパイラはその宣言を受け入れたが constを除いて、ポストブリットをうまく呼び出す方法はなかった。 を除いて、postblitを正しく呼び出すことはできなかった。たとえ const posblitを呼び出すことは可能だが、新しくコピーされた構造体のフィールドを変更する方法はない。 のフィールドを変更する方法はない:

struct S
{
    int n
    this(this) const
    {
        ++n;   // エラー: constメソッド内でthis.nを変更できない
    }
}

void main()
{
    S a;
    auto a2 = a;
}

このリリースでは、postblitの署名にconst/immutable/shared が含まれている場合、非推奨メッセージが発せられる。 を含む場合、非推奨メッセージが発行される。

shared 変数に対する read-modify-write 操作は許されない:

shared int i;
i++; // エラー: 共有変数に対して、読み取り-変更-書き込みの操作は許可されていない

使用する core.atomic.atomicOpで代用する:

import core.atomic : atomicOp;
shared int i;
atomicOp!"+="(i, 1);

他のswitch ケースで宣言された変数の使用はエラーとなる。

int i = 2;
switch (i)
{
    case 1:
    {
        int j;
    case 2:
        j++;
        j.writeln; // バグ: jが初期化されず、例えば-321532879と表示される
        break;
    }
    default:
        break;
}

この動作が必要な場合は、void 初期化を使って明示的に要求することができる:

int i = 2;
switch (i)
{
    case 1:
    {
        int j = void;
    case 2:
        j = 2;
        j.writeln;
        break;
    }
    default:
        break;
}

std.typecons.BitFlagsで列挙型メンバを直接設定、テストできるように拡張された。 BitFlags & を直接設定しテストできるように拡張された。

enum Features
{
    fast = 1 << 0,
    size = 1 << 1,
}

void run(BitFlags!Features features)
{
    // 取得
    if (features.fast && !features.size) {} // new new new
    if ((features & Features.fast) && !(features & Features.size)) {} // old old old
    // セット
    features.fast = true; // new new new
    features.fast = false; // new new new
    features.fast |= Features.fast; // old old old
    features.fast &= ~Features.fast; // old old old
}

これは、安全でないBitFlags 、プロパティのgetアクセスが正確に一致するかどうかをテストする場合にも機能する。 BitFlags をテストする。 同様に、プロパティのセットアクセスは、安全でないBitFlags の組み合わせの全ビットをクリアまたはセットする。

enum Features
{
    fast = 1 << 0,
    size = 1 << 1,
    combined = fast | size,
}

void run(BitFlags!(Features, Yes.unsafe) features)
{
    // 取得
    if (features.combined) {} // new new new
    if ((features & Features.combined) == BitFlags!(Features, Yes.unsafe)(Features.combined)) {} // old old old
    // セット
    features.combined = true; // new new new
    features.combined = false; // new new new
    features.combined |= Features.combined; // old old old
    features.combined &= ~Features.combined; // old old old
}

std.math.rndtonlを使用している場合のみ使用可能な丸め関数である。 Digital MarsCランタイムをWindows上で使用する場合にのみ使用できる丸め関数である。この関数はクロスプラットフォームではないため、非推奨となった。 バージョン2.089で削除される予定である。この関数は std.math.roundを使用してほしい。

この新しい std.experimental.allocator.building_blocks.bitmapped_block.SharedBitmappedBlockおよびそのシングルスレッド版は、Yes.multiblock またはNo.multiblock でインスタンス化できるようになった。 Yes.multiblock (デフォルトの動作)でインスタンス化された場合、各アロケーションは任意のブロック数を返すことができる。 しかし、No.multiblock では、どのアロケーションリクエストもブロックサイズを超えることはできない。これにより、シングルスレッド環境でもマルチスレッド環境でも、パフォーマンスが向上する。

// 'BitmappedBlock'は暗黙的にYes.multiblockでインスタンス化される
auto a = BitmappedBlock!(blockSize, 8, Mallocator, Yes.multiblock)(numBlocks * blockSize);

// Yes.multiblockでインスタンス化され、一度に複数のブロックを割り当てることができる
void[] buf = a.allocate(2 * blockSize);
assert(buf.length == 2 * blockSize);
assert(a.deallocate(buf));

// No.multiblockで'BitmappedBlock'をインスタンス化する
auto a = BitmappedBlock!(blockSize, 8, Mallocator, No.multiblock)(1024 * blockSize);

// No.multiblockでインスタンス化されるので、最大でもブロック・サイズしか割り当てられない
void[] buf = a.allocate(blockSize + 1);
assert(buf is null);

共有の場合も同じルールが適用され、BitmappedBlock をSharedBitmappedBlock に置き換えるだけでよい。

std.experimental.allocator.building_blocks.aligned_block_list.AlignedBlockListは アロケータのリストであり、一定の時間で割り当てを解除できる。 アロケーションは理論的には線形探索時間で処理されるが、deallocate の呼び出しにはΟ( )時間がかかる。 Ο(1)時間がかかる。これは、アライメントされたアロケーショ ンを使用するためである。ParentAllocator はalignedAllocate を実装しなければならない。

std.experimental.allocator.building_blocks.aligned_block_list.SharedAlignedBlockListを実装しなければならない。 シングルスレッド版と同じセマンティクスを持つ。 を付けなければならない。

2.079で std.exception.enforceの完全なスーパーセットとなった。 std.exception.enforceEx

是正措置

交換する:

import std.exception;
alias enf = enforceEx!Exception;
assertNotThrown(enf(true));
assertThrown(enf(false, "blah"));

とのことだ:

import std.exception;
alias enf = enforce!Exception;
assertNotThrown(enf(true));
assertThrown(enf(false, "blah"));

std.format.formatValue出力文字列の桁を正しくグループ化する で指定されたn文字ごとにグループ区切り文字(,)を挿入することで、出力文字列内の桁を正しくグループ化するようになった。 セパレータ 文法規則で指定されたn文字ごとにグループ区切り文字(,)を挿入することで、出力文字列の桁を正しくグループ化するようになった。 で指定された小数点以下の精度がゼロの場合に、浮動小数点数の

この修正以前のPhobosでは、ゼロ精度(小数点以下の桁がない)でフォーマットされた浮動小数点数に対して、グループセパレータがまったく挿入されなかった。 の場合、浮動小数点数にはグループ区切り記号が挿入されない、 にかかわらず、浮動小数点数にはグループ区切りが挿入されない。

import std.format;

assert(format("%,3.2f", 1172.009) == "1,172.01");
assert(format("%,3.0f", 1172.009) == "1,172");
assert(format("%#,3.4f", 1303.2508) == "1,303.250,8");
assert(format("%#,3.0f", 1303.2508) == "1,303.");

// この修正前のオリジナルの(バギーな)動作
//assert(format("%,3.0f", 1303.2508) == "1303");
//assert(format("%,3.0f", 1303.) == "1303");

// この修正前の(正しい)動作
//assert(format("%,3.1f", 1303.2508) == "1,303.3");
//assert(format("%,3.2f", 1303.) == "1,303.00");
//assert(format("%,3f", 1303.) == "1,303.000,000");

std.functional.reverseArgsの完全なスーパーセットである std.functional.binaryReverseArgs.

正しい処置:binaryReverseArgs をreverseArgs に置き換える。

apply に対する操作である。 std.typecons.Nullable値は、Nullable を "解凍"し、何らかの処理を実行する。 テンプレート・パラメータとして渡される)処理を実行し、必要に応じて結果を別のNullable にパックする。 最初のNullable がnull の場合、結果のNullable もnull であり、"関数"は呼び出されない。 は呼び出されない。

Nullable!int n;
alias square = i => i * i;
n = n.apply!square; // isNullの場合は何もしない
assert(n.isNull);
n = 2;
assert(n.apply!square.get == 4);

gnu make(3.82以降)で、rdmdがmakefileで使えるようになった。 これは、SHELL と .SHELLFLAGS をそれぞれ /usr/bin/rdmd と --eval に設定することで実現できる。

.ONESHELL:
SHELL = /usr/bin/rdmd
.SHELLFLAGS = --eval
hello.txt:
	import std.file;
	write("$@","hello world\n");