D と C++0x

C++ では現在、新しい規格 -- 通称 C++0x の策定が進められています。この記事では、 C++0x core language changes の要点を取り上げ、現在 D にある機能と比較します。 C++0x はまだまだ完成には遠いため、この記事の内容は新しい企画案によって obsolete となる可能性があります。ご了承下さい。ここでは、C++0x 標準ライブラリの更新点は扱いません。以下では、TBD は To Be Determined (未定) の略記です。

static_assert

N1720: static assert は D に含まれています。

C++ におけるテンプレートの alias

N2258: テンプレートとテンプレートインスタンスのどちらも aliase 可能です:

struct S(T) { T int; }
alias S X;       // テンプレートの alias
alias S!(int) Y; // テンプレートインスタンスの alias
X!(int) x;
Y y;  // x と y は同じ型

Extern template

N1987: これは、旧来の compile/link ビルドモデルに起因する問題の回避策です。 D のコンパイラでは、複数のモジュールを同時にコンパイルした場合は、テンプレートインスタンスは全体で一つのみ生成します。各オブジェクトファイルそれぞれに別々でインスタンス化することは避けるようになっています。さらなる改良として、複数の冗長なテンプレートインスタンスを生成することのないライブラリを生成する方式が予定されています。

可変個引数テンプレート

N2242: D の可変個引数テンプレート.

可変長テンプレートテンプレート引数の拡張

N2555: TBD

nullポインタに名前を: nullptr

N2431: D はこれと同等の null があります。

強い型付けのenum

N2347: D の enum は:

異なるenum型同士の比較はエラーであるべきですが、そうなっていません:

void main() {
    enum Color { ClrRed, ClrOrange, ClrYellow, ClrGreen, ClrBlue, ClrViolet };
    enum Alert { CndGreen, CndYellow, CndRed };
    Color c = Color.ClrRed;
    Alert a = Alert.CndGreen;
    a = c; // エラー
    a = Color.ClrYellow; // エラー
    bool armWeapons = ( a >= Color.ClrYellow ); // ok; oops
}

ベースとする型は指定できます。
名前付きenumは強くスコープが限られています。無名enumメンバは、周りのスコープで宣言されます。
名前付きenumのメンバを参照するには、明示的な就職が必要です。

friend宣言の拡張

N1791: モジュール内のコードは全て、同じモジュール内の同一スコープで宣言されたクラスや構造体の private メンバにアクセスできます。パッケージprotectedメンバは、同じパッケージの全てのコードからアクセスできます。 Dでは、friend 宣言を導入して複雑な名前検索規則を扱う必要がありません。

一般定数式

N2235: D にはコンパイル時間数実行 (CTFE) があります。CTFE は、より柔軟で、コンパイル時に関数を評価することができます:

特別なキーワードは不要 (C++0x では constexpr が必要)
関数内で複数の文を実行できます
再帰も可能
ローカル変数の書き換えも使えます
out引数も使えます

名前空間の関連づけ ("Strong Using")

N2535: D には名前空間はないので、これは無関係です。

C++ プリプロセッサと C99 の摺り合わせ

N1653: D にはプリプロセッサはないので、これは無関係です。

プログラミング言語 C++ への alignment サポートの追加

N2341: D では align 属性で宣言のアラインメントを指定することができ、また .alignof プロパティによって式や型のアラインメントを得ることができます。

条件的にサポートされる動作

N1627: D では、pragma などでベンダ特有の動作を行うことが許されています。

未定義動作をエラーに

N1727: D では整数リテラル型、文字エスケープ、... に非POD型を渡す場合に未定義動作はありません。

C++ への long long 型の追加

N1811: D の long 型が同等のものです。

C++ への拡張整数型の追加

N1988: D では cent と ucent 型が 128 bit 整数型として用意されています (dmdやgdcでは未実装です)。その他の拡張整数型の提案はありませんが、言語コアにさらにそれを追加する正当性が思い浮かびません。

移譲コンストラクタ

N1986: D には移譲コンストラクタがあります。

明示的変換演算子

N2437: TBD

新しい文字型

N2249: C++0x では新しい文字型 char16_t と char32_t が加わります。これは D の wchar と dchar 型に対応します。リテラルの接頭辞 u と U は、 D の接尾辞 w と d に対応します。

右 > 括弧

N1757: D ではテンプレートのインスタンス化に < > ではなく !( ) を使うため、構文解析の曖昧性やそれを修正する必要性はありません。

初期化式から変数の型を推論

N1984: D には初期化子からの型推論があります。

auto宣言の構文

N2546: D の auto 宣言には特に構文的な問題はありません。

コンストラクタの継承

N2540: TBD

制御完了点の、より粒度の高い代替案

N2239: TBD

(単相) λ式とクロージャ

N2550: D には λ式とクロージャがあります。

C99 の func 定義済み識別子の追加

N2340: TBD

マルチスレッド環境におけるアトミック操作

N2427: TBD

実行順と並列メモリモデル

N2429: TBD

Raw 文字列リテラル

N2442: D には wysiwyg文字列とデリミタ文字列があり、全ての文字列は Unicode です。

PODs unstrung

N2294: D の構造体は全て POD (Plain Old Data) で、 D のクラスは全て参照型の多態型です。

スレッド待ちで例外を伝播

N2179: TBD

Decltype

N2343: Dでの同等の表現は typeof です。

sizeof の拡張

N2253: this オブジェクトなしでの sizeof:

struct S {
    int a;
    static int foo() {
	return a.sizeof;
    }
}

void test() {
    int x = S.a.sizeof;
}

はDでは正しく動作します。

enum E : int;

メンバはユーザーから隠蔽されます。

D と C++0x

C++0x に提案されている機能