John Lakos、Vittorio Romeo、Rostislav Khlebnikov、Alisdair Meredithによる『Embracing Modern C++ Safely』のレビュー | Just Software Solutions - カスタムソフトウェア開発

『Embracing Modern C++ Safely』は、John Lakos、Vittorio Romeo、Rostislav Khlebnikov、Alisdair Meredithによって執筆された1300ページを超える包括的な書籍で、C++11およびC++14で導入された言語機能に特化しています。本書は、ほぼ独立した個別の言語機能に焦点を当てたセクションに分かれており、読者はほぼ任意の順序で参照できます。この構成は概ね効果的ですが、C++11とC++14の密接に関連する機能の一部が別々の非連続セクションに分割されており、より良い相互参照があればナビゲーションが容易になるでしょう。\n\n本書は、導入のゼロ章と「安全な機能」「条件付きで安全な機能」「安全でない機能」という3つのパートに分かれています。ただし、「安全」という用語の使用には問題があります。著者らは安全性を技術的な正確さや一般的なプログラミングの安全性ではなく、C++03に根ざしたコードベースで新しい言語機能を採用する際のビジネスリスクの観点で定義しています。そのため、本当に「安全」と分類される機能はごく一部で、多くは「条件付きで安全」とされ、効果的に使用するためにはトレーニングが必要と示唆されています。レビュアーはこの分類を本書の最も弱い点と考え、読者には無視することを勧めています。代わりに「ユースケース」「潜在的な落とし穴」「煩わしさ」に関するセクションに注目し、自身で判断することを推奨します。\n\n本書で注目すべき議論の一つは「Generalized PODs」（一般化されたPOD型）という概念です。著者らは、標準的なC++の定義であるトリビアルおよびトリビアルに破壊可能なオブジェクトについて説明した後、独自の用語「概念的にトリビアルに破壊可能」を導入しています。これは、デストラクタがプログラムのロジックに影響を与えないオブジェクト（例えばログ記録にのみ使用されるもの）を指します。しかし、この概念はC++言語仕様の一部ではなく、既存の用語と類似しているため混乱のリスクがあります。さらに、この概念の採用は安全でないコーディング慣行や未定義動作を招く可能性があり、本書の安全な使用促進の目的に反します。\n\n本書は言語機能のみを扱い、C++11およびC++14で強化された標準ライブラリ機能は含まれていません。例えば、std::unique_ptrとstd::auto_ptrの比較などは扱われていません。この省略は本書の膨大なページ数を考慮すれば理解できますが、現代のC++の全体像を提供する機会を逃しています。\n\n物理的な観点からは、本書のフォーマットにいくつかの課題があります。サイズと重量が大きいため長時間の保持が不快で、しばしば不自然な姿勢での読書を強いられます。さらに、ペーパーバックは非常に薄い紙を使用しており、裏面の文字が透けて見えます。例示コードのコメントは薄い灰色のフォントで、多くの照明条件で読みづらいです。これらは読者体験を損なう可能性があり、特にコメントはコードサンプルの理解に不可欠です。電子書籍版ではこれらの問題が軽減される可能性がありますが、レビュアーは確認していません。\n\nこれらの批判にもかかわらず、本書は各言語機能の詳細な解説を通じて大きな価値を提供しています。各セクションは、C++03の対応機能との違い、正確な構文、意図されたユースケース、潜在的な落とし穴を説明しています。この情報の深さは、現代C++の機能を理解し、そのリスクを把握しようとする開発者にとって有用なリソースとなります。より複雑な機能には正式なトレーニングが推奨されますが、本書の例と説明は入門のための堅実な基盤を提供します。\n\nまとめると、『Embracing Modern C++ Safely』は条件付きで推奨されるリソースです。豊富な有益情報を含みますが、組織構成、論争のある「安全性」用語、物理的デザインの問題により制約があります。読者はこれらの要素を考慮し、特にライブラリ機能に関してはトレーニングや追加資料で学習を補完することを検討すべきです。