Recommended
More Related Content
What's hot
What's hot (20)
Similar to C++の復習
Similar to C++の復習 (20)
Recently uploaded
Recently uploaded (14)
C++の復習
- 2. 自己紹介 • 安藤敏彦(あんどちん) – 中年男子 – 組込系のプログラマ わんくま同盟 東京勉強会 #69
- 3. アジェンダ • Cとの違い – WDのAnnex C • C++の仕様を読んで気付いたこと – WDの2章と３章それからオライリーのクイッ クリファレンス わんくま同盟 東京勉強会 #69
- 4. CとC++の違い • C++はCを基に作られた言語です。では C++がCと異なるのはどういう部分でしょ う？ – C言語にオブジェクト指向を取り入れたとかい うありきたりな話ではありません – 当然templateがあるというだけの話でもあり ません – プリプロセッサやconstexprでコンパイル時に 結果を得るという話でもないです – Working Draftに書いてある事を基にします わんくま同盟 東京勉強会 #69
- 5. CとC++の違い ～ 語彙的変更～ • キーワードが追加された – alignofやdecltypeといったキーワードが追加さ れている • 文字リテラルの型がintからcharになった。 – ‘x’の型がCではint、C++ではchar • 文字列リテラルがconstになった – C++では文字列リテラルが定数である わんくま同盟 東京勉強会 #69
- 6. CとC++の違い ～ 基本コンセプト～ • Cのような仮の定義が出来ない – どういうこと？ C++はCにあるような「仮の定義」を持たない。例えば、ファイルスコープで、 int i; int i; はCにおいて有効であるが、C++においては無効である。 これは初期化子がCの構文形式に制限される場合、ファイルローカルな静的オブジェクトの相互 参照定義を不可能にする。例えば、 struct X { int i; struct X *next; }; static struct X a; static struct X b = { 0, &a }; static struct X a = { 0, &b }; わんくま同盟 東京勉強会 #69
- 7. CとC++の違い ～ 基本コンセプト～ • C++においてstructはスコープである – Cではstructは独立したスコープを持たない • C++ではクラススコープが不可欠であるため • constオブジェクトのファイルスコープ変 更 – 明示的にconst宣言されextern宣言されない ファイルスコープの名前は内部リンケージを 持つ。Cでは外部リンケージとなる • mainに特別な挙動を要求する – mainを再帰的に呼び出すことは出来ず、その アドレスは取得できない 東京勉強会 #69 わんくま同盟
- 8. CとC++の違い ～ 基本コンセプト～ • 互換性のある型の禁止 – 例えばCでは異なるタグ名を持つ同じ構造体は 互換性を持つが、C++では明確に違う型 わんくま同盟 東京勉強会 #69
- 9. CとC++の違い ～ 標準変換～ • void*ポインタ変換 – void*からオブジェクトへのポインタの変換に キャストを要求する わんくま同盟 東京勉強会 #69
- 10. CとC++の違い ～ 式～ • 暗黙の関数の宣言 – 暗黙の関数の宣言は許可されない • 式中での型宣言の禁止 – 型は宣言文で宣言されねばならない。Cでは sizeof式、もしくは式で新たな型を生成できる。 例えば以下の式では新たな型struct xを宣言す る P = (void*)(struct x {int i;}*)0; わんくま同盟 東京勉強会 #69
- 11. CとC++の違い ～ 式～ • 条件式の結果、代入式、カンマ演算子 – それらの結果は左辺値。Cでは右辺値 明確に定義された機能の意味へ変更。暗黙的に左辺値を右辺値へ変換 することをあてにするCの式は異なる結果をもたらすであろう。例え ば、 char arr[100]; sizeof(0, arr) C++では100が、Cではsizeof(char*)が生成される。 わんくま同盟 東京勉強会 #69
- 12. CとC++の違い ～ 命令～ • 明示的な宣言もしくは暗黙的な初期化を越 えてジャンプすることは不正である – クラスオブジェクト宣言等を飛び越えてジャ ンプすることは出来ない。 – 但し、全体に渡って侵入されないブロックは 例外 • 戻り値が宣言されている関数からの戻り – Cでは戻り値が宣言されている関数から戻り値 無しで戻ることが出来るが、C++ではエラー となる • とても古いCでは戻り値のint/voidが区別されなかっ わんくま同盟 東京勉強会 #69 た
- 13. CとC++の違い ～ 宣言～ • 記憶クラス指定子と型宣言の混在 – Cでは有効だがC++では無効。例えば • Cではstatic struct S { int i; };が有効 • typedefとクラス名 – C++のtypedef名は同一スコープのどのクラス 名とも異なること（同じクラス名のシノニム を除く） typedef struct name1 { /*…*/ } name1; // CでもC++でも有効 struct name { /*…*/ }; typedef int name; // Cでは有効だがC++では無効 わんくま同盟 東京勉強会 #69
- 14. CとC++の違い ～ 宣言～ • 定数オブジェクトの初期化 – C++では定数オブジェクトを初期化せねばな らないが、Cでは未初期化にできる • 暗黙のintの禁止 – Cでは型が指定されていないとintとみなされる 次の例では、左側の列はCで有効な宣言を提示し、右側の列で同等なC++の 宣言を提示する void f(const parm); void f(const int parm); const n = 3; const int n = 3; main() int main() わんくま同盟 東京勉強会 #69
- 15. CとC++の違い ～ 宣言～ • auto – autoは初期化子の結果から型を推論するキー ワードへ変更された • 列挙型 – Cでは列挙型の値を任意の整数型へ代入出来た がC++では出来ない。 わんくま同盟 東京勉強会 #69
- 16. CとC++の違い ～ 宣言子～ • 空のパラメータリスト – C++では空のパラメータリストは引数を持た ない事を意味し、Cではパラメータが不明であ ることを意味する • 関数と共に型は定義できない – C++において、型を戻り値もしくはパラメー タの型で定義できない。 void f( struct S { int a; } arg) {} // Cでは有効。C++では無効 enum E { A, B, C } f() {} // Cでは有効。C++では無効 わんくま同盟 東京勉強会 #69
- 17. CとC++の違い ～ 宣言子～ • 旧形式の関数宣言 – C++では旧形式の関数定義を排除している • 旧形式の関数定義って？ こんなの… void f3(a, b, c) int a; int b; char c; { } わんくま同盟 東京勉強会 #69
- 18. CとC++の違い ～ 宣言子～ • 文字列による文字配列の初期化 – C++では配列のサイズを超える文字列(終端文 字’0’を含む)で文字配列を初期化できない。 わんくま同盟 東京勉強会 #69
- 19. CとC++の違い ～ クラス～ • クラス名とスコープ – C++において、スコープ内で定義されたクラ ス名はスコープ外の同名のオブジェクトや関 数を隠す。 int x[99]; void f() { struct x { int a; }; sizeof(x); /* Cでは配列のサイズ */ /* C++では構造体のサイズ */ } わんくま同盟 東京勉強会 #69
- 20. CとC++の違い ～ クラス～ • ネストしたクラス – C++ではネストしたクラス名はそれを囲んで いるクラスのローカル名であるが、Cでは同じ スコープである。 • typedef名の再宣言 – Ｃ＋＋においてtypedef名がその定義で使用さ れた後、再宣言することは出来ない。 typedef int I; struct S { I i; int I; // Cでは有効。C++では無効。(但しI i;がなければ有効) }; わんくま同盟 東京勉強会 #69
- 21. CとC++の違い ～ 特別なメンバ関数～ • volatileオブジェクトの複製 – volatile宣言されたオブジェクトに対して、暗 黙のコピーコンストラクタ、代入演算子は無 効である。 struct X { int i; }; volatile struct X x1 = {0}; struct X x2(x1); // C++では無効 struct X x3; x3 = x1; // これもC++では無効 わんくま同盟 東京勉強会 #69
- 22. CとC++の違い ～ プリプロセッサディレクティブ～ • __STDC__ – __STDC__が定義されていたとしても、その 値は実装定義である C++とCとの違いはこれだけらしいで す わんくま同盟 東京勉強会 #69
- 23. C++の仕様を読んでみた • 先ほどまでのCとの違いも同じWDの Annex Cから引用しましたが、本編を読ん で気付いたことを幾つかご紹介します。 • 文法の仕様の１割程度からの抜粋です わんくま同盟 東京勉強会 #69
- 25. C++で使用できる文字 • C++では96種類の文字を使用できることが 決められている。 – 91種類のアルファベット・数字・記号 – 水平・垂直タブ、改頁、空白、改行 abcdefghijklmnopqrstuvwxyz AB CD E FGH I JKLMN OPQR STU VWXYZ 0123456789 _{}[]#()<>%:;.?*+-/^&|~!=,"’ わんくま同盟 東京勉強会 #69
- 26. 記憶域と型と型のサイズ • 記憶域 – バイトを1単位とする連続領域 • 型と型のサイズ – charは1バイトである。 • １バイトは８ビット以上である – 基本文字セット及びUTF-8を表現できるビット長以上で あること » つまり8bit以上ならいいみたいです わんくま同盟 東京勉強会 #69
- 27. トリグラフと代替トークン • ある表現を別の文字で表すことが出来る。 – トリグラフ • 文字の代替表現プリプロセス時に変換される – 代替トークン • 演算子・区切り文字の代替表現 わんくま同盟 東京勉強会 #69
- 29. overrideとfinal • overrideとfinalは特別なキーワードである。 – これらのキーワードは文脈により判断される • つまり、変数や関数名としても使用できる // 以下のクラスはエラーにならない struct base { virtual void override() {} virtual void final() {} }; struct derived : base { void override() override {} void final() final {} }; わんくま同盟 東京勉強会 #69
- 30. typedefとcv修飾 • typedefやconstやvolatileの位置は任意 – つまり… typedef const unsigned int CUINT; // これは const typedef unsigned int CUINT; // これでもいい int const typedef unsigned CUINT; // これでもいい 自分の読みやすいスタイルを選べま す わんくま同盟 東京勉強会 #69
- 32. メンバ初期化子と*this • メンバ初期化子の構文で*thisを使用できる 場合がある。 struct outer { unsigned int sz = sizeof(*this); // int a[sizeof(*this)]; void f() { int b[sizeof(*this)]; struct inner { unsigned int sz = sizeof(*this); // OK int c[sizeof(*this)]; // Error } i; } }; わんくま同盟 東京勉強会 #69
- 33. ユーザ定義リテラルと生文字リテラル • ユーザ定義リテラル – 任意のリテラルをユーザが定義できるように なった • イマイチ嬉しいところがわからない。 – 生文字リテラル • R”(string)” の形式で記述 • 「書いたまま」の文字列リテラルが使用できる • 改行も書いた通り。nで改行する必要がない わんくま同盟 東京勉強会 #69
- 34. デフォルト引数の再定義 • C++では関数にデフォルト引数を持たせら れますが、これは再定義することが出来ま す。 – 但し再定義と言っても同じ引数に異なる値を 割り当てられるわけではありません。 // こんなことができます int func(int a, int b, int c = 30); int func(int a, int b = 20, int c); int func(int a = 10, int b, int c); わんくま同盟 東京勉強会 #69
- 35. 名前空間と無名名前空間 • C++では名前空間を持つことが出来ますが、 無名の名前空間を持つことも出来ます。 – 無名の名前空間はC言語でのstaticのように利 用できます。 わんくま同盟 東京勉強会 #69
- 36. スコープ その１ • 変数宣言のスコープ const int const int const int const int const int v = 3; x = 12; y = 34; z = 56; X = 78; int main() { enum { X = X }; // X = 78 int a = x, x; // a = 12 int y = y; // uninitialized value int z(z); // uninitialized value; int v[v]; // same as v[3]; } わんくま同盟 東京勉強会 #69
- 37. スコープ その２ • テンプレートパラメータのスコープ typedef int T; template<typename T = T, T init = 0> struct my_type { T value = init; my_type() = default; my_type(const T& v) : value(v) {} operator T() { return value; } }; わんくま同盟 東京勉強会 #69
- 39. １定義ルールとinlineとstatic • 翻訳単位は変数・関数・クラスなどの定義 を複数含まないこと – inline関数が各翻訳単位で定義されていたら？ • 実際にコンパイルして試してみましょう わんくま同盟 東京勉強会 #69
- 40. _Pragmaオペレータ • #pragmaと同等な_Pragma単項演算子 #pragma listing on "..listing.dir“ これは以下と同じ _Pragma ( "listing on "..listing.dir"" ) この変換は翻訳フェーズ３で行われる わんくま同盟 東京勉強会 #69
- 41. 参考文献 • Working Draft, Standard for Programming Language C++ • C++クイックリファレンス（オライリー） わんくま同盟 東京勉強会 #69