変更ログ 2.075.0

Bugzilla 17425

ref int foo(return ref const int* p, scope int* a, out int b, lazy int c);

pragma(msg, __traits(getParameterStorageClasses, foo, 0));

static assert(__traits(getParameterStorageClasses, foo, 0)[0] == "return");
static assert(__traits(getParameterStorageClasses, foo, 0)[1] == "ref");

pragma(msg, __traits(getParameterStorageClasses, foo, 1));
static assert(__traits(getParameterStorageClasses, foo, 1)[0] == "scope");
static assert(__traits(getParameterStorageClasses, foo, 2)[0] == "out");
static assert(__traits(getParameterStorageClasses, typeof(&foo), 3)[0] == "lazy");

この変更は匿名列挙には影響しない。

enum Status
{
    good,
    bad
}
enum OtherStatus
{
    ok
    no,
}

// 非推奨 - goodとokはどちらも0と評価されるが、
// これらは異なる列挙型に属する
static assert(Status.good == OtherStatus.ok);

これらの組み込み配列プロパティの使用は2.072.0から非推奨となり、現在は削除されている。 使用する std.algorithm.sorting.sortと std.algorithm.mutation.reverseを使う。

セミコロンを使った空文の作成は、以前は警告が出されていたが、現在は非推奨となっている。 以前は警告が発せられていたが、現在は非推奨のヒントが発せられている。 ヒント

Bugzilla 17421

import core.stdc.stdarg;

void novar() {}
extern(C) void cstyle(int, ...) {}
extern(C++) void cppstyle(int, ...) {}
void dstyle(...) {}
void typesafe(int[]...) {}

static assert(__traits(getFunctionVariadicStyle, novar) == "none");
static assert(__traits(getFunctionVariadicStyle, cstyle) == "stdarg");
static assert(__traits(getFunctionVariadicStyle, cppstyle) == "stdarg");
static assert(__traits(getFunctionVariadicStyle, dstyle) == "argptr");
static assert(__traits(getFunctionVariadicStyle, typesafe) == "typesafe");

static assert(__traits(getFunctionVariadicStyle, (int[] a...) {}) == "typesafe");
static assert(__traits(getFunctionVariadicStyle, typeof(cstyle)) == "stdarg");

新しいランタイムオプション "scanDataSeg"が追加された。 DATAセグメントとTLSセグメントを正確にスキャンできるようになった。これは、コンパイラが生成する情報を使用して、これらのセグメント内の可能性のあるポインタを特定する。 セグメント内のポインターを特定する。使用可能なオプション値は以下のとおりである。 "conservative"(デフォルト)と"precision"である。

いつものように、このオプションは、環境、コマンドライン、または実行ファイルにオプションを埋め込むことによって設定することができる。 GCオプションと同じように、オプションを実行ファイルに埋め込むことによっても設定できる。 GCオプションと同様に、実行ファイルにオプションを埋め込むことで設定できる。

例えば、以下のコードをメインモジュールに追加し、正確なスキャンを可能にする:

extern(C) __gshared string[] rt_options = [ "scanDataSeg=precise" ];

新しいファイバーのコンストラクタの引数であるguard_page_sizeを使って、ガード・ページ・サイズを変更できるようになった。 で変更できるようになった。デフォルトは PAGE_SIZE (Windowsで使われていたものと同じ)であり、0を指定するとこの機能はオフになる。 を指定するとこの機能はオフになる。

Windowsのファイバー実装にすでにある機能が、Posix用に追加された。 に追加された:ファイバーのスタックに使用される最後の ファイバーのスタックに使われる最後のページの後(または前)に、あらゆるアクセスから保護されたページが割り当てられる。 を確保する。これにより、ファイバーのスタックがオーバーフローすると、システムは即座にトラップする。 スタックのオーバーフローを引き起こす。

TypeInfo.init と呼ばれるようになった。 TypeInfo.initializer.名前の変更は必要だった。 init "という名前は、同じ名前の"@property"(init)という型プロパティと衝突してしまうからである。 (init)と衝突してしまうためである。TypeInfo.init 、"@property"は型プロパティを指すようになった。

歴史的に、hasLength!R は、true を返す。 R.length がulong に変換可能な他の型、例えばint,ushort を返す、 const(size_t)また、alias this を使用したユーザー定義型や、特に32ビット・システム上のulong のような、 に変換可能な他の型を返していた。 32ビットシステムでは特にそうである。この動作は廃止された。2017年12月以降 std.range.primitives.hasLengthがtrue を生成する場合のみである。R.length が正確な型size_t を返す場合のみ、 を返す。

std.datetimeは以下のモジュールを含むパッケージになった:

• std.datetime.date
• std.datetime.interval
• std.datetime.stopwatch
• std.datetime.systime
• std.datetime.timezone

この std.datetimeパッケージはこれらのモジュールすべてを公にインポートしている。だから のすべてがインポートされるため、既存のコードが壊れることはない。 std.datetimeをインポートすることで、std.datetimeのすべてがインポートされる。新しいコードは 新しいコードは、モジュールを個別にインポートするか、パッケージ全体をインポートするかを選択できる。

std.datetime.dateDate、TimeOfDay、DateTime、および関連する 関数を含む。DateTimeExceptionも含まれる。

std.datetime.intervalInterval型と*IntervalRange型を含む。 型と関連する自由関数が含まれている。

std.datetime.systimeはSysTimeと関連するフリー関数を含む。

std.datetime.timezoneタイムゾーンの型が含まれている。

パッケージには std.datetimeパッケージにはStopWatchとベンチマーク関数が含まれている。 (が含まれている(そのため、これらはstd.datetime 経由でのみインポート可能で、サブモジュール経由ではインポートできない)。これらの関数は これらの関数は core.time.TickDuration(に置き換えられている)。 core.time.MonoTimeに置き換えられているので、非推奨)。

std.datetime.stopwatchが追加された。これには StopWatchとbenchmarkのバージョンが含まれており、これらは既存のシンボルとほぼ同じAPIを持っている、 しかし、これらは core.time.MonoTimeと core.time.Durationの代わりに core.time.TickDuration.次のメジャー・リリースでは、std.datetime.packageの古い関数は廃止される。 の古い関数は非推奨となるため、古い ベンチマーク関数を使用するコードは、std.datetime.stopwatchを使用するように更新する必要がある。

しかし、新バージョンと旧バージョンの間で両立しないシンボルの衝突を避けるため、std.datetime.stopwatchは一般にインポートされないことに注意してほしい。 std.datetime.stopwatchは、古いシンボルが削除されるまで、std.datetime.packageから一般にインポートされない。 されないことに注意されたい。そのため を使用するコードは、当分の間 std.datetime.stopwatch.StopWatchまたは std.datetime.stopwatch.benchmarkを使用するコードは、直接 を直接インポートする必要がある。std.datetime と std.datetime.stopwatchの両方をインポートするコードは、選択的インポートを使用するか、完全修飾シンボルを使用してシンボルの競合を調整する必要がある。 を使用する必要がある。 しかし、std.datetime.stopwatchをインポートするように更新されるまでは、どのコードもこの変更の影響を受けない、 最終的に古いシンボルが削除されると、選択的インポートと新しいシンボルへの完全修飾パスが使用される。 新しいシンボルへの完全修飾パスは機能し続け、壊れることはない。 (その時点では、std.datetime.packageをインポートするだけでも動作する。 std.datetime.packageは公的にインポートするように更新されている。 std.datetime.stopwatchを公にインポートするように更新されているからだ)。std.datetime.stopwatchをインポートせずに、単にstd.datetime.stopwatchをインポートするコードは動作する。 std.datetimeをインポートせずにstd.datetime.stopwatchをインポートするだけのコードでは、シンボルの衝突を心配する必要はない。

関数は廃止された。 std.string.inPattern, std.string.countchars, std.string.removechars, std.string.squeezeおよび std.string.munchはすべて非推奨となった。これらの関数は廃止された。 の関数でカバーできるようになったため、廃止された。 std.regexおよび std.algorithm.から削除される。 std.string2018年5月に

まだこれらを使用する必要がある場合は、undaDを参照のこと。

以下は、非推奨の関数とその現代的な置き換えの例である。

使用する std.algorithm.searching.findで置き換える std.string.munch:

import std.algorithm;
import std.ascii;
import std.string;
import std.utf;

string s = "\tabc";

// 古い
s.munch(whitespace);

// 新しい
s = s.find!(a => !isWhite(a));

使用する std.regex.matchFirstで置き換える std.string.inPattern:

import std.string;
import std.regex;

// 古い
if (inPattern('x', "a-z")) { ... }

// 新しい
if ("x".matchFirst(regex("[a-z]"))) { ... }

使用する std.regex.replaceAllで置き換える std.string.removechars:

import std.string;
import std.regex;

// 古い
"abc".removechars("a-z");

// 新しい
"abc".replaceAll(regex("[a-z]"), "");

使用する std.algorithm.iteration.uniqで置き換える std.string.squeeze:

import std.algorithm;
import std.string;

// 古い
"hello".squeeze;

// 新しい
"hello".uniq;

に新しい関数を追加した。 std.digest.digest.secureEqualに新しい関数を追加した。 を追加した。この比較は タイミング攻撃から保護するために、2つの範囲が等しいかどうかに関係なく、比較は一定時間で行われる。 タイミング攻撃から保護するためである。この攻撃の詳細については のドキュメントを参照されたい。 std.digest.digest.secureEqual.

import std.digest.digest : secureEqual, toHexString;
import std.digest.hmac : hmac;
import std.digest.sha : SHA1;
import std.string : representation;

void main()
{
    // 典型的なHMACデータの完全性検証
    auto secret = "A7GZIP6TAQA6OHM7KZ42KB9303CEY0MOV5DD6NTV".representation;
    auto data = "data".representation;

    string hex1 = data.hmac!SHA1(secret).toHexString;
    string hex2 = data.hmac!SHA1(secret).toHexString;

    string hex3 = "data1".representation.hmac!SHA1(secret).toHexString;

    assert( secureEqual(hex1, hex2));
    assert(!secureEqual(hex1, hex3));
}

ISOとECMAの64ビットCRCの両方をサポートするようになった。 std.digest.crc.

import std.digest.crc;

void main()
{
    ubyte[8] hash64ecma = crc64ECMAOf("abc");
    assert(crcHexString(hash64ecma) == "2CD8094A1A277627");

    ubyte[8] hash64iso = crc64ISOOf("abc");
    assert(crcHexString(hash64iso) == "3776C42000000000");
}