変更ログ 2.097.0

Dでは、三項演算子(?:)は代入演算子( )よりも優先順位が高い。 =よりも優先される:

true ? stt = "AA" : stt = "BB"

という意味である:

(true ? (stt = "AA") : stt) = "BB",

これはC言語や他の多くの言語(C++を除く)と同じである、 これはC言語や他の多くの言語(C++を除く)と一致しているが、多くの人にとっては驚きである。 三項と代入の組み合わせは、v2.082.0(2018-09-01)で非推奨となった。

この非推奨は、括弧を使って意図を明示するようユーザーに指示している。 を使うように指示している:

true ? (stt = "AA") : (stt = "BB")

この非推奨期間は終了し、コンパイラーは曖昧なコードに対してエラーを出すようになった。 エラーを出すようになった。

body 、関数またはメソッドの本体を示すために使用する。 キーワードの使用は非推奨となった。 body 、do に置き換えることができる。 この置き換えはDIP1003で導入された、 はDMD v2.075.0(2017年7月)から利用できる。

v2.084以降、完全修飾名を使用してプライベートインポートをバイパスすることはできなくなった、 これはv2.071で非推奨となったが、完全修飾名を "型"(式)として使用した場合 (対式)として使用された場合、コードは警告なしに受け入れられる。

このリリースから、コンパイラーは以前の省略されたケースを適切に非推奨とするようになった。

この問題は、次の例で説明するのが一番わかりやすいだろう:

import std.algorithm;

// v2.071で非推奨、v2.084でエラー
auto a = std.range.Take!(int[]); // エラー: パッケージ`std`で未定義の識別子`range`...

// 現在は非推奨。v2.106からはエラーとなる
std.range.Take!(int[]) s;

制限の緩いパッケージ属性が別の のスコープ内に現れた場合、より制限の厳しい親パッケージが、明示的な 子の可視性を上書きする。

例":

module pkg.foo;

package(pkg.foo):           // "private"またはプレーンな"package"に似ている

package(pkg) int bar();     // package(pkg)が無視されていた

このバージョンから、パッケージのvisibility属性は、有効である限り常に適用されるようになった。 が有効である限り適用されるようになった。 この例では、 パッケージのどのモジュールでも、シンボル をインポートして使用することができる。 pkg をインポートし、シンボルbar を使用することができる。

構文はpragma(mangle, str_or_decl [, str] ) declaration; で、str_or_decl は以下のいずれかである: declaration の名前を置換する文字列式; または、class 、struct 、union の宣言またはテンプレート・インスタンスで、declarationの代わりに使用する。 オプションの第2引数が存在する場合、それを名前として代わりに使用する。 str_or_decl (の名前空間とテンプレート・パラメータは保持する(もしあれば)。

これにより、クラスを値や参照で受け取る関数や、Dキーワードであるクラスとのバインディングが可能になる。

C++のstd::function を値でバインドする:

extern(C++, "std")
{
    template std_function(F)
    {
        pragma(mangle, "function")
        class std_function
        {
            // メンバ変数と関数
        }
    }
}

template ScopeClass(C , string name)
{
    enum ns = __traits(getCppNamespaces,C);
    extern(C++, class) extern(C++,(ns))
    {
        pragma(mangle, C, name)
        struct ScopeClass
        {
            char[__traits(classInstanceSize, C)] buffer;
            // メンバ変数と関数
        }
    }
}

alias FuncType = void function(int);
alias RawFuncType = typeof(*FuncType.init);
// `void funk(std::function<void(int)> a)`として扱われる
extern(C++) void funk( ScopeClass!(std_function!(RawFuncType)),"function") a );

Dは以前、すべての浮動小数点型の複素数と虚数をサポートしていた。 型をサポートしていた。

float a = 2;
ifloat b = 4i;
cfloat c = a + b;
assert(c == 2 + 4i);

しかし、これらの型はコア言語の一部とするには特殊すぎる。 同じ機能をライブラリ型の一部として実装することができる。 そのため そのため、DMDの古いバージョンでは、これらの組み込み型が使われたときに警告を表示する-transition=complex 。 と警告するスイッチを提供していた。 この移行段階は終了し これらの非推奨は現在デフォルトでオンになっている。

ユーザーは代わりに std.complex.Complexを使うべきである。

import std.complex;
float a = 2;
float b = 4;
auto c = complex(a, b);
assert(c == complex(2, 4));

これまで非推奨の警告をオンにしていた-transition=complex 。 スイッチも廃止された。

このリリースまで、while (auto n = expression) はサポートされていなかった。 if がサポートされていなかった:if (auto n = expression) は正常にコンパイルされた。現在のコンパイラー・バージョンから while (auto n = expression) と全く同じセマンティクスを持つ と全く同じセマンティクスを持つ:

while (true)
{
    if (auto n = expression)
    { /* ループ本体 */ }
    else
    { break; }
}

新しいフラグ'=' がフォーマット指定子に追加された。 これにより、出力を中央揃えにすることができる:

assert(format!"|%=8d|"(1234) == "|  1234  |");

出力が正確に中央に配置できない場合は、わずかに左に移動される。 '-' フラグがあれば左に、なければ右に移動する:

assert(format!"|%=-8d|"(123) == "|  123   |");
assert(format!"|%=8d|"(123) == "|   123  |");

モジュールstd.traits の"関数"ImplicitConversionTargets には設計上の欠陥がある。 設計上の欠陥がある。 が含まれている。これを克服するために、新しい関数 AllImplicitConversionTargets が追加され ImplicitConversionTargets は非推奨となった。

整数の書式設定が、浮動小数点数でよく使われる 指定子まで拡張された:整数の書式設定が、浮動小数点数で一般的な指定子に拡張された。 %e 、%f 、%g 、%a を使って整数をフォーマットできるようになった。この結果は 結果は、対応する浮動小数点値に期待される結果と同様である。 値に期待される結果と同様である。

assert(format!"%.3e"(ulong.max) == "1.845e+19");
assert(format!"%.3,3f"(ulong.max) == "18,446,744,073,709,551,615.000");
assert(format!"%.3g"(ulong.max) == "1.84e+19");
assert(format!"%.3a"(ulong.max) == "0x1.000p+64");

浮動小数点値であるpow(f, -2) とf ^^ -2 の実装が、 の値によってはバグっていることに気づいた。 f が浮動小数点値である場合、f の値によってはバグがあることに気づいた。 残念なことに、この修正は他の値(指数 )についても小さな変更を意味する。f (指数-2)についても小さな変更を意味する:結果の最下位ビットが現在の実装と異なる可能性がある。 結果の最下位ビットが現在の実装と異なる可能性がある。(これは 結果の最下位ビットが現在の実装と異なる可能性がある。 (これは浮動小数点数の特殊性によるものであり、合理的な手段では回避できない)。

問題を避けるには、アルゴリズムが浮動小数点演算の最下位ビットに依存しないようにすることだ。 例えば、浮動小数点計算の最下位ビットに依存しないようにする。 ==の代わりにisClose を使う。

enforceValidFormatSpec を 、誤って 2.107.0でパブリックビューから削除される。 std.format

formatElement std.format が誤って公開されてしまった。 2.107.0で公開されなくなる。

formatElement(sink, value, fmt) の代わりに使用してほしい:

import std.range : only;

sink.put(format!("%("~fmt~"%)")(only(value)));

unformatElement std.format が誤って公開されてしまった。 2.107.0で公開されなくなる。

文字列と文字についてはparseElement を、それ以外のものについては を参照のこと。 std.conv を、それ以外のものにはunformatValue std.format.read を使ってほしい。

以前は、FieldNameTuple は、AliasSeq!"" を返していた。 int,char*, ... のような非集約型に対して行われるように、インターフェースに対しても を返していた。この動作は驚くべきものだった なぜなら、そのインターフェースのインスタンスには、コンパイル時にはわからないメンバがあるかもしれないからだ。 この動作は驚くべきものだった。

FieldNameTuple はインターフェイスに対して空の を返すようになった。 AliasSeq!()

以前のFields は、AliasSeq!(Interface) を返していた。 int,char*, ... のような非集約型に対して行われるように、インターフェイスに対しても を返していた。この動作は驚くべきものだった なぜなら、インターフェイスのインスタンスには、コンパイル時にはわからないメンバがあるかもしれないからだ。 を持つことがあるからだ。

Fields はインターフェイスに対して空の を返すようになった。 AliasSeq!()

例:":

import std.format : format;
import std.math : sqrt;

enum pi = format!"%s"(3.1415926f);
static assert(pi == "3.14159");

enum golden_ratio = format!"|%+-20.10E|"((1 + sqrt(5.0)) / 2);
static assert(golden_ratio == "|+1.6180339887E+00   |");

浮動小数点数のフォーマットの実装が見直された。 を作り直した。我々は、作業例がGCでアロケートされないようにした。 しかし、GCで管理される例外はまだ使用している。 したがって、フォーマットを正しく使用するコードは決してアロケートしない、 しかし例外の場合、GCは例外の割り当てに使われる。 例外が発生する。我々は、この問題を解決するためにDIP 1008に取り組んでいる。

std.format の内部では、snprintf の呼び出しを、浮動小数点をフォーマットするためにDで書かれたルーチンに置き換えている。 libc の呼び出しを、浮動小数点値をフォーマットするためにDで書かれたルーチンで置き換えた。 の呼び出しに置き換えた。これらの関数は、浮動小数点数、倍精度、64ビット-リアル値、80ビット-リアル値(x87-リアル値)に対してのみ動作する。 および80ビット-リアル(x87-リアル)に対してのみ動作する。

他のすべての実数は、フォーマットされる前にdoubleにダウンキャストされる。 にダウンキャストすることで処理される。その結果、出力の精度が落ちることがある。 出力の精度が損なわれる可能性がある。さらに、double.max より大きな数値は、以下のようにフォーマットされる。 double.max のようにフォーマットされる。 よりも小さい数値は、最小の正の2乗のようにフォーマットされる。 負の値についても同様である。

Nullable は暗黙的にそのメンバに変換されなくなった。 この機能には問題があった。 型変換によるアサーションを引き起こす可能性があったからである。 以前の動作を復元するには、 "値"の使用を次のように置き換える。 の使用を に置き換える。 Nullablen n.get

ここ数年、std.format のドキュメントは少しずつ古くなっていた。 そのため、完全な手直しが必要だった。そのため パッケージ全体が見直され、例: を含むすべての文書が改善・拡張された、 改善・拡張された。

ハイライトをいくつか紹介しよう:

• フォーマット文字列の文法が更新された。
• 書式指定子に関する詳細な説明が追加された。
• 関数と書式文字列の使い方の例をいくつか追加した。 文字列の使い方の例をいくつか追加した。

モジュールstd.format はサブモジュールに分割された:

• std.format.spec:フォーマット文字列に関するシンボル。 struct FormatSpec とtemplate singleSpec
• std.format.read:入力の読み取りに関する記号。 template formattedRead およびtemplate unformatValue
• std.format.write:主に出力の書き込みに関する記号 template formattedWrite およびtemplate formatValue

すべての公開シンボルは、これまで通りstd.formatを使ってアクセスできる。

モジュールstd.math はサブモジュールに分割された:

• std.math.constants:PI のような数学定数。
• std.math.algebraic:abs 、sqrt のような基本的な代数関数。
• std.math.trigonometry:sin やcos のような三角関数。
• std.math.rounding:ceil やfloor のような丸めに関する関数。
• std.math.exponential:pow,exp,log のような指数関数と対数関数。
• std.math.remainder:fmod のような余りを計算する関数。
• std.math.operations:isClose,nextUp,fmin のような浮動小数点演算。
• std.math.traits:isNaN やisSubnormal のような浮動小数点イントロスペクション。
• std.math.hardware:ハードウェア制御:IeeeFlags およびFloatingPointControl 。

すべての公開シンボルには、通常通りstd.math 。

std.algorithm.iteration.splitWhenは既存の std.algorithm.iteration.chunkBy関数の変形である。 が等価関係であることを必要としない。 ではできない使い方ができる。例:

// 最大隣接差によるグループ化:
import std.math : abs;
import std.algorithm;
auto r3 = [1, 3, 2, 5, 4, 9, 10].splitWhen!((a, b) => abs(a-b) >= 3);
assert(r3.equal!equal([
    [1, 3, 2],
    [5, 4],
    [9, 10]
]));

これはchunkByでは未定義の結果となる。 pred(a,b)とpred(b,c)が真を返すなら、pred(a,c)も真を返さなければならない。

これは2.077.0で非推奨となり、 を使用する std.datetime.stopwatch core.time.MonoTime を使うようになった。 core.time.Duration.

これは2.079で非推奨となり、std.exception.enforce 。

のsumtype パッケージが標準ライブラリに追加された。 パッケージがstd.sumtype として標準ライブラリに追加された。

これはSumType を提供する。 デザイン・バイ・イントロスペクションを用いて これは、安全で効率的なコードを生成するために、デザイン・バイ・イントロスペクションを使用する。 レガシーstd.variant.Algebraic 。

SumType :

• パターン・マッチ。
• 自己参照型をサポートする。
• pure,@safe,@nogc,nothrow,scope との完全な互換性。
• 実行時の型情報 (TypeInfo) に依存しない。
• BetterCとの互換性。

使用例::

import std.sumtype;
import std.math : isClose;

struct Fahrenheit { double degrees; }
struct Celsius { double degrees; }
struct Kelvin { double degrees; }

alias Temperature = SumType!(Fahrenheit, Celsius, Kelvin);

// 任意のメンバ型から構築。
Temperature t1 = Fahrenheit(98.6);
Temperature t2 = Celsius(100);
Temperature t3 = Kelvin(273);

// パターンマッチを使って値にアクセスする。
Fahrenheit toFahrenheit(Temperature t)
{
    return Fahrenheit(
        t.match!(
            (Fahrenheit f) => f.degrees,
            (Celsius c) => c.degrees * 9.0/5 + 32,
            (Kelvin k) => k.degrees * 9.0/5 - 459.4
        )
    );
}

assert(toFahrenheit(t1).degrees.isClose(98.6));
assert(toFahrenheit(t2).degrees.isClose(212));
assert(toFahrenheit(t3).degrees.isClose(32));

// refを使用してその場で値を変更する。
void freeze(ref Temperature t)
{
    t.match!(
        (ref Fahrenheit f) => f.degrees = 32,
        (ref Celsius c) => c.degrees = 0,
        (ref Kelvin k) => k.degrees = 273
    );
}

freeze(t1);
assert(toFahrenheit(t1).degrees.isClose(32));

// catch-allハンドラを使ってデフォルトの結果を与える。
bool isFahrenheit(Temperature t)
{
    return t.match!(
        (Fahrenheit f) => true,
        _ => false
    );
}

assert(isFahrenheit(t1));
assert(!isFahrenheit(t2));
assert(!isFahrenheit(t3));

Transposed は前方範囲として機能しなかった。

有効にするには、defaultLowMemory をtrue に設定する。dmdとldcでは、コンパイル時に-lowmem コマンドラインオプションが追加される。

{
    "defaultLowMemory": true
}