debug a_conditionally_compiled_expression;

debug {
    // ... 条件付きコンパイルされるコード ...

} else {
    // ... それ以外の場合にコンパイルされるコード ...
}

import std.stdio;

// 警告! このアルゴリズムは間違っている
size_t binarySearch(const int[] values, int value) {
    if (values.length == 0) {
        return size_t.max;
    }

    immutable midPoint = values.length / 2;

    if (value == values[midPoint]) {
        return midPoint;

    } else if (value < values[midPoint]) {
        return binarySearch(values[0 .. midPoint], value);

    } else {
        return binarySearch(values[midPoint + 1 .. $], value);
    }
}

void main() {
    auto numbers = [ -100, 0, 1, 2, 7, 10, 42, 365, 1000 ];

    auto index = binarySearch(numbers, 42);
    writeln("Index: ", index);
}

size_t binarySearch(const int[] values, int value) {
    writefln("searching %s among %s", value, values);

    if (values.length == 0) {
        writefln("%s not found", value);
        return size_t.max;
    }

    immutable midPoint = values.length / 2;

    writefln("considering index %s", midPoint);

    if (value == values[midPoint]) {
        writefln("found %s at index %s", value, midPoint);
        return midPoint;

    } else if (value < values[midPoint]) {
        writefln("must be in the first half");
        return binarySearch(values[0 .. midPoint], value);

    } else {
        writefln("must be in the second half");
        return binarySearch(values[midPoint + 1 .. $], value);
    }
}

debug writefln("%s not found", value);

dmd deneme.d -ofdeneme -w -debug

debug(binarySearch) writefln("%s not found", value);

dmd deneme.d -ofdeneme -w -debug=binarySearch

debug(binarySearch) {
    // ...
}

dmd deneme.d -w -debug=binarySearch -debug=stackContainer

debug import std.stdio;

void myFunction(string fileName, int[] values) {
    debug(1) writeln("entered myFunction");

    debug(2) {
        writeln("the arguments:");
        writeln("  file name: ", fileName);

        foreach (i, value; values) {
            writefln("  %4s: %s", i, value);
        }
    }

    // ... 関数の実装 ...
}

void main() {
    myFunction("deneme.txt", [ 10, 4, 100 ]);
}

dmd deneme.d -w -debug=1
./deneme
myFunctionに入った

dmd deneme.d -w -debug=2
./deneme
myFunctionに入った
引数:
  ファイル名: deneme.txt
     0: 10
     1: 4
     2: 100

version(testRelease) /* ... 式 ... */;

version(schoolRelease) {
    /* ... このプログラムの学校向けに
     *     配布されるバージョンに関連する式 ... */

} else {
    // ... それ以外の場合にコンパイルされるコード ...
}

version(1) aVariable = 5;

version(2) {
    // ... バージョン2の機能 ...
}

dmd deneme.d -w -version=record -version=precise_calculation

version(Windows) {
    immutable newline = "\r\n";

} else version(Posix) {
    immutable newline = "\n";

} else {
    static assert(0, "Unsupported OS");
}

import std.stdio;

debug(everything) {
    debug = binarySearch;
    debug = stackContainer;
    version = testRelease;
    version = schoolRelease;
}

void main() {
    debug(binarySearch) writeln("binarySearch is active");
    debug(stackContainer) writeln("stackContainer is active");

    version(testRelease) writeln("testRelease is active");
    version(schoolRelease) writeln("schoolRelease is active");
}

dmd deneme.d -w -debug=everything
./deneme
binarySearchがアクティブ
stackContainerがアクティブ
testReleaseがアクティブ
schoolReleaseがアクティブ

import std.stdio;

struct MyType(T) {
    static if (is (T == float)) {
        alias ResultType = double;

    } else static if (is (T == double)) {
        alias ResultType = real;

    } else {
        static assert(false, T.stringof ~ " is not supported");
    }

    ResultType doWork() {
        writefln("The return type for %s is %s.",
                 T.stringof, ResultType.stringof);
        ResultType result;
        // ...
        return result;
    }
}

void main() {
    auto f = MyType!float();
    f.doWork();

    auto d = MyType!double();
    d.doWork();
}

auto i = MyType!int();

エラー: static assert  "int はサポートされていない"

T myAlgorithm(T)(T value) {
    /* このアルゴリズムでは、型Tのサイズは
     * 4の倍数である必要がある。 */
    static assert((T.sizeof % 4) == 0);

    // ...
}

エラー: static assert  (1LU == 0LU)はfalse

__traits(keyword, parameters)

static if (__traits(isArithmetic, T)) {
    // ... 算術型 ...

} else {
    // ... 算術型ではない ...
}

import std.traits;

// ...

    static if (isSomeChar!T) {
        // ... char、wchar、またはdchar ...

    } else {
        // ... 文字型ではない ...
    }