変更ログ 2.100.0

このリリースから、alias this を左辺オペランドの部分代入に使用してはならない。 左辺オペランドの部分代入に使用してはならない。そのような代入は コンパイラー・エラーとなる。

構造体に単一のメンバがあり、そのメンバが直接エイリアス this されているか、そのメンバを返すrefゲッター関数にエイリアス this されている場合、エイリアス this することができる。 にエイリアスされている場合は、このエイリアスを使用することができる。 を使うことができる。

struct Allowed
{
    int onemember;
    alias onemember this;
}

struct Rejected
{
    int aliased;
    long other;
    alias aliased this;
}

void fun(Allowed a, Rejected r)
{
    a = 0; // OK、構造体にはメンバーが1つしかない。
    r = 0; // エラー、`Rejected`型の変数`r`部分的に初期化するために`alias this`を使用できない。`r.aliased`を使用すること
}

このリリースから、非推奨のD1オーバーロード演算子を使用すると、コンパイラー・エラーになる。 を使用するとコンパイラー・エラーになる。

修正方法は、すべての演算子をD2相当の演算子に置き換えることである。

以下のD1演算子オーバーロードは削除され、opUnary :

• opNeg はopUnary(string op)() if (op == "-")
• opCom はopUnary(string op)() if (op == "~")
• opPostIncで置き換えられなければならない。opUnary(string op)() if (op == "++")
• opPostDecで置き換えられなければならない。opUnary(string op)() if (op == "--")
• opStarで置き換えられなければならない。opUnary(string op)() if (op == "*")

以下のD1演算子オーバーロードが削除され、opBinary :

• opAdd はopBinary(string op)(...) if (op == "+")
• opSub はopBinary(string op)(...) if (op == "-")
• opMul で置き換えられなければならない。opBinary(string op)(...) if (op == "*")
• opDiv で置き換えられなければならない。opBinary(string op)(...) if (op == "/")
• opMod で置き換えなければならないopBinary(string op)(...) if (op == "%")
• opAnd で置き換えられなければならないopBinary(string op)(...) if (op == "&")
• opXor で置き換えられなければならないopBinary(string op)(...) if (op == "^")
• opOr で置き換えられなければならないopBinary(string op)(...) if (op == "|")
• opShl で置き換えられなければならないopBinary(string op)(...) if (op == "<<")
• opShr で置き換えられなければならないopBinary(string op)(...) if (op == ">>")
• opUShr で置き換えられなければならないopBinary(string op)(...) if (op == ">>>")
• opCat で置き換えられなければならないopBinary(string op)(...) if (op == "~")
• opIn で置き換えられなければならない。opBinary(string op)(...) if (op == "in")

以下のD1演算子オーバーロードが削除され、opBinaryRight :

• opAdd_r はopBinaryRight(string op)(...) if (op == "+")
• opSub_r はopBinaryRight(string op)(...) if (op == "-")
• opMul_r で置き換えられなければならない。opBinaryRight(string op)(...) if (op == "*")
• opDiv_r で置き換えられなければならない。opBinaryRight(string op)(...) if (op == "/")
• opMod_r で置き換えなければならないopBinaryRight(string op)(...) if (op == "%")
• opAnd_r で置き換えられなければならないopBinaryRight(string op)(...) if (op == "&")
• opXor_r で置き換えられなければならないopBinaryRight(string op)(...) if (op == "^")
• opOr_r で置き換えられなければならないopBinaryRight(string op)(...) if (op == "|")
• opShl_r で置き換えられなければならないopBinaryRight(string op)(...) if (op == "<<")
• opShr_r で置き換えられなければならないopBinaryRight(string op)(...) if (op == ">>")
• opUShr_r で置き換えられなければならないopBinaryRight(string op)(...) if (op == ">>>")
• opCat_r で置き換えられなければならないopBinaryRight(string op)(...) if (op == "~")
• opIn_r で置き換えられなければならない。opBinaryRight(string op)(...) if (op == "in")

注釈:opBinaryRight のオーバーロード演算子は、opBinary の演算子よりも優先される。

以下のD1演算子オーバーロードは、opOpAssign に優先して削除された:

• opAddAssign はopOpAssign(string op)(...) if (op == "+")
• opSubAssign はopOpAssign(string op)(...) if (op == "-")
• opMulAssign で置き換えられなければならない。opOpAssign(string op)(...) if (op == "*")
• opDivAssign で置き換えられなければならない。opOpAssign(string op)(...) if (op == "/")
• opModAssign で置き換えなければならないopOpAssign(string op)(...) if (op == "%")
• opAndAssign で置き換えられなければならないopOpAssign(string op)(...) if (op == "&")
• opOrAssign で置き換えられなければならないopOpAssign(string op)(...) if (op == "|")
• opXorAssign で置き換えられなければならないopOpAssign(string op)(...) if (op == "^")
• opShlAssign で置き換えられなければならないopOpAssign(string op)(...) if (op == "<<")
• opShrAssign で置き換えられなければならないopOpAssign(string op)(...) if (op == ">>")
• opUShrAssign で置き換えられなければならないopOpAssign(string op)(...) if (op == ">>>")
• opCatAssign で置き換えられなければならない。opOpAssign(string op)(...) if (op == "~")

以下のD1演算子オーバーロードが削除され、alias this :

• opDot に置き換えなければならない。alias this

scope クラス宣言の型制約として、 クラスを割り当てることを強制するものであった。 その結果、クラスはGCで割り当てられるのではなくスタックに置かれることになる。 スタックに置かれることになる。この制約が廃止される予定になってからかなり経つが 今回のリリースから、コンパイラーは使用時に非推奨の警告を出すようになった。 を出すようになった。 scope

scope を構造体や列挙型宣言の型制約として使用することは、これまで何の効果もなかった。 構造体宣言や列挙型宣言の型制約としての効果はなく、同様に非推奨となっている。

scope class C { }  // 非推奨: 型制約としての`scope`は非推奨である。使用する場合は`scope`を使用すること。
scope struct S { } // 同上
scope enum E { }   // 同上

class をスタック・アロケートするためにscope を使うことは、まだサポートされている、 型制約だけが非推奨である。

class C { }

void main () @nogc
{
    scope c = new C;
}

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

このリリースから、asm ブロックを使用すると、@system 、 @nogc明示的な注釈がない限り、不純であるとみなされ、スローされる可能性がある。

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

このリリースから、delete キーワードを使用するとコンパイラー・エラーになる。

これに代わるものとして destroy 可能であれば core.memory.__delete最後の手段として

以下の機能/バグ修正/改善が に実装された:

• ネストされた集合体に対して暗黙的に生成されるコンテキスト・ポインタは、以下のようになった。 ではなくouter 。this
• pragma(mangle, "...") 、明示的なマングリングが部分的にサポートされる。 関数/変数に対して部分的にサポートされている。このマングリングはextern(C) Cは宣言名をマングルしないので、マングリングは宣言の識別子として使われる。extern(C++) C++には移植可能な代替手段がないため、宣言は無視される。
• C++から簡単にアクセスできないデストラクタ(例:extern(D) )をプライベート・メンバとして発行する。 C++側では破棄されないインスタンスの生成を防ぐ。 インスタンスの生成を防ぐ。
• Dマングリングで生成される集合体のextern(C) 関数を生成しなくなった。 関数を生成しなくなった。

注釈: ヘッダー・ジェネレーターはまだ実験的なものである。 バグがあればバグトラッカーに送ってほしい。

このリリースから、scope を宣言の型制約として使用すると、コンパイラー・エラーになる。interface 宣言に対する型制約として を使用すると、コンパイラー・エラーになる。

scope interface I { }  // エラー: 型制約としての`scope`は廃止された。代わりに`scope`を使用すること。

すべてのinout 関数がその引数を返すという前提の下、コンパイラは以前はinout 関数にreturn 属性を追加していた。 inout しかし、const とimmutable は推移的であるが、return セマンティクスは推移的でないため、inout 引数のメンバを返すこともできる。

@safe:

struct Node
{
    Node* next;
    int x;

    // この構造体へのポインタをエスケープする
    // これは`inout`のおかげで許されていた
    @safe inout(int)* getScopePointer() inout
    {
        return &this.x;
    }

    // しかし、この構造体へのポインタを返さない場合はどうなるか?
    // `inout`は推移的なので適用されるが、`return ref`は適用されない
    // コンパイラは、返されたポインタをスコープポインタとして不必要に扱う可能性がある
    @safe inout(int)* getNonScopePointer() inout
    {
        return &this.next.x;
    }

    // 最初のケースに対する修正方法:
    // もし`inout` + `return ref`が必要なら、両方のアノテーションを付ける
    @safe inout(int)* getScopePointer() inout return
    {
        return &this.x;
    }
}

時には、不変量が有効になっているときだけコードをコンパイルすると便利なことがある。この この機能は、予約バージョン識別子D_Invariantsを提供する。 に評価される。

bool hit;

class Foo
{
    this() {}
    invariant { hit = true; }
}

void main()
{
    cast(void) new Foo();

    version(D_Invariants) assert(hit); // コンパイルされた場合に実行される
}

@mustuse は、 または 型に適用できる新しい属性である。 に適用できる新しい属性である。これは 例外を使用できないコードに対して、代替のエラー処理メカニズムを実装するために使用できる。 、BetterCコードを含む。 struct union @nogc

詳細は DIP 1038を参照のこと。

静的配列のインスタンスで.tupleof プロパティを使用することができるようになり、配列の各要素のl 値シーケンスが得られるようになった。

これは静的配列インスタンスに対してのみであることに注釈:。適切なチェックが欠けている古いコードを壊さないようにするため、型に使用してもエラーとなる。回避策として、typeof((T[N]).init.tupleof).

void foo(int, int, int) { /* ... */ }

int[3] ia = [1, 2, 3];
foo(ia.tupleof); // `foo(1, 2, 3);`と同じ

float[3] fa;
//fa = ia; // エラー
fa.tupleof = ia.tupleof;
assert(fa == [1F, 2F, 3F]);

このリリース以前は、this またはsuper を型として使用すると、代わりに または を使用するようコンパイラに指示するエラーが発生した。 typeof(this) typeof(super) エラーが発生した。これは現在 パーサーはこの間違ったコードを認識しなくなった。 パーサーはこの間違ったコードを認識しなくなった。

DMD2.099.0では、switch caseのbreak; 。 DMD2.099.0ではエラーになった。 しかし、1つのcase文で複数の値を使用しても、コンパイラーはエラーを出さなかった:

void main()
{
    int i = 0;
    switch (10)
    {
        case 10, 11:
            i = 4;
            // 偶発的なフォールスルーが許される
        default:
            i = 8;
    }
    assert(i == 4); // 失敗
}

このバグは修正されたが、コードの破損を避けるため、この特定のケースは非推奨の警告を出すようになった。 DMD 2.110からは、他のswitch case fallthroughのケースと同様にエラーが発生する。

これは、構造体のフィールドを関数の引数として渡すために使用される。例えば の要素に名前を付けるために使用できる。 std.typecons.Tuple:

import std.stdio;
import std.range;
import std.algorithm;
import std.functional;

void printWithLineNumbers(File f)
{
    f.byLine
        .enumerate
        .each!(bind!((num, line) {
            writefln("%8d %s", num, line);
        }));
}

詳細は標準ライブラリのドキュメント を参照のこと。

Nullable は、0 要素または 1 要素の範囲インターフェイスを提供するようになった。

import std.stdio;
import std.algorithm;
import std.typecons;

void printValues(Nullable!int[] values)
{
    values.joiner.each!writeln();
}

同梱のzlibがバージョン1.2.12に更新された。

rdmdは使用するDコンパイラを選択するために、環境変数RDMD_DMD (環境に存在する場合)を使用するようになった。--compiler オプションと同様に、この変数の値にはgdmd やldmd2 のような DMD ライクなコマンドライン構文を持つコンパイラの名前またはパスを指定しなければならない。 この変数はデフォルト(rdmd がビルドされた時点で決定される)をオーバーライドするが、--compiler オプションでオーバーライドすることもできる。

DubはdynamicLibrary targetTypeをstaticLibraryとしてビルドしなくなった。

x86_omfを除く。x86_omfは、期待された動作をしないことにつながる多くの問題があるため、無効化されている。

現時点ではコンパイラやリンカのフラグは追加されていないので、コンパイラが"phobos"に対して動的にリンクするようにするには、関連するフラグを指定する必要がある。

$DUB_BUILD_PATH 変数がpostBuildCommands セクションの中で定義されるようになった。この変数には、パッケージがビルドされた絶対パスが格納される。 ビルドプロセスの副産物を目的の場所にコピーするのに使われる。

例えば、実行ファイルがシンボルをエクスポートする場合、インポートライブラリとシンボルエクスポートファイルをどこかで利用できるようにしたい。 インポートライブラリとシンボルエクスポートファイルをどこかで利用できるようにしたい。それは dub.json :

    "postBuildCommands-windows": [
        "copy /y $DUB_BUILD_PATH\\$DUB_TARGET_NAME.lib $PACKAGE_DIR\\lib"
        "copy /y $DUB_BUILD_PATH\\$DUB_TARGET_NAME.exp $PACKAGE_DIR\\lib"
    ],

これでユーザーは、ラッパー・シェル・スクリプトを使わなくても、文書化された定義済み変数をカスタム・コマンド ディレクティブの中で使えるようになった。

以前なら失敗していただろう:

"preBuildCommands": ["$DC -run foo.d"]

DCがDUBの外部で環境変数として定義されていなければ。

以前は、$DC環境変数を使用するスクリプトを実行したり、POSIX上で。 $ を$$DC でエスケープして、シェルに変数を代入させることができた。 これらの回避策は現在では必要ない。

APIの変更:どのコマンドディレクティブもプロセス環境変数で置き換えられなくなった。 をプロセス環境変数で置き換えることはなくなった。ユーザがレシピで提供した生のコマンドにアクセスできるようになった。 dub describe 。 が調整され、プロセス環境変数だけでなく、定義済みの環境変数も処理するようになった。 環境変数も処理するようになった。

DUBが/usrにインストールされているLinuxディストリビューションでは、DUBが/etc/dub/settings.json(絶対パス)から読み込むようになった。 にインストールされている場合、DUBは/etc/dub/settings.json(絶対パス)からロードする。 (絶対パス)からロードする。

以前は、 にインストールされている場合、設定は /usr/etc/dub/settings.json /usr/bin/dub から読み込もうとしていた。これはまだ 存在する場合はロードされるが、存在しない場合は/etc/dub/settings.json がロードされる。

各(サブ)パッケージは、そのパッケージに直接または間接的に依存する実行ファイルやダイナミック・ライブラリにインクルードされるソース・ファイルをサポートするようになった。

これは、依存するパッケージが登録メカニズムが必要であることを認識しなくても、依存するパッケージ内でパッケージの要素を登録したり解除したりするために使用できる。

これに匹敵する既存の機能として、sourceLibrary targetTypeがある。 sourceLibrary targetType は、スタティック・ライブラリ、ダイナミック・ライブラリ、または実行可能な(サブ)パッケージによって依存されるまで、ソースコードのコンパイルを延期する。 sourceLibraryとは異なり、この機能を使用してソースコードをインジェクションすると、依存関係グラフの深さに関係なく、それに依存するすべてのダイナミック・ライブラリと実行可能ファイルにインジェクションされる。