C/C++ インスペクションのリスト

定数条件

メソッド制御とデータフローを分析して、常に true または false である条件と静的に定数値を持つ式を報告します。

警告

定数関数の結果

戻り値が常に同じ定数に等しい関数を検出します。

警告

定数パラメーター

パラメーターが常に同じ定数に等しい関数を検出します。

警告

ぶら下がりポインタ

無効なデータを指すポインターを検出します。一般的なケースは、double-free および use-after-free の問題です。制限のリストについては、この親チケット(英語)を確認してください。

警告

無限ループ

例外をスローすることによってのみ中断できる for、while、goto ステートメントを検出します。

警告

無限再帰

関数が無限再帰を生成するタイミングを検出します。

警告

スコープをエスケープするローカル値

関数をエスケープするローカル値への参照を報告します。

警告

ループ内で更新されないループ条件

無限ループの原因となる可能性があるループ内でループ条件が更新されない状況を検出します。

Clang-Tidy、clang-tidy:bugprone-infinite-loop にも同様のインスペクションがあります。ただし、ラムダや参照がある場合、終了ポイントのあるループはカバーされず、誤検知が発生します。このチェックは、CLion のデフォルトの Clang-Tidy プロファイル(英語)では無効になっています。

警告

メモリリーク

アクセスできなくなる前に解放されなかったメモリ割り当て (new 演算子または malloc() 関数) を報告します。

詳細は、インスペクション: メモリリークを参照してください。

警告

初期化されていないフィールド

初期化と使用が別の関数で行われる場合を含め、使用前に初期化されていない可能性があるフィールドをレポートします。

警告

null 逆参照

nullptr を含む可能性のあるポインタの逆参照を検出します。

警告

到達不能な関数の呼び出し

呼び出しサイトが実行されない関数を検出します。

警告

到達不能コード

実行されないコード（デッドコード）を検出します。

警告

未使用のローカル変数

宣言されているが使用されておらず、読み取りのためにアクセスされていない変数を検出します。

警告

未使用のパラメーター

宣言されているが使用されておらず、読み取りのためにアクセスされていないパラメーターを検出します。

警告

未使用の値

割り当て後に変数の値が使用されないケースを報告します。

未使用の変数初期化子について警告するチェックボックスをオフにして、デフォルトの変数初期化子のインスペクションを無効にします（たとえば、ポインター型の変数に nullptr を割り当てたい場合）。

警告

非仮想関数の隠蔽

関数が基本クラスから同じシグネチャーを持つ非仮想関数を非表示にしたことを報告します。

警告

実装されていない関数

関数が宣言されているが定義されていないことを検出します。

警告

引数選択の欠陥

呼び出し内の引数の名前と宣言内の仮パラメーター名を比較して、引数の偶発的な切り替えなどのエラーを検出します。

詳細は、インスペクション: 引数選択の欠陥を参照してください。

警告

Clangd エラーと警告

Clangd からのエラーと警告を報告します。このインスペクションは、入力時にエディターで機能します。また、コード | コードのインスペクションを使用してインスペクションを手動で実行すると、結果の要約を取得することもできます。

空の宣言またはステートメント

安全に削除できる冗長な空の宣言とステートメントを報告します。

警告

一貫性のないネーミング

シンボルが現在選択されている命名規則に違反したときに報告します。

詳細については、命名規則の違反についてコードをインスペクションするを参照してください。

無効

プリプロセッサーディレクティブコメント

プリプロセッサーの #endif コメントがマクロ名と一致しない場合を検索します。

警告

簡略化可能なステートメント

次のタイプのステートメントを簡略化することを提案します。

• condition == true

• condition1? true : condition2

• if(condition1) return true; return condition2;

• 同一のブランチのステートメント

• if(true) または while(false)

警告

制約のない変数型

制約された式または関数呼び出しの結果が割り当てられている場合、auto として宣言されたローカル変数を制約することを提案します。

このインスペクションは、Windows ではデフォルトで無効になっており、requires 句の構文で宣言された概念ではサポートされていません。

警告

コンストラクターまたはデストラクターからの仮想呼び出し

仮想関数がコンストラクターまたはデストラクターから呼び出されたときに報告し、仮想関数がまだ初期化されていないリソースまたはすでに破棄されているリソースにアクセスする状況を防止します。

警告

Clang-Tidy

C++ コアガイドライン、コードの最新化、可読性、パフォーマンスの問題に関連するさまざまな clang-tidy チェックを実行します。

詳細は、Clang-Tidy インテグレーションを参照してください。

警告

クレイジー

Qt 関連のクレイジー(英語)チェックを実行します。

警告

MISRA チェック

MISRA(英語) ガイドライン C2012 および C++2008 で定義されたチェックを実行します。現在サポートされているチェックのリスト(英語)を参照してください。

オプションセクションでチェックのリストを調整できます。

MSVC を搭載した Windows（clang-cl の場合を含む）では、CLion は MISRA C++ チェックのみを表示することに注意してください。MISRA C チェックは、MSVC でサポートされていない -std=cXY フラグを介して構成可能な特定の言語標準に適用されるため、正しく表示できません。

警告

未使用の概念

使用されることのない C++ の概念を検出します。

警告

未使用のグローバル宣言

グローバル関数またはグローバル変数が宣言されているが、アクセスまたは書き込みされていないことを検出します。

警告

未使用の include ディレクティブ

安全に削除できる未使用または不要な include ディレクティブを報告します。

詳細は、インスペクション: 未使用の include ディレクティブを参照してください。

警告

未使用のマクロ

コードで使用されないマクロ定義を検出します。

警告

未使用の構造体

決して使用されない C/C++ クラスおよび構造を検出します。

警告

未使用のテンプレートパラメーター

決して使用されない C++ クラスおよび関数テンプレートパラメーターを検出します。

警告

未使用の型エイリアス

使用されない using ステートメントを報告します。