[論文レビュー] C++ Standard Template Library by template specialized containers

Norbert Pataki|arXiv (Cornell University)|Nov 15, 2011

Software Engineering Research参考文献 17被引用数 4

ひとこと要約

この論文は、テンプレート特化とカスタム警告を用いて、C++標準テンプレートライブラリ（STL）コンテナの危険な使用や非推奨の使用をコンパイル時に行う検出および警告するための機構を提案する。'believe-me marks' と非推奨クラスマーカーを導入することで、vector<bool> の誤用や古くなったクラスの使用といった問題パターンに対する警告を可能にし、ランタイムのオーバーヘッドを伴わずにコードの安全性を向上させる。

ABSTRACT

The C++ Standard Template Library is the flagship example for libraries based on the generic programming paradigm. The usage of this library is intended to minimize the number of classical C/C++ errors, but does not warrant bug-free programs. Furthermore, many new kinds of errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding remove-like algorithms. In this paper we present some typical scenarios that may cause runtime or portability problems. We emit warnings and errors while these risky constructs are used. We also present a general approach to emit "customized" warnings. We support the so-called "believe-me marks" to disable warnings. We present another typical usage of our technique, when classes become deprecated during the software lifecycle.

研究の動機と目的

• 無効なイテレーターや remove-類似アルゴリズムの誤用といった、一般的なSTLの誤用パターンに対するコンパイル時での安全確認の欠如に対処する。
• 特に汎用プログラミングの文脈において、不適切なSTL使用が引き起こすランタイムおよびポータビリティ上の問題を低減する。
• 危険なまたは非推奨のコンテナインスタンス化に対して、コンパイル時にカスタム警告を発行するメカニズムを提供する。
• プログラマーがリスクを明確に認識している場合に限り、'believe-me marks' を用いて警告を無効化できるようにし、リスクの高いコードパターンの認識を維持する。
• ソフトウェアの進化に伴う非推奨クラスの使用を検出し、警告を発するアプローチを拡張し、長期的なコードの保守性を向上させる。

提案手法

• vector<bool> のような特定のコンテナインスタンス化（ビットセットに類似した振る舞いを示すため問題視される）を検出し、警告を発生させるためにテンプレート特化を用いる。
• 既存のコンテナ（例：vector）を破壊しないように、デフォルト値を備えた新しいテンプレートパラメータを導入して拡張する。
• 特殊化されたコンテナがインスタンス化された際に発動する警告メカニズムを実装し、診断メッセージを出力するカスタム警告関数を用いる。
• プログラマーがリスクを明確に認識している場合に限り、警告を抑制するための特別な型（例：I_KNOW_VECTOR_BOOL）を用いた 'believe-me marks' を導入する。
• 同様の技術を用いて、テンプレート警告ラッパー（例：Deprecated<Foo>）を継承することでクラスを非推奨としてマークし、インスタンス化時に警告を発生させる。
• C++の型システムとコンパイラのエラーレポート機能を活用し、コンパイラやランタイムの挙動を変更せずにコンパイル時に警告を生成する。

実験結果

リサーチクエスチョン

• RQ1 vector<bool> のような問題のあるSTLコンテナインスタンス化に対して、どのようにコンパイル時警告を生成できるか？
• RQ2 リスクを認識している開発者が警告を無効化できるメカニズムは何か？ ただし、安全を損なわないようにする。
• RQ3 テンプレート特化を用いて、ソフトウェアの進化に伴う非推奨クラスの使用を検出し、警告を発生させることは可能か？
• RQ4 カスタム警告を、拡張可能で既存のC++コンパイルワークフローに統合可能な方法で生成するにはどうすればよいか？
• RQ5 このアプローチは、ランタイムコストを伴わず、汎用C++プログラムにおけるコードの安全性とポータビリティをどの程度向上できるか？

主な発見

• 提案手法は、問題視されることが多く、混乱や微細なバグを引き起こす原因となる、vector<bool> のような問題のあるSTLコンテナインスタンス化に対して、コンパイル時に警告を発生させることに成功した。
• 'believe-me marks' の使用により、開発者がリスクを明確に認識している場合に限り、警告を無効化できるようになり、安全を前提とした柔軟性を提供する。
• テンプレート継承とカスタム警告生成を活用することで、非推奨クラスの使用を検出し、警告を発生させるメカニズムが構築され、長期的なコード保守性が向上した。
• このアプローチは、既存のC++コードと完全に互換性があり、コンパイラの変更を一切必要とせず、標準のテンプレートメタプログラミングに依存する。
• 警告はコンパイル時に発動され、実行時やポータビリティ上の問題が生じる前に、不安全なパターンの早期検出が可能になる。
• この技術は、特定のコンテナの誤用と、古くなったまたは非推奨のクラスの使用を両方とも体系的に検出するカスタム警告を適用可能であることを示している。