変更ログ 2.081.0

パッチ前 言語仕様では、静的コンストラクタは "static this()"という構文を使って定義される。 static this() "という構文を使って定義される。静的ブロック内で 静的ブロック内でコンストラクタを定義しても、コンストラクタには何の影響もない。 コンストラクタに影響を与えない。以下のコード・サンプルは コンストラクタに影響を与えない:

static:
    this() {}

static
{
    this() {}
}

コンパイラーは、上記のコード・サンプルに対して警告やエラーを発しない。 の前に実行されない通常のコンストラクタを生成する。 関数の前に実行されない。このため コンパイラーは問題を正しく示すことができない:

class A
{
    static
    {
        this() {}
    }

    this() {}
}

void main()
{
    new A();
}

このコードでは、次のようなエラー・メッセージが表示される。 というエラーメッセージが表示される。 に複数の定義があることを示すエラーメッセージが表示される。

パッチ後: 静的コンテキストでコンストラクタに遭遇するたびに、次のような非推奨メッセージが発行される。 という非推奨メッセージが発行される。static キーワードはコンストラクタに影響を与えない。 解決策は、コンストラクタを の外側で宣言することである。 コンストラクタ (static this()) として宣言することだ。

このリリース以前は、this とsuper をデータとしても型としても使うことができた。 として使うことができた。 このリリースから、this またはsuper を型として使用するとコンパイラー・エラーになる。

class C
{
    shared(this) x;    // Deprecation: 型として`this`を使用することは非推奨である。代わりに`typeof(this)`を使用
}

class D : C
{
    shared(super) a;   // Deprecation: 型として`super`を使用することは非推奨である。代わりに`typeof(super)`を使用
    super b;           // Deprecation: 型として`super`を使用することは非推奨である。代わりに`typeof(super)`を使用
}

代わりにtypeof(super) 、typeof(this) 。

class C
{
    shared(typeof(this)) x;
}

class D : C
{
    shared(typeof(super)) a;
    typeof(super) b;
}

式ベースの契約構文が追加された。単一のアサーションで構成される契約をより簡潔に記述できるようになり、同じ関数に対して複数のin またはout 契約を指定できるようになった。

例: 「式」ベースのコントラクト構文が追加された:

class C {
    private int x;
    invariant(x >= 0);
    // ...
}

int fun(ref int a, int b)
    in(a > 0)
    in(b >= 0, "b cannot be negative")
    out(r; r > 0, "return must be positive")
    out(; a != 0)
{
    // ...
}

今回のリリース・サイクルでは、extern(C++) のエクスペリエンスに多くの改良が加えられている。

揶揄の改善には以下が含まれる:

• コンストラクタ/デストラクタのマングリングがC++と一致する。
• 互換性のあるD言語のスタイル演算子が、C++の演算子としてマングルされるようになった
• nullptr_t 正しくマングリングされる
• 様々なマングリングのバグが修正された

extern(C++) nullptr_t を使用する API は、D 側で を使用できる: typeof(null)

alias nullptr_t = typeof(null);
extern (C++) void fun(nullptr_t);

extern (C++) 演算子のマングリングは、意味的に等価なすべての演算子に対して行われる。 このリストには、 、 、 、 、 、 、 、 のすべてのインスタンスが含まれる。 2つの顕著な例外は、互換性のある実装を持たない と C++ である。 opUnary opBinary opAssign opOpAssign opCast opEquals opIndex opCall opCmp operator !

extern (C++) class のコンストラクタとデストラクタのマングリングは機能している。

このリリースにはABIの修正も含まれており、デストラクタが仮想テーブルに正しく追加されるようになり、コンストラクタ/デストラクタの呼び出しセマンティクスがC++と一致するようになった。 これにより、どちらの言語でもコンストラクタ/デストラクタがサポートされ、混合言語のクラス階層が動作するようになった。

__traits(getOverloads) のサポートが拡張され、真の値を持つオプション・パラメーターが渡されたときにテンプレートのオーバーロードを返すようになった。

struct S
{
    static int foo()() { return 0; }
    static int foo()(int n) { return 1; }
    static int foo(string s) { return 2; }
    enum foo(int[] arr) = arr.length;
}

alias AliasSeq(T...) = T;

alias allFoos = AliasSeq!(__traits(getOverloads, S, "foo", true));

static assert(allFoos.length == 4);

static assert(allFoos[0]("") == 2);
static assert(allFoos[1]() == 0);
static assert(allFoos[2](1) == 1);
alias foo3 = allFoos[3];
static assert(foo3!([]) == 0);

構造体、クラス、インターフェースに指定された言語ABIを検出できるようになった。

class MyClass {}
extern (C++) struct MyCPPStruct {}
extern (C++) interface MyCPPInterface {}
extern (Objective-C) interface MyObjcInterface {}
static assert(__traits(getLinkage, MyClass) == "D");
static assert(__traits(getLinkage, MyCPPStruct) == "C++");
static assert(__traits(getLinkage, MyCPPInterface) == "C++");
static assert(__traits(getLinkage, MyObjcInterface) == "Objective-C");

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

暗黙のcatch 文は2.072で非推奨となった。 このリリースから、暗黙の catch 文はコンパイラのエラーとなる。

import std.stdio;

void main()
{
    int[] arr = new int[](10);
    // これはRangeErrorをスローする
    try { arr[42]++; }
    catch  // エラー: 例外指定のない`catch`ステートメントは非推奨である;
           // 古い動作には`catch(Throwable)`を使用
    {
        writeln("An error was caught and ignored");
    }
}

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

異なる列挙型の暗黙の比較は、2.075で非推奨となった。 このリリースから、異なる を暗黙的に比較すると、コンパイラはエラーを出す。

enum Status
{
    good,
    bad
}
enum OtherStatus
{
    ok,
    no
}
static assert(Status.good == OtherStatus.ok); // エラー: 異なる列挙型`Status`と`OtherStatus`の比較;
                                              // この動作を意図している場合は、`std.conv.asOriginalType`の使用を検討する

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

暗黙の文字列連結は2.072で非推奨となった。 このリリースから、暗黙的な文字列連結はコンパイラのエラーとなる。 はエラーを発する。

void main()
{
    string s = "Hello" ", World!";  // エラー: 暗黙的な文字列の連結は非推奨である、変わりに"" ~ ""を使用
}

IRETQ は、すでにサポートされている 命令の64ビット版である。この命令により これにより、純粋なD言語で64ビット割り込みサービス・ルーチンを書くことが可能になった。 を記述できるようになった。 IRET

void isr()
{
    asm
    {
        naked;
        // ...
        iretq;
    }
}

このリリース以前は、インターフェイスやクラスをランタイムなしで使おうとすると、 の欠如によりコンパイル・タイム・エラーが発生した。 しかし、クラスがインスタンス化されない限り、TypeInfo 。 TypeInfoは必要ない。

このリリースから、コンパイラーは、TypeInfo が見つからないというエラーを出さなくなった。 インターフェイスやクラスがインスタンス化されず、shared static のメンバーだけが利用されている限り、コンパイラーは、 の欠落に関するエラーを出さなくなった。 利用される。

例:

module object

private alias extern(C) int function(char[][] args) MainFunc;
private extern (C) int _d_run_main(int argc, char** argv, MainFunc mainFunc)
{
    return mainFunc(null);  // 単純化のために`void main()`を仮定している
}

interface I
{
    shared static int i;
}

class A : I
{
    shared static int a;
}

class B : A
{
    shared static int b;
}

void main()
{
    B.b = B.a + B.i;
}

dmd -conf= -defaultlib= main.d object.d -of=main
size main
   text    data     bss     dec     hex filename
   1867    1208      32    3107     c23 main

共有でない静的メンバも使用できるが、スレッドローカルストレージ(TLS)の実装が必要になる。 例えば、Linuxの場合、TLS実装はCランタイムとC標準ライブラリによってすでに提供されている。 標準ライブラリによって提供されている。 TLS実装を取り込む。

例2".

module object

private alias extern(C) int function(char[][] args) MainFunc;
private extern (C) int _d_run_main(int argc, char** argv, MainFunc mainFunc)
{
    return mainFunc(null);  // 単純化のために`void main()`を仮定している
}

interface I
{
    static int i;
}

class A : I
{
    static int a;
}

class B : A
{
    static int b;
}

void main()
{
    B.b = B.a + B.i;
}

dmd -conf= -defaultlib= main.d object.d -of=main
size main
   text    data     bss     dec     hex filename
   2123    1296      28    3447     d77 main

プラットフォームによっては、TLS実装にリンクするために、TLS実装コードや特殊なビルド手順が必要になる場合がある。 を必要とする場合がある。

これによって、ランタイムなしでDを使用したり、Dを新しいプラットフォームに移植したりする際の摩擦が減ることが期待される、 Dを新しいプラットフォームに移植したり、他の言語からDを使用したりする際の摩擦を減らすと同時に、Dのより多くの機能やイディオムをそれらのユースケースで使用できるようにする。

冗長なストレージ・クラスの指定はかなり前に非推奨となり、当初は2.068リリースからコンパイラー・エラーを出す予定だった。 このリリースでその約束は果たされた。

@safe void f() @safe {}   // エラー: `@safe`属性が冗長である

例外がスローされ、キャッチされなかった場合、スタックトレースが出力される。Linuxでは FreeBSDおよびDragonFlyBSDでは、このスタックトレースにファイル名と行番号が含まれる、 アプリケーションがデバッグ情報を有効にしてビルドされた場合。この機能は現在 macOSにも追加された。

macOSではデバッグ情報がリンカによって取り除かれるため、コンパイラのサポートが必要だ。 リンカによって取り除かれるからだ。

例":

void bar()
{
    throw new Exception("bar");
}

void foo()
{
    bar();
}

void main()
{
    foo();
}

dmd -g main.d上記のコードをデバッグ情報を有効にしてコンパイルする。 アプリケーションを実行すると、次のような出力が得られる:

object.Exception@main.d(3): bar
main.d:3 void main.bar() [0x71afdfb]
main.d:8 void main.foo() [0x71afe0c]
main.d:13 _Dmain [0x71afd78]

object.destroy() が クラスで呼び出されるとクラッシュしていた。現在は正しくデストラクトされ、オブジェクトが にリセットされる。 extern(C++) init

mach-o/getsect.hに欠けていた宣言がcore.sys.darwin.mach.getsect に追加された。

代わりにcore.stdc パッケージを使用すること。

DMD

> dmd -O -inline -release ./joiner.d && ./joiner
before.joiner   = 57 secs, 834 ms, 289 μs, and 3 hnsecs
new.joiner      = 44 secs, 936 ms, 706 μs, and 5 hnsecs

LDC

> ldmd -O3 -release -inline joiner.d && ./joiner
before.joiner   = 5 secs, 180 ms, 193 μs, and 7 hnsecs
new.joiner      = 3 secs, 168 ms, 560 μs, and 6 hnsecs

ベンチマークコードはここにある。

以前は、ドキュメントに明記されていなかった、 std.algorithm.removeはどんな値でもoffset として受け入れていた。 この動作は非常にエラーになりやすかった:

import std.algorithm, std.stdio;
[0, 1, 2, 3, 4].remove(1, 3).writeln; // 0, 2, 4  -- 正しい
[0, 1, 2, 3, 4].remove([1, 3]).writeln; // 0, 3, 4  -- 正しくない

このリリースでは、配列を個々の要素として使うことはできなくなった。 std.typecons.tupleを明示的に示すために使用できる。 start からstop までの範囲(非包囲)が削除されるべきであることを明示的に示すために使用できる:

import std.algorithm, std.stdio, std.typecons;
[0, 1, 2, 3, 4].remove(tuple(1, 3)).writeln; // 0, 3, 4

しかし、この直感的でないシナリオを避けるため、2タプルのみが許される:

import std.algorithm, std.stdio, std.typecons;
[0, 1, 2, 3, 4].remove(tuple(1, 3, 4)).writeln; // 0, 4?

のセマンティクスを変更した。 std.math.fminと std.math.fmaxのセマンティクスが 引数の一方がNaNの場合、もう一方を返す。 を返す。これには std.math.isNaNチェックを行う。使用方法 std.algorithm.comparison.minと std.algorithm.comparison.max を使う。

import std.math;
assert(fmin(real.nan, 2.0L) == 2.0L);
assert(fmin(2.0L, real.nan) == 2.0L); // 以前は: NaN
assert(isNaN(fmin(real.nan, real.nan)));

import std.algorithm.comparison;
assert(min(real.nan, 2.0L) == 2.0L);
assert(isNaN(min(2.0L, real.nan)));
assert(isNaN(min(real.nan, real.nan)));

今回のリリースでDUBは、/etc/dub/settings.json 、または、 に "customCachePaths"フィールドを定義することで、"(name)-(version)/(name)/"のパターンでサブフォルダにパッケージを含む追加のパスを定義できるようになった。~/.dub/settings.json.

"customCachePaths"は、(ディストリビューション・パッケージのメンテナ用など)ビルド済みのDUBライブラリを提供するために使用できる。