変更ログ 2.074.0

TypeInfo.initは@disabled. を使用する。 TypeInfo.initializerを代わりに使う。

TypeInfo.init と呼ばれるメソッドのレガシー・エイリアスである。 TypeInfo.initializer.名前の変更は必要である。 init "という名前は、同じ名前の"@property"(init)と衝突するためである。 (init)と衝突するためである。

レガシーエイリアスは2.072.0以降非推奨となっている。これは 2.075.0.

std.range.bitwise 整数型の範囲に対してビット単位のアダプタを作成する:

import std.range : bitwise;
ubyte[] arr = [3, 9];
auto r = arr.bitwise;

r[2] = 1;
assert(arr[0] == 7);

単一のジェネリックパラメータを持つラムダがstd.variant.visitのハンドラとして提供された場合 のハンドラとして提供された場合、そのハンドラが呼び出される。 Algebraicに含まれる、その型のハンドラを持たない型に対して呼び出される。

これにより、次のようなことが可能になる:

// 円、正方形、三角形がすべてcenter()を定義していると仮定する
Algebraic!(Circle, Square, Triangle) someShape;
auto center = someShape.visit!(x => x.center);

これは明示的に型付けされたハンドラや、空の variant に対する単一のフォールバックハンドラと組み合わせることができる。 のフォールバックハンドラと組み合わせることができる:

Algebraic!(int, float, string) something;
something.visit!((string s) => s.length, // stringに対して呼び出される
                 x          => x,        // int/floatに対して呼び出される
                 ()         => 0);       // emptyに対して呼び出される

 import std.utf : decodeBack;

 string text = "サイト";

 assert(decodeBack(text) == 'ト');
 assert(decodeBack(text) == 'イ');
 assert(decodeBack(text) == 'サ');
 assert(text.empty);

std.algorithm.searching.minElementおよび std.algorithm.searching.maxElement のパフォーマンスが大幅に向上した(マイクロベンチマークでほぼ2倍)。 これは、IDケース用の特別なパスが提供されているためである。これにより、コンパイラーは がSSE命令を利用できるようになる。

具体的な改良点は以下の通りである:

% dmd -release -O test.d && ./test
extremum.before = 54 secs, 12 ms, 347 μs, and 9 hnsecs
extremum.after  = 29 secs, 521 ms, 896 μs, and 5 hnsecs

% ldc -release -O3 test.d && ./test
extremum.before = 13 secs, 186 ms, 176 μs, and 4 hnsecs
extremum.after  = 2 secs, 241 ms, 454 μs, and 9 hnsecs

ベンチマークコードを参照のこと。

std.format.formattedWriteを受け付けるようになり、関連する関数はオーバーロードを持つようになった。 をオーバーロードできるようになった。これにより 指定子が渡された引数の型と照合される。不一致または 指定子/引数がオーファンであった場合、コンパイル時エラーが発生する:

import std.format, std.stdio;

auto s = format!"%s is %s"("Pi", 3.14);
assert(s == "Pi is 3.14");
writefln!"%c is %s"('e', 1.61);

static assert(!__traits(compiles, {s = format!"%l"();}));     // 足りない引数
static assert(!__traits(compiles, {s = format!""(404);}));    // 余った引数
static assert(!__traits(compiles, {s = format!"%d"(4.03);})); // 互換性のない引数

std.experimental.checkedint.Checkedは、あらゆる積分 型のラッパーであり、一般的なバグの原因である演算子のオーバーフロー、符号の混在した比較、情報を失うキャストに対するチェックを挿入する、 演算子のオーバーフロー、符号の混在した比較、情報を失うキャストなどである。

以下の例は、この機能の基本的な使い方を示している:

void main()
{
    import std.experimental.checkedint, std.stdio;
    writeln((checked(5) + 7).get); // 12
    writeln((checked(10) * 1000 * 1000 * 1000).get); // オーバーフロー
}

デフォルトでは、すべてのチェックが有効になっており、いずれかのチェックが失敗した場合、プログラムは中断される。 される。デザイン・バイ・イントロスペクションを使用して発見可能なフックに基づく実装では、実行するチェックと実行するチェックの両方を無制限にカスタマイズできる。 イントロスペクションを使用することで発見できるフックに基づいた実装では、実行するチェックと実行ポリシーの両方を無制限にカスタマイズすることができる。 実施ポリシーの両方を無制限にカスタマイズできる。

import std.traits : hasStaticMember;

struct S
{
    static int staticVar;
    int nonstaticVar;
}

assert( hasStaticMember!(S, "staticVar"));
assert(!hasStaticMember!(S, "nonstaticVar"));

PhobosとMirの間の同期化は、得るものが少なく作業量が多いことが判明した。 std.experimental.ndslice 、アップストリームの mir-algorithmパッケージに切り替えることを推奨する。

多くの新機能が搭載されている。

• mir.ndslice.topology - 多次元std.range アナログ。bitwise,bitpack,zip,unzip,map,indexed その他多くの機能を含む。
• mir.ndslice.concatenation - 連結とパディング
• mir.ndslice.algorithm - スリムな多次元std.algorithm アナログ
• mir.ndslice.sorting - 多次元ソートユーティリティ

ndslice のデザインが変更された。新しいndslicesは、ポインターを含むランダムアクセス・イテレーターの上に作ることができる。ndsliceには3種類ある:

• Contiguous - 連続メモリ表現。ストライドを保存せず、常に同じイテレータ型の上で1次元のndsliceに平坦化できる。
• Canonical - BLASに似ている。行次元のストライドは1に等しいと仮定される。
• Universal - Numpyのようなもの。各次元はストライドを持つ。すべての次元は再割り当てなしで交換できる。古いndslice ABIはUniversal ndsliceに対応する。

入力引数として std.format.formattedReadがref パラメータとともに使用された場合は、@safe となる。 互換性のために、まだ std.format.formattedRead を使うこともできる:

import std.format;
void main() {
    string text = "1 2 3";
    int a, b, c;
    formattedRead(text, "%d %d %d", a, b, c);
    // ポインタはまだ使える
    formattedRead(text, "%d %d %d", &a, &b, &c);
    // 組み合わせることもできる:
    formattedRead(text, "%d %d %d", a, &b, c);
}

import std.stdio : readf;
void main() {
    // stdinからのすべての行が"1 2 3";に似ていると仮定する
    int a, b, c;
    readf(" %d %d %d", a, b, c);
    // ポインタはまだ使える
    readf(" %d %d %d, &a, &b, &c);
    // and even combined:
    readf(" %d %d %d, a, &b, c);
}

MersenneTwisterEngine が更新され、テンプレートのシグネチャ が C++11 標準と一致するように更新された(2 つの新しいテンプレート・パラメータが追加された。 テンパリング・パラメーター と初期化乗数 の2つを追加した)。 d f

ワード・サイズw の扱いが修正され、ジェネレーターは、ワード・サイズ が、ジェネレーターのビット数より小さい場合を適切に処理するようになった。 のビット数より小さい場合を適切に処理するように修正された。 UIntTypeを適切に処理するように修正された。 これは C++11 標準の広く使用されている実装の動作に対して検証されている。

標準的なテンプレートのインスタンス化Mt19937 。 を使用している人にとっては、これは目立った影響はないだろう。 しかし MersenneTwisterEngine 。

内部実装は、イリヤ・ヤロシェンコ(Ilya Yaroshenko)の高度に最適化されたmir-randomのアルゴリズムを使うように作り直された。 高度に最適化されたmir-randomのアルゴリズムを使用するように内部実装を作り直した。 これは これは、多くの乱数を素早く生成することを重視する人にとって、非常に顕著なプラス効果をもたらすはずだ。 乱数を素早く生成することを重視する人にとって、非常に顕著なプラス効果をもたらすはずだ。

新しいMt19937_64 テンプレートのインスタンス化が追加された。 アルゴリズムの標準64ビット実装(MT19937-64)に対応する。 これにより、https://issues.dlang.org/show_bug.cgi?id=10900 が修正された。