変更ログ 2.078.0

opDispatch 言語仕様の既存のスコープ解決ルールに準拠するために、 文の解決が変更された。 言語仕様のwith WithStatementを参照のこと。

このリリース以前は、Bar がf() またはopDispatch を実装していないため、f() への2回目の呼び出しをコンパイラが解決できず、以下のコードはコンパイルできなかった。

import std.stdio;

struct Foo
{
    void opDispatch(string name)()
    {
        mixin("writeln(\"Foo.opDispatch!" ~ name ~ "\");");
    }
}

struct Bar
{
    // `Bar`は`f()`または`opDispatch`実装していない
}

void main()
{
    Foo foo;
    Bar bar;

    with(foo)
    {
        f();       // "Foo.opDispatch!f"を表示する
        with(bar)
        {
            f();   // このリリース以前は: Error: undefined identifer `f`
                   // このリリースから: "Foo.opDispatch!f"と表示する。
                   // `f`の解決はスコープ階層上に転送されます
        }
    }
}

今回のリリースから、f() への2回目の呼び出しは、Foo.opDispatch の実装に合わせて、スコープ階層上に転送されるようになった。

サポート DIP1003 のサポートがリリース2.075.0で追加された。body エラーメッセージと の使用が修正された。

これにより、プログラムは初期化コードを C のメイン・コードに追加された。

特にこれらのプラグマは、-betterC のコードで、次のような代用として使うことができる。 および shared static this()そして shared static ~this().

注釈:druntime実行時には初期化されていない。

注釈:コンストラクターの実行順序は不定である。

import core.stdc.stdio;

pragma(crt_constructor)
void init()
{
    puts("init");
}

pragma(crt_destructor)
void fini()
{
    puts("fini");
}

extern(C) int main()
{
    puts("main");
}

言語仕様にはこうある: "両方のオペランドがポインターで、演算子が-である場合、ポインターは減算され、結果はオペランドが指す型のサイズで除算される。ポインタが異なる型を指している場合はエラーである。"

このリリース以前は、コンパイラーは以下のようなポインター演算を許可していた:

void* p1;
int* p2;
auto p3 = p2 - p1;

このリリースから、異なる型を指すポインタの減算は非推奨の警告を発するようになった。 この警告は少なくとも1年間は表示され、その後はエラーに変更される。

このリリース以前は、以下のコードはコンパイルできなかった。

class C(Types...)
{
    void apply(U)(U delegate(Types[0]) f0) { }  // エラー: 引数の型から関数を推測できない
}

void test()
{
    C!int c;

    int f(int) { return 0; }

    c.apply(&f);
}

この問題は、alias、個々のテンプレート引数で回避することができる。

class C(Types...)
{
    alias Types[0] T0;
    void apply(U)(U delegate(T0) f0) { }  // OK
}

このリリースから、この回避策は必要なくなった。

Cの積分昇格ルールに従うため、単項演算子 + - または ~ 演算子が適用される前に、型はint に昇格される。 に昇格される。既存のDではこれが行われない。

これは、以下のコマンドラインスイッチのいずれかを使用すると修正される:

-transition=intpromote -トランジション=16997

これは、byte 、ubyte 、short 、ushort 、char 、wchar 型のオペランドに影響する。 オペランドは、演算子が適用される前にint に昇格される。その結果 型はint となる。

計算される値は、オペランドの値によって異なる:

• ubyte、ushort、char、dchar オペランドに適用される - と ~ の値はすべて変化する。

• -byte(-128) と-short(-32768) の値が変更される。

transition='スイッチのいずれかが指定されていない場合、これらの操作に対して非推奨の警告が発せられる。 deprecationを修正し、'-transition='スイッチの有無にかかわらず希望どおりに動作させるには、次のようにする:

オプション1:

op b 、正しい、つまりCのような動作を使うようにop int(b) 。

オプション2:

op b をtypeof(b)(op int(b)) に書き換え、古い動作を維持する。

非推奨になれば、これはエラーとなり、Cのような動作がデフォルトとなる。

ModuleInfoプログラム作成者が、ModuleInfo を含まないDランタイムの代替実装を提供することを選択するユースケースがある。 これは、他のソフトウェアとの相互運用性や、リソースに制約のあるプラットフォームでDプログラムのフットプリントを削減するためである。

このリリース以前は、ModuleInfo がDランタイムで宣言されていないと、コンパイラーはエラーを発していた。

プラットフォームのサポートはDランタイムによって提供される。ModuleInfo はobject.dで宣言されている。したがって、コンパイラーはコンパイル時に、プラットフォームがModuleInfo をサポートしているかどうかを確認し、それに応じてオブジェクト・コードを生成することができる。

今回のリリースから、ModuleInfo がDランタイムで宣言されていない場合、コンパイラーは単純にModuleInfo インスタンスを生成しない。

これにより、Dを新しいプラットフォームに漸進的に移植し、より従量制の方式でDを使いたい人の摩擦が減るはずだ。

これは、scope(exit)文も動作することを意味する。 なぜなら、それらは内部的に try-finally 文に格下げされるからである。

これは、例外がサポートされているという意味ではない。スローする、 キャッチやスタックフレームの巻き戻しはサポートされていない。 のサポートが必要だからである。

つまり、RAIIでは、変数がレキシカル・スコープから外れると、そのデストラクタが実行される。 デストラクタが実行される。try-finally文のtryブロックが終了すると、finallyブロック内のコードが実行される。 が終了すると、finallyブロック内のコードが実行される。

dmdは、"Command Line prompt for Visual Studio "リンクを使用してコンソールウィンドウを開いた場合(またはvcvarsall.batを実行した場合)に通常設定される環境変数を判断するようになった。これには、Windows SDK ディレクトリと Visual C ライブラリ・ディレクトリが含まれる。m64または-m32mscoffでコンパイルする場合、インストーラーによってVisual Studioのバージョンが事前に選択されていなくても、dmdがリンカーを起動できるようになる。

特に、変数 WindowsSdkDir, WindowsSdkVersion, UniversalCRTSdkDir、 UCRTVersion、VSINSTALLDIR、VisualStudioVersion、VCINSTALLDIR、およびVCTOOLSINSTALLDIRは、環境またはsc.iniで設定されていない場合、レジストリから決定される。 環境またはsc.iniで設定されていない場合は、レジストリから決定される。

サポートされるWindows SDKの範囲は7.0Aから10.xまでで、サポートされるVisual Studioのバージョンは以下の通りである。 VS 2008からVS 2017まで。複数のバージョンがインストールされている場合は、最も高いバージョンが優先される。

core.runtime.extendedModuleUnitTester プロパティで、実行されたテストとその結果の処理方法に関する情報を指定できる。 を指定できるようになった。詳細は のドキュメントを参照のこと。 core.runtime.UnitTestResult

core.runtime.moduleUnitTester (boolを返すunittestハンドラを設定する)。 は、レガシープロジェクトでは引き続きサポートされる。

import core.runtime;
import core.stdc.stdio: printf;

UnitTestResult customTester()
{
    UnitTestResult ret;

    // 自分のパッケージのテストだけを実行する
    immutable prefix = "myPackage.";
    foreach (m; ModuleInfo)
    {
        if (m.unitTest !is null && m.name.length >= prefix.length &&
              m.name[0 .. prefix.length] == prefix)
        {
            ++ret.executed; // 実行したユニットテストを数える
            try
            {
                m.unitTest();
                ++ret.passed; // 通過したユニットテストを数える
            }
            catch(Throwable t)
            {
                auto msg = t.toString();
                printf("%.*s\n", cast(uint)msg.length, msg.ptr);
            }
        }
    }
    // 常にまとめる
    ret.summarize = true;
    // ユニットテストのみ実行し、メインテストは実行しない
    ret.runMain = false;
}

version(unittest) static shared this()
{
    Runtime.extendedModuleUnitTester = &customTester;
}

フォーマットはGCと同じだが、covopt を接尾辞として使う。 のようにスペースで区切ってオプションを渡すことができる。 dstpath:/tmp"`.

これらは現在使用可能なオプションである:

マージ

1の場合、現在の実行を既存のレポートとマージし、0の場合、既存のレポートを上書きする。

srcpath

ソース・ファイルが置かれているパスを設定する。

dstpath

リスト・ファイルが書き込まれる場所へのパスを設定する。

std.algorithm.iteration.meanを正確に求める を正確に求める。

import std.algorithm.iteration : mean;
import std.math : approxEqual;

int[] arr1 = [1, 2, 3];
real[] arr2 = [1.5, 2.5, 12.5];

assert(arr1.mean.approxEqual(2));
assert(arr2.mean.approxEqual(5.5));

// ユーザー定義の数値型も使える
import std.bigint : BigInt;

auto bigint_arr = [
    BigInt("1_000_000_000_000_000_000"),
    BigInt("2_000_000_000_000_000_000"),
    BigInt("3_000_000_000_000_000_000"),
    BigInt("6_000_000_000_000_000_000")
];
auto seed = BigInt(0);
assert(bigint_arr.mean(seed) == BigInt("3_000_000_000_000_000_000"));

以前は std.algorithm.searching.findSkipは だけだった。新しいオーバーロードでは がtrue を返す場合、その範囲の要素はスキップされる:

import std.ascii : isWhite;
string s = "   abc";
assert(findSkip!isWhite(s) == 3 && s == "abc");
assert(!findSkip!isWhite(s) && s == "abc");

std.array.byPairは名前付きタプルを返すようになった。

import std.array : byPair;
import std.typecons : Tuple;

int[string] dict = ["b": 2, "c": 3];
auto pairs = dict.byPair;
static assert(is(typeof(pairs.front) : Tuple!(string,int)));

// インデックスによるアクセス(既存の方法)
assert(pairs.front[0] == "b");
assert(pairs.front[1] == 2);

// 名前によるアクセス(このリリースで有効e)
assert(pairs.front.key == "b");
assert(pairs.front.value == 2);

linearRemoveElement dlistから最初に出現した要素を削除する。

import std.container : Dlist;
import std.algorithm.comparison : equal;

auto a = DList!int(-1, 1, 2, 1, 3, 4);
a.linearRemoveElement(1);
assert(equal(a[], [-1, 2, 1, 3, 4]));

linearRemoveElement 最初に出現した要素をリストから削除する。

import std.container : Slist;
import std.algorithm.comparison : equal;

auto a = SList!int(-1, 1, 2, 1, 3, 4);
a.linearRemoveElement(1);
assert(equal(a[], [-1, 2, 1, 3, 4]));

Transposedは前方範囲として誤ってマークされている。そのpopFront プリミティブ は、save で作成された他のコピーに影響を与えることなく使用することはできない。save は2018年11月にTransposedから削除される。 2018年11月にTransposedから削除される。

auto x = [[1,2,3],[4,5,6]].transposed;
auto y = x.save;
y.popFront;
assert(x.equal([[1,4],[2,5],[3,6]])); // 失敗、xは本当は[[2,5],[3,6]]

詳細については、それぞれのBugzilla issueを参照のこと。

これで std.typecons.Ternaryboolを使ったビット演算ができるようになった:

import std.typecons : Ternary;

Ternary a = Ternary(true);
assert(a == Ternary.yes);
assert((a & false) == Ternary.no);
assert((a | false) == Ternary.yes);
assert((a ^ true) == Ternary.no);
assert((a ^ false) == Ternary.yes);