変更ログ 2.101.0

これはImportCのビット・フィールドと同じように機能する。

https://github.com/dlang/dlang.org/pull/3190

struct B
{
    int x:3, y:2;
}

static assert(B.sizeof == 4);

int vaporator(B b)
{
    b.x = 4;
    b.y = 2;
    return b.x + b.y; // 6を返す
}

__traits(classInstanceSize) を補完する。 アライメントを提供する:

align(__traits(classInstanceAlignment, C))
void[__traits(classInstanceSize, C)] buffer;

extern(C) デフォルトの シグネチャを使用する場合、CRTコン/デストラクタはもう必要ない。 デフォルトの シグネチャを使用する場合、CRTのcon/destructorにはもう必要ない。 void ()

これにより、コードが最適化を有効にしてコンパイルされているかどうかを区別できるようになる(-O フラグが提供されている)。 これは、-release モードが有効かどうかとは無関係である。 定義済みバージョンassert,D_NoBoundsChecks,D_Invariants などを参照のこと。

これまでコンパイラは、in とout 関数の契約から例外をスローし、スロー関数を呼び出すことができた。nothrow 関数のコントラクトが例外をスローし、throw関数を呼び出すことを認めていた。これは nothrow 保証を破ることになるため、非推奨のお知らせが表示されるようになった。

// 非推奨:
float sqrt(float n) nothrow
in
{
    if (n < 0)
        throw new Exception("n must be positive");
}
do
{
    // ...
}

// FIX: nothrow属性を削除するか、アサーションを使用する
float sqrt(float n) nothrow
in
{
    assert(n >= 0);
}
do
{
    // ...
}

問題は、意味を持たない単一の数値名前空間を提供するだけだということだ。 有効にする機能を記述したバージョン識別子を使う方が良い。 フォーラムのこのスレッドも参照のこと。

// 現在は非推奨:
version = 3;
version (2) { }

debug = 4;
debug (5) { }

// 代わりに識別子を使う:
version = HasX;

version (HasX)
    void x() { /* ... */ }
else
    void x() {}

scope 属性は長い間存在していたが、コンパイラーはコードの破壊を避けるため、-preview=dip1000 スイッチが渡されたときのみそのセマンティクスを検証していた。 スコープ変数に格納されたポインタや参照は、その変数が定義されているスコープから抜け出すことはできない。

通常、ガベージ・コレクタ(GC)がメモリの解放を行うので、変数にscope マークを付ける必要はない。 しかし、D言語ではローカル変数を指すポインタやスライスを作成することができる。ポインタやスライスは、スタックベースのメモリ割り当てを使用し、そのスコープの終了時に破棄される。 @safe コードでは、このようなポインタの作成が禁止されているか、scope セマンティクスが強制されていることが重要である:

@safe:
int[] getSlice()
{
    int[4] stackBuffer;
    int[] slice = stackBuffer[]; // スライスは、スタック上に確保されたローカル変数を指す
    return slice; // ぶら下がるポインター!
}

struct S
{
    int x;

    int* get()
    {
        int* y = &this.x; // この構造体のインスタンスは、ローカル変数になる可能性がある
        return y; // 危険!
    }
}

このリリースから、スタック・メモリーへのポインターについて、@safe のコードでscope のセマンティクスが強制されるようになったが、これは非推奨の警告に過ぎない。 ただし、非推奨警告としてのみである。最終的にはエラーになる。 すぐにエラーにするには、-preview=dip1000 を使用する。 非推奨の警告を無効にするには、-revert=dip1000 を使用する。

DIP1000の原文は古いので、ドキュメントについては仕様ページを参照されたい:

• スコープとリターンパラメータ
• スコープ属性
• スコープ・パラメータ
• リターン・スコープ・パラメータ
• リターン・スコープ・パラメーター
• 純粋関数におけるスコープ・パラメータの推論

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

• C++11互換ヘッダーを生成する際、仮想関数をオーバーライドする場合はoverride キーワードでマークされるようになった。 でマークされるようになった。
• 最終仮想関数は、C++11 互換ヘッダーの生成時にfinal キーワードでマークされるようになった。 が付くようになった。

注釈: ヘッダー・ジェネレーターはまだ実験的なものである。 バグが発生した場合は、バグトラッカーに報告してほしい。

コンパイラは、結果が一意であると判断した場合、間接参照を含む戻り値を暗黙的に不変に変換することができる。 以前は、このチェックは間接関数の型を検査し、int[] からvoid[] のような変換を考慮することを忘れていた:

int[] f(ref void[] m) pure
{
    auto result = new int[5];
    m = result;
    return result;
}

void main()
{
    void[] v;
    immutable x = f(v);
    // `v`は不変の変数`x`の変更可能なエイリアスである
}

この問題は15660号として提出され、しばらく前にチェックをより厳格にすることで修正された:呼び出される関数は強く純粋でなければならない。 しかし、コードの破損を避けるため、この修正は-preview=dip1000 スイッチでのみ有効であった。 これはdip1000(scope ポインタに関するもの)とは無関係なので、この修正は新しい-preview=fixImmutableConv スイッチに移された。

副作用のないvoid型の式文は、効果がないので破棄されるべきである。 型の式文は、効果がないので破棄されるべきである。コンパイラは通常、このようなステートメントを許可しない。 しかし、return文の場合、このエラーは回避される。 エラーは回避される。例:

struct StackBuffer
{
    auto opIndex(size_t i)
    {
        return arr[i];
    }

private:
    void[] arr;
}

このコードはコンパイル可能だが、opIndex を呼び出すとエラーになる。 なぜなら、戻り値の型がどこかに格納されていなければならないからである。 変数はvoid型であってはならない)、あるいは呼び出しは何の効果も持たないからである。

このリリースから、関数から破棄されたvoid値を返すこと を返すことは非推奨である。そのようなコードは、確実に死んだコードなので削除して構わない。

ISO Cはtypeof 演算子を指定していないが、広く実装されているベンダーの拡張機能である。 ImportCはこの拡張も実装するようになった。

認識されるのはtypeof(...) の形式のみで、他のコンパイラーは、 と のどちらか一方しかサポートしていない。 __typeof__(...) __typeof(...) これらの形式を使用するImport Cは、#definesで正規化する必要がある。

このリリースでは、-transition=markdown を削除した。 スイッチ、および-revert=markdown スイッチはddocドキュメントブロックのマークダウン置換を無効にする。

マークダウン置換は以前からデフォルトであり、このリリースでは は常に実行される。

これにより、キーが挿入される前に、2つの連想配列参照が同じ を指すことができる。

int[string] a = new int[string];
auto b = a;
...
a["seven"] = 7;
assert(b["seven"] == 7);

注釈: NULL連想配列参照にキーを挿入する前に、new を呼び出す必要はない。 のキーを挿入する前に をコールする必要はない。 インスタンスは確保される。

-preview=in の意図は、in を D の入力パラメー タ用のストレージクラスとして使用できるようにすることである。 しかし、scope const ref の拡張版であるため、D中心である。 通常、extern(D) 以外の関数は特定のABIに適合することが期待されている、 in 。

C++には、入力パラメーター用の"go to"ストレージ・クラス(const T& )もある、 in は、const T& パラメータにバインドするために、extern(C++) 関数に適用することもできる。 これにより、const ref を介するよりも、より近いAPIを関数に公開することができる、 in 、C++のようにconst T& に "r値"をバインドすることができる。

DIP 1043---短縮メソッド構文が受け入れられ、フラグ-preview=shortenedMethods はもはや短縮関数本体を書くのに必要ない:

int add(int x, int y) pure => x + y;

// 同等のフル関数ボディ:
int add(int x, int y) pure
{
    return x + y;
}

プレビュー・フラグは、将来のリリースで非推奨になるまで、まだ機能する。

トロイの木馬のソースInvisible Vulnerabilities(目に見えない脆弱性)」は、様々なプログラミング言語で悪意を持ってコードを隠蔽するために、どのように利用できるかを示している。 Dも影響を受ける。

これを防ぐため、コンパイラーはソース・ファイル中にこれらの文字列が現れるとエラーを発するようになった。 方向性のオーバーライドを含む文字列リテラルが必要な場合は、代わりにエスケープ・シーケンスを使用する:

string s = "\u202E\u2066";

いくつかのプロジェクトのコンパイルには、以前より多くのスタック容量が必要になる。 現在、DMDはLDCと同じ制限を持つ。 スタック制限を増やした と同じ制限になった。

機能フラグcore.cpuid.avx512f が追加された。 を検出できるようにした。

このオプションは2.072.2で導入され、モジュールコンストラクタの古い欠陥サイクルチェッカに依存していたコードの移行を助けるために導入された。 現在は警告を表示し、デフォルトの--DRT-oncycle=abort と同じ動作をする。 こちらも参照のこと:静的構築の順序も参照のこと。

SIGUSRは "システム"ライブラリ(例えば、AndroidのDalvik VMやLLVMのlibFuzzer)で使われる可能性がある。 Dalvik VMやLLVM libFuzzer)で使われる可能性がある。 SIGRTはユーザー定義の目的用に予約されており、衝突する可能性は低い。

使用されるシグナルは、早期に core.thread.osthread.thread_setGCSignals().

RefCounted は、 のコードでのみ使用できる。 ペイロードへの参照をエスケープする可能性があるためである。 その修正コピー、 が追加された。また 関数 "が追加され、安全にペイロードにアクセスし、変更できるようになった。 、ペイロードへの参照がエスケープされるのを防ぐ。 @system std.typecons.SafeRefCountedborrow-preview=dip1000 @safe

@safe pure nothrow void fun()
{
    import std.typecons;

    auto rcInt = safeRefCounted(5);
    assert(rcInt.borrow!(theInt => theInt) == 5);
    auto sameInt = rcInt;
    assert(sameInt.borrow!"a" == 5);

    // 関数内で`ref`を使う
    auto arr = [0, 1, 2, 3, 4, 5, 6];
    sameInt.borrow!(ref (x) => arr[x]) = 10;
    assert(arr == [0, 1, 2, 3, 4, 10, 6]);

    // modifying the payload via an alias
    sameInt.borrow!"a*=2";
    assert(rcInt.borrow!"a" == 10);
}

ペイロードへの直接アクセスは、残念ながら@system 。しかし -dip1000 参照をエスケープすることはできないが、スコープ終了前に最後の参照を破棄することは可能だ。 スコープが終了する前に最後の参照を破棄することは可能である:

int destroyFirstAndUseLater()
{
    import std.typecons;

    auto rc = SafeRefCounted!int(123);
    int* ptr = &rc.refCountedPayload();
    destroy(rc);
    return *ptr; // 解放されたメモリから読み込む。これをやってはいけない。
}

副次的な効果として、私たちは次のことを可能にした。 std.file.dirEntries@safe を-preview=dip1000 。

@safe であるRefCounted のメンバ関数の中には、そうでないものもある。 SafeRefCounted.RefCounted "型"とrefCounted "関数"は、旧来の動作でまだ利用できる。 型と 関数は、古いビヘイビアでも利用できる。しかし、それらの主な目的は後方互換性である。 互換性である。新しいコードには推奨されない。

std.experimental.loggerパッケージはstd.loggerになった。古いパッケージとモジュールは まだ利用可能で、新しいものを一般にインポートする。非推奨をエラーとしてコンパイルする 今のところ、古いモジュールは非推奨になっていない。

この変更以前は、std.experimental.loggerはコンパイル時にロギングを無効にする機能を持っていた。 ロギングを無効にする機能があった。 また、コンパイル時に最小LogLevelを設定することも可能だった。 得られる機能、追加される複雑さ、エラーの起こりやすさのトレードオフは、後者の2つの項目に大きく傾いていた。 のトレードオフは、2番目の2つの項目に大きく傾きすぎていた。 この変更により、これらのコンパイル時機能が削除された。

安全でないコードをより明示的にするために、std.experimental.logger.sharedLog がLoggerの代わりにshared(Logger)を返すようになった。

これはstd.typecons.wrap 、structで動作する実装でアップデートしようとしたものだが、どこにも行かなかった。 フォーラムのこの投稿を参照のこと。

このモジュールは当初2.076.1で非推奨とされ、092.0で非推奨とされたシンボルがすべて削除され 2.092.0で非推奨シンボルがすべて削除され、代わりに std.digest またはそのサブモジュールをインポートするようになった092.0以降、空になっている。

このモジュールは古く、phobosの現在の標準に合っていないと考えられる。 もしまだ必要なら、https://github.com/DigitalMars/undeaD。

dip1000に準拠するため、std.socket.Socket 。scope 属性を持つようになった。これにはreceive とsend setOptionフレーバーが含まれる。技術的には のユーザーにとっては技術的には変更されないが、Socket から派生する場合は、その派生物に属性を適用しなければならない。 を適用しなければコンパイルに失敗する。しかし、属性を適用することは 属性を適用することは、以前のバージョンの Phobosとの後方互換性があるため、移行パスは必要ない。 移行パスは必要ない。

std.outbuffer.OutBuffer 、fill、alignSize、align{2,4}メソッドを拡張して、フィル時に(アラインメントまで)書き込む値を指定する。 のメソッドを拡張する。

フラッシュ・デバイス・イメージの場合、0xffをフィル値として使用することが望ましい、 なぜなら0xffはプログラムされていないフラッシュ・メモリ・セルの値だからである。パディング を 0 で埋めるには、フラッシュ・セルを 0xff から 0x00 にプログラムする必要がある。 フラッシュ・メモリ・デバイスの消耗を増加させる。通常 通常、フラッシュ・メモリ・イメージの最後には、より大きなブロックがある。 をフラッシュ・デバイスのサイズ(通常は2の累乗)までパディングしなければならない。代わりに PRでは0x00でパディングする代わりに0xffで埋めることができる。

その他にも、0x00以外の値でアライメントギャップを埋めることが合理的な使用例があるかもしれない。 アライメント・ギャップを0x00以外の値で埋めることが合理的な場合もある。 や16進エディターで出力データを見るときなどである。例えば、デバッグや16進エディターで出力データを見るときなどである。 パディングされたスペースに0x55や0xaaのようなカスタム値が含まれている場合、ギャップを見つけるのは簡単だ。

新しいフィル・メソッドが追加された。 で埋めることができる。

OutBuffer buf = new OutBuffer();
buff.fill( 1234, 42 ); // 1234バイトをbuf.offsetから始まる42バイトで埋める
buff.fill( 10 );       // fill0( 10 );と同等

alignSize、align{2,4}メソッドは、要求されたアライメント境界へのパディングにユーザー定義の値を使うように修正された。 値を使うように修正された。

OutBuffer buf = new OutBuffer();
buf.write(cast(ubyte) 1);
buf.align2(0x55);
assert(buf.toBytes() == "\x01\x55");
buf.write(cast(ubyte) 2);
buf.align4(0x55);
assert(buf.toBytes() == "\x01\x55\x02\x55");
buf.write(cast(ubyte) 3);
buf.alignSize(8, 0x55);
assert(buf.toBytes() == "\x01\x55\x02\x55\x03\x55\x55\x55");

dub build --config=unittest --build=unittest[-cov] をビルドできるようになった。 のテストランナー実行ファイルのビルドを真似ることができるようになった。 これには既存の 。 dub test [--coverage] unittest

dub describe --config=unittest 実行ファイルへのパスを導き出すことができる。 を導き出すことができる。

dub出力がより読みやすく改良された、 つまり、出力の中で最も重要な情報 がカラー化/太字化された。

CLIツールの常として、この動作は出力がTTYであろうとなかろうと自動的にオンになる。 この動作は、出力がTTYであるかどうかにかかわらず、自動的にオンになる。TTYがある場合に古い出力を強制するには を強制するには、--color=off を使用する。TTYがない場合に色付きの を強制するには、--color=on を使用する。

on またはoff に設定されている場合、--color フラグは自動的にコンパイラに転送される。 コンパイラに転送される。これは特にCI パイプラインで特に有用である。

以前は、dubは認識できないものを黙って受け入れていた。 dub.json [dub.]settings.json dub.selections.jsonを黙認していた。当初の意図は 当初の意図は前方互換性を簡単にすることだったが、それは有害であることが判明した。 タイプミスはユーザー設定が無視されたことを意味するからだ。

このリリースから、dubは設定ファイル やdub.selections.json 。10リリース以降、これらの警告はエラーに変わる。

これらは既存のビルド型cov とunittest-cov をそれぞれ拡張したものである。 コンパイラに渡されるフラグのセットに-cov=ctfe を追加する。

DUBがダウンロードしたパッケージやユーザー設定を保存する場所を、環境変数やdubのコンフィギュレーションで設定できるようになった。ユーザー設定の保存場所を指定するには、環境変数またはシステム全体のdubの設定を使用する必要がある。

デフォルトでは、DUBはパッケージを

• Windowsに保存される: %APPDATA%/dub/settings.json +%LOCALAPPDATA%/dub/packages/
• Posix:$HOME/.dub/{packages/,settings.json}

環境変数DUB_HOME が設定されている場合、代わりにパッケージ(およびその他の設定)を

• $DUB_HOME/{packages/,settings.json}

あるいは、DUB_HOME が設定されておらず、DPATH が設定されている場合、以下のパスが使用される:

• $DPATH/dub/{packages/,settings.json}

DPATH 環境変数は、ユーザースペースでインストールを行うすべてのDツール関連で使用されることを意図している。ホームフォルダーが散らかるのを避けるために使うことができる。

環境変数に加えて、DUBのsettings.jsonファイルを通してパッケージの配置パス＋settings.jsonパスを設定することも可能だ。ユーザーが編集可能なsettings.jsonをどこに置くかを設定するには、システム全体のdub設定を調整する必要がある。

settings.jsonでは、以下のフィールドを設定できる:

{
    "dubHome": "/path/to/dub", // sets both package store and config location
}

さらに、これらの設定パスには、$VARIABLE 構文を使った環境変数が解決される。

以下のリストは、どのパスが選択されるかを上から順に説明したもので、パスが見つかるたびに停止する:

• $DUB_HOME 環境変数
• $DPATH 環境変数
• システム全体のsettings.json:"dubHome" プロパティ(userSettingsのみ)
• 最も具体的なsettings.json:"dubHome" プロパティ(localRepositoryのみ)

いくつかのDUBコマンドは、終了コード1の代わりに終了コード2を返すように調整された。終了コード1は常に使用法のエラーに使用され、終了コード2はより一般的なエラーの発生やパッケージのロードに失敗した場合に使用される。

以下のコマンドが影響を受ける:

• dub clean
• dub add
• dub search
• dub convert
• 'install'と'uninstall'コマンドが削除された。

  これらのコマンドは、それぞれfetch とremove 、 のエイリアスであり、使用すると警告が表示された。 これらのコマンドはもはやヘルプにコマンドとして表示されず、dubはこれらを認識しない。

• copyFiles が読み取り専用ファイルのコピーに使われた場合、そのコピーを書き込み可能にした。

  以前は、Dubを事前に実行したためにターゲット・ファイルがすでに存在していた場合、copyFiles 。 エラーを発生させていた。この動作の影響を受けていた場合は、以下の方法でファイルを削除する必要がある、 このようなエラーをなくすには、一度手作業でファイルを削除する必要がある。

  バージョン管理システムでは、マージ不可能な形式のファイルの同時編集を防ぐために、作業コピーのバイナリファイルを読み取り専用にするのが一般的である。 にするのが一般的である。

• オーバーライド・システムは非推奨である。

  Dubには「オーバーライド」システムがあった。 を特定のパッケージでオーバーライドすることができる。 このオーバーライドシステムは、純粋にバージョンベースのアプローチを念頭に開発された、 しかし、開始以来、依存関係を指定する方法が追加されてきた、 オーバーライドアプローチは冗長であり、他のアプローチよりも柔軟性に欠ける。 このリリースから、dubはオーバーライドファイルが見つかると警告を出すようになった、 またはdub add-override /dub remove-override コマンドを使用すると警告が表示される。

• dub run "のショートカット構文がサブパッケージでも使えるようになった。

  dub :subpackage"としてdubを起動すると、"dub run :subpackage"と同じ意味になる、 "dub"が"dub run"と同じである。

• すべてのサブパッケージを一度にアップグレードする

  新しい"-s"スイッチにより、ベースパッケージと一緒にすべてのサブパッケージを "dub upgrade"することができる。 dub upgradeができるようになった。これは、完全に再現可能な ビルドとテストのためのより良いワークフローを提供することを目的としている。