C++ でのコード分析

コードインスペクション

ReSharper の静的コード分析は、C++ ファイル内のほとんどのコンパイラーエラーと一部のコンパイラー警告を検出します。

さらに、実行時に見つかる他のコードの問題も検出します。例: コンストラクターで仮想メソッドを使用すると、この StackOverflow の質問(英語)で説明したように予期しない動作が発生します。ReSharper は、コンパイルする前にこの問題を指摘しています。

分析は、コードインスペクションを現在の文書または指定された範囲に適用することによって実行されます。

インスペクション ReSharper が提供するコードの種類を調べるには、ReSharper C++ コードインスペクションの完全なリストを調べましょう。

コードインスペクションの詳細については、「コードインスペクション設定を構成する」を参照してください。

特定のインスペクションをすばやくオフにするか、すべてのインスペクションを非表示にするには、インスペクションコンテキストメニューを使用します。

ReSharper 固有の属性を使用して一部のインスペクションを抑制することもできます。詳細については、属性を使用してインスペクションを調整するセクションを参照してください。

クイックフィックス

クイックフィックスを使用すると、コードインスペクションで見つかったコードの問題のほとんどを自動的に解決することができます。コードの問題に対して 1 つ以上のクイックフィックスが利用可能な場合は、キャレットがハイライトされたコード上にあるときに対応するアクションインジケータが表示されます。目的の修正を確認して適用するには、Alt+Enter を押します。

ReSharper は、C++ に 290 を超えるクイックフィックスを提供します。ここではいくつかの例を示します。

不足している #include ディレクティブを追加する

標準ライブラリまたはソリューションの他の場所で定義されているシンボルを使用する場合、ReSharper は、欠落している #include ディレクティブを自動的に追加できます。

ReSharper オプション Alt+R, O のコード編集 | C++ | インスペクションページにあるインポートアクションのポップアップを表示するチェックボックスを使用して、ポップアップを無効にすることができます。

チェックボックスが選択されていない場合、Alt+Enter を押すと、対応するアクションがアクションリストで使用可能になります。

前方宣言を追加する

ReSharper は、未解決のシンボルの前方宣言も生成できます。

[[maybe_unused]] を追加

[[maybe_unused]] 属性を追加して、未使用の名前またはエンティティに関するコンパイラーからの警告を回避できます。キャレットが未使用のエンティティ上にある場合、次のクイックフィックスが利用可能になります:

また、別のコンテキストアクションは、UNREFERENCED_PARAMETER および Q_UNUSED の使用を [[maybe_unused]] 属性に置き換えるのに役立ちます。

キャプチャーリストに追加

ローカル変数がラムダ本体の内部で使用されているが、このラムダによってキャプチャーされていない場合、ReSharper はキャプチャーリストを更新するためのクイックフィックスを提案します。値または参照によって変数または this をキャプチャーするか、使用されているすべての自動変数を暗黙的にキャプチャーできます。

戻り値の型を変更する

関数の戻り値の型が実際に返す値と一致しない場合、ReSharper を使用すると、戻り値の型をすばやく修正できます。

変数型の変更

変数またはフィールドの指定された型が割り当てられた値と一致しない場合、ReSharper は宣言で正しい型を使用するためのクイックフィックスを提供します。

宣言を作成する

C++ ファイルのメンバー関数のヘッダーファイルに宣言がない場合、ReSharper は実装のシグネチャーに従って欠落している宣言を作成できます。

使用箇所から作成

宣言されていないシンボルを使用する場合、ReSharper は、使用箇所に基づいてシンボルを作成するための 1 つ以上のクイックフィックスを提案します。

メンバーを初期化する

ReSharper が初期化されていない型メンバーを検出した場合は、1 回の修正ですべてのメンバーを初期化することをお勧めします。この修正プログラムのサブメニューを使用して、特定のメンバーの初期化を生成することもできます。

変数の初期化

ReSharper は、初期化されていない変数を検出し、デフォルト値で初期化できます。

未使用の #include ディレクティブを削除する

未使用の #include はすべてハイライト表示され、クイックフィックスで簡単に削除できます:

未使用のラムダキャプチャーを削除する

ローカル変数がラムダによってキャプチャーされてもラムダ本体内で使用されない場合、ReSharper は通知し、未使用のキャプチャーを削除するように提案します。

ドット（.）を矢印（- >）に置き換えます。逆も同様です

ドット . 演算子が誤ってポインターに適用された場合、ReSharper はそれを矢印 -> 演算子に置き換えるのに役立ちます。

逆のクイックフィックスも利用できます:

ラムダで明示的なテンプレートパラメーターを使用する

ReSharper は、ラムダが新しい C++20 テンプレート構文を使用するように書き換えられる時期を検出します。

パラメーターの型が右辺値参照の場合、その型を直接 std::forward に渡すことができます。この場合、使い慣れた完全な転送構文を使用できます。

属性を使用してインスペクションを調整する

ReSharper 固有の属性をソースコードのシンボルに追加して、ReSharper がソリューションをより高い精度とインサイトで分析できるようにすることができます。ReSharper では、カスタム属性 [[jetbrains::format]]、[[jetbrains::guard]]、[jetbrains::pass_by_value]]、[[jetbrains::has_side_effects]] を使用できます。

[[jetbrains::format]] 属性を使用すると、カスタム printf -like 関数の形式インスペクションを有効にすることができ、[[gnu::format]] と同様に機能します。

[[jetbrains::pass_by_value]] 属性を使用すると、「定数参照による値の受け渡し」インスペクションを抑制できます。コメントでインスペクションを無効にする代わりに抑制属性を使用するのはなぜですか ? 特定のクラスまたは構造体に対する警告を表示したくない場合は、いつでも Alt+Enter メニューからインスペクション: … | コメントで一度無効にするを選択して、現在の行またはファイルにインスペクションを抑制するコメントを追加できます。次に、すべてのクラスの使用に対しても抑制コメントを追加する必要があります。このような場合、クラス宣言で抑制属性を 1 回指定する方がはるかに簡単です。

[[jetbrains::guard]] 属性を使用すると、「ローカル変数は使用されない」インスペクションを抑制できます。クラスにこの属性をマークすると、そのクラスがコンストラクターで重要な作業を実行することを ReSharper に知らせます。

[[jetbrains::has_side_effects]] 属性を使用すると、operator= に副作用があるとしてマークを付け、「割り当てられた値は使用されない」インスペクションを抑制できます。

ReSharper 属性を外部ライブラリからライブラリクラスに適用する必要がある場合は、代わりに前方クラス宣言でその属性を使用できます: class [[jetbrains::pass_by_value]] my_class;

コンパイラーが不明な属性に関する警告を表示した場合は、__JETBRAINS_IDE__ マクロまたは __RESHARPER__ マクロを使用して宣言を保護できます。

ReSharper に特定のコードを無視させる

ソリューションのコードの一部をコード分析、ナビゲーション、その他の機能から除外するために、ReSharper では特定のファイル、フォルダー、ファイルマスクをさまざまな方法で無視するを使用できます。