結論

例えば Color というクラスがあったとして、以下の一文でインスタンスをスタック上に構築できる。

scope c = new Color();

scope で変数が修飾されているのがポイントだ。

変数定義を単に auto c とか Color c とかにしてしまうと、ヒープ上に確保されGCの管理下に入る。

その他補足

補足１

クラスのコンストラクタとデストラクタが @nogc なら、new しているにもかかわらず関数を @nogc で修飾できるらしい。すごい。

void func() @nogc // <- 関数を @nogc にできる！
{
    scope c = new Color(); // <- "new" してるのに！ やったね！
}

当然、デストラクタはスコープを抜ける際に即時呼び出される。

補足２

スタックへの参照なので、外部に漏れるとマズい。

しかし、関数が @safe で修飾されていれば、参照を逃がそうとするコードはすべてコンパイルエラーになるので安心だ。

Color g_Color;

Color func() @nogc @safe // <- @safeコード下なので…
{
    scope c = new Color();

    // ↓こいつらはコンパイルがそもそも通りません。助かったぜ。
    version (none)
    {
        g_Color = c;

        return c;
    }
}