Download as PDF, PPTX
![コンパイラが暗黙に生成する関数はどれも密接に関連し
ているため、そのうちの一つでもデフォルトの挙動がそ
ぐわないなら、恐らく他の関数も修正する必要がある。
struct M2 { // bad: incomplete set of default operations
public:
// ...
// ... no copy or move operations ...
~M2() { delete[] rep; }
private:
pair<int, int>* rep; // zero-terminated set of pairs
};
void use() {
M2 x;
M2 y;
// ...
x = y; // the default assignment
// ...
}](https://image.slidesharecdn.com/boost19emcppcppcg-151205024355-lva1-app6891/85/Boost-19-Effective-Modern-C-C-Core-Guidelines-76-320.jpg)
![ラムダでローカル変数の初期化
// Bad
widget x; // constであるべき。しかし……
for(auto i=2; i <= N; ++i) { // 後で初期化するため、constにできない。
x += some_obj.do_something_with(i);
}
// Good
const widget x = [&]{ // constにできる！
widget val; // デフォルトコンストラクタで初期化
for(auto i=2; i <= N; ++i) {
val += some_obj.do_something_with(i);
}
return val;
}();](https://image.slidesharecdn.com/boost19emcppcppcg-151205024355-lva1-app6891/85/Boost-19-Effective-Modern-C-C-Core-Guidelines-113-320.jpg)
Uploaded byShintarou Okada
Boost.勉強会#19東京 Effective Modern C++とC++ Core Guidelines
大切なのは理由なので、きちんと根拠があるなら、堂々とコードを書こう。
Boost.勉強会#19東京 Effective Modern C++とC++ Core Guidelines
- 1. Effective Modern C++と C++Core Guidelines okada(@okdshin)
- 2.
- 3.
- 4.
- 5.
- 6.
- 7. そこでEffective Modern C++ (引用元https://www.oreilly.co.jp/books/images/picture_large978-4-87311-736-2.jpeg)
- 8. Effective Modern C++ EffectiveC++の著者 Scott Meyers氏によって書かれた C++11/14の解説書
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17. Q. Effective ModernC++以外に C++11/14の書き方を指南するよう な書籍はないの？
- 18.
- 19.
- 20. 著者はBjarne Stroustrup氏とHerb Sutter氏 C++Core Guidelinesって？ 「The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++」 「C++コーディングにおける実証済みのガイドラインと ルール、そしてベストプラクティスの集合体である」
- 21. Q. C++ CoreGuidelinesは "More" Effective Modern C++か？
- 22. A.どちらかというとNo Modern C++ CodingStandardsと言 うべき印象 (引用元 http://www.gotw.ca/images/c++cs-cover.jpg)
- 23.
- 24.
- 25.
- 26.
- 27.
- 28.
- 29.
- 30.
- 31. Rvalue reference void f(T&&t) { // T&&がrvalue reference ... }
- 32. Forwarding reference* template<typename TP> voidf(TP&& t) { // TP&&がforwarding reference ... } Forwarding referenceについてはEMC++項目24を参照 * EMC++ではユニヴァーサル参照（universal reference）となっている。
- 33.
- 34.
- 35.
- 36.
- 37.
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.
- 49.
- 50. tuple型の返り値には tieを使うと便利 Sometype iter; Someothertype success; tie(iter,success) = myset.insert("Hello"); // tupleを返す。 if(success) do_something_with(iter);
- 51.
- 52.
- 53. F.42 位置（position）を示す場合に 限り、T*を返す。 生ポインタが役立つ例。 所有権がからまないなら生ポインタでOK。（所有権を扱 う場合はunique_ptrなどスマートポインタを使う） Node* find(Node*t, const string& s) // 二分木からsを持つノードを探す { if (t == nullptr || t->name == s) return t; if (auto p = find(t->left, s)) return p; if (auto p = find(t->right, s)) return p; return nullptr; }
- 54.
- 55.
- 56.
- 57.
- 58.
- 59.
- 60.
- 61. F.19 「転送する（forward）」仮引 数は、TP&&とし、std::forwardの み行う。 単に別の関数に引数を転送したい場合、 また、この場合にのみ、 引数のconst性とrvalue性は無視させる必要がある。 template <classF, class... Args> inline auto invoke(F f, Args&&... args) { return f(forward<Args>(args)...); }
- 62.
- 63.
- 64.
- 65.
- 66.
- 67.
- 68.
- 69.
- 70.
- 71.
- 72.
- 73. C.20 コンパイラが暗黙に生成する 関数をまったく定義する必要がな いなら、全て定義しない。 もっとも単純で、もっとも明解。 struct Named_map{ public: // ... 特別なメンバ関数を定義しない ... private: string name; map<int, int> rep; }; Named_map nm; // 暗黙に生成されたデフォルトコンストラクタが呼び出される。 Named_map nm2{nm}; // 暗黙に生成されたコピーコンストラクタが呼び出される。
- 74.
- 75.
- 76. コンパイラが暗黙に生成する関数はどれも密接に関連し ているため、そのうちの一つでもデフォルトの挙動がそ ぐわないなら、恐らく他の関数も修正する必要がある。 struct M2 {// bad: incomplete set of default operations public: // ... // ... no copy or move operations ... ~M2() { delete[] rep; } private: pair<int, int>* rep; // zero-terminated set of pairs }; void use() { M2 x; M2 y; // ... x = y; // the default assignment // ... }
- 77.
- 78.
- 79.
- 80.
- 81.
- 82. vector::vector(size_t) class Date { public: Date(); //... }; vector<Date> vd1(1000); // デフォルトコンストラクタが必要（*） vector<Date> vd2(1000, Date{Month::october, 7, 1885}); // こうすれば合法ではある * 厳密にはDefaultInsertableコンセプトを満たせばOKではあるが、アロケータをカスタマイズ するのでもない限りデフォルトコンストラクタが必要と考えてよい。
- 83. （再掲）tie Sometype iter; //デフォルトコンストラクタが呼ばれる。 Someothertype success; // 同上。 tie(iter, success) = myset.insert("Hello"); if(success) do_something_with(iter);
- 84.
- 85.
- 86.
- 87. メンバ変数のリスト初期化の例 class Bad {// メンバ変数をリスト初期化するべき string s; int i; public: X1() :s{"default"}, i{1} { } // 他の生成される関数を明示的に定義する必要がある（C.21） // ... }; class Good { // より効率的 string s = "default"; int i = 1; public: // コンパイラが生成したデフォルトコンストラクタを使う // ... };
- 88.
- 89.
- 90.
- 91.
- 92. コンパイラはコメントを読まない 恐らくプログラマも読まない class X1 { FILE*f; // 他の関数を呼ぶ前にinit()をまず呼び出せよ！ 絶対だぞ！ // ... public: X1() {} // 何もしない可愛らしいデフォルトコンストラクタ。 void init(); // fを初期化する void read(); // fから読み出す。 // ... }; void f() { X1 file; file.read(); // クラッシュするか、まったく無意味な値を読み出す。 // ... file.init(); // もう遅い。 // ... }
- 93.
- 94. ファクトリ関数の例 class B { protected: virtualvoid PostInitialize() { ... f(); ... } // 仮想関数をディスパッチする public: virtual void f() = 0; template<class T> static shared_ptr<T> Create() { // コンストラクタの代わり auto p = make_shared<T>(); p->PostInitialize(); return p; } }; class D : public B { ... }; // 派生クラス shared_ptr<D> p = D::Create<D>(); // Dオブジェクトの生成
- 95.
- 96.
- 97.
- 98. 悪い例 class Date {// Bad: 似たコードの繰り返しがある。 int d; Month m; int y; public: Date(int ii, Month mm, year yy) :i{ii}, m{mm} y{yy} { if (!valid(i, m, y)) throw Bad_date{}; } Date(int ii, Month mm) :i{ii}, m{mm} y{current_year()} { if (!valid(i, m, y)) throw Bad_date{}; } // ... };
- 99. 良い例 class Date2 { intd; Month m; int y; public: Date2(int ii, Month mm, year yy) :i{ii}, m{mm} y{yy} { if (!valid(i, m, y)) throw Bad_date{}; } // 他のコンストラクタを呼び出す。 Date2(int ii, Month mm) :Date2{ii, mm, current_year()} {} // ... };
- 100.
- 101.
- 102.
- 103.
- 104.
- 105.
- 106.
- 107.
- 108.
- 109.
- 110.
- 111.
- 112.
- 113. ラムダでローカル変数の初期化 // Bad widget x;// constであるべき。しかし…… for(auto i=2; i <= N; ++i) { // 後で初期化するため、constにできない。 x += some_obj.do_something_with(i); } // Good const widget x = [&]{ // constにできる！ widget val; // デフォルトコンストラクタで初期化 for(auto i=2; i <= N; ++i) { val += some_obj.do_something_with(i); } return val; }();
- 114.
- 115.
- 116.
- 117.
- 118. C++ Core Guidelinesまとめ F.15なるべくこれまでどおりのシンプルなやり方で情報 を渡す F.7 一般的な用途では、スマートポインタではなくT*で 引数を受け取る R.30 ライフタイムに関連する操作を行う場合にのみ、ス マートポインタを仮引数とする F.20 出力用の仮引数を用意するよりも、なるべくreturn で返す。 F.21 複数の値を出力したい場合はなるべくtupleやstruct を使う。
- 119. C++ Core Guidelinesまとめ F.42位置（position）を示す場合に限り、T*を返す。 F.18 「消費する（consume）」仮引数は、X&&とし、 moveする。 F.19 「転送する（forward）」仮引数は、TP&&とし、 std::forwardのみ行う。 F.45 T&&を返さない
- 120. C++ Core Guidelinesまとめ C.20コンパイラが暗黙に生成する関数をまったく定義す る必要がないなら、全て定義しない。 C.21 コンパイラが暗黙に生成する関数を一つでも定義も しくは=deleteするなら、他の関数も全て定義もしくは =deleteする。 C.43 クラスがデフォルトコンストラクタを確実に持つよ うにする C.45 メンバ変数を初期化するだけのデフォルトコンスト ラクタを定義しない。代わりに、クラス内メンバ初期化 （in-class member initializers）を使う。
- 121. C++ Core Guidelinesまとめ C.41コンストラクタは 完全に初期化されたオブジェクトを生成するべき C.51 全てのコンストラクタに共通する動作をさせるため に、デリゲートコンストラクタを使う。 C.42 コンストラクタでオブジェクトの生成に失敗した場 合は、例外を投げる。 C.36 デストラクタは失敗してはならない C.37 デストラクタをnoexceptにする
- 122. C++ Core Guidelinesまとめ ES.28複雑な初期化を行う場合に、ラムダを使う。特に const変数を初期化する場合。 NL.10 CamelCaseの使用は避ける
- 123.
- 124.
- 125.
- 126.
- 127.
- 128.
- 129.
- 130.
- 131.
- 132.
- 133.