方法 : 最適化されたコードをデバッグする
このトピックの内容は、次の製品に該当します。
エディション |
Visual Basic |
C# |
F# |
C++ |
Web Developer |
|---|---|---|---|---|---|
Express |
.gif "トピック該当なし") |
|
|
ネイティブのみ |
|
Pro、Premium、Ultimate |
|
|
|
ネイティブのみ |
|
注意
実際に画面に表示されるダイアログ ボックスとメニュー コマンドは、アクティブな設定またはエディションによっては、ヘルプの説明と異なる場合があります。 設定を変更するには、[ツール] メニューの [設定のインポートとエクスポート] をクリックします。 詳細については、「設定の操作」を参照してください。
コンパイラは、ソース コードを最適化するときに命令を再配置したり再構成したりします。 これにより、コンパイル後のコードの実行効率が向上します。 しかし、この命令の整理が原因となり、一連の命令に対応するソース コードをデバッガーが識別できなくなる場合があります。
最適化によって次のような影響が生じる場合があります。
ローカル変数がオプティマイザーによって削除されたり、デバッガーの追跡できない場所に移動されたりする可能性があります。
オプティマイザーによってコード ブロックがマージされた場合、関数内の位置が変更されます。
オプティマイザーによって 2 つの関数がマージされた場合、呼び出し履歴上のフレームに対し、間違った関数名が表示される場合があります。
ほとんどの場合、呼び出し履歴上のフレームには、正しい情報が表示されます。ただし、これはすべてのフレームにシンボルが割り当てられていることが前提です。 スタックの破損が生じた場合、アセンブリ言語で記述された関数が存在する場合、呼び出し履歴上のシンボルに一致しないオペレーティング システムのフレームが存在する場合など、呼び出し履歴上のフレームに誤った情報が表示されることがあります。
グローバル変数および静的変数は常に正しく表示されます。 構造体レイアウトについても同様です。 構造体へのポインターが存在し、そのポインターの値が正しければ、構造体のすべてのメンバー変数は、正しい値で表示されます。
これらの制限事項のため、できるだけ最適化する前のプログラムをデバッグするようにしてください。 既定では、最適化に対する設定は、Visual C++ のデバッグ構成ではオフ、リリース構成ではオンになっています。
ただし、最適化後のプログラムでしかバグが発生しない場合もあります。 このような場合は、最適化されたコードをデバッグする必要があります。
デバッグ ビルド構成で最適化をオンにするには
新しいプロジェクトの作成時に、Win32 Debug ターゲットを選択します。 プログラムが完全にデバッグされ、Win32 Release ターゲットをビルドできるようになるまでは、Win32Debug ターゲットを使用します。 コンパイラは、Win32 Debug ターゲットの最適化は行いません。
ソリューション エクスプローラーでプロジェクトを選択します。
[表示] メニューの [プロパティ ページ] をクリックします。
[プロパティ ページ] ダイアログ ボックスで、[構成] ボックスの [Debug] が選択されていることを確認します。
左側のフォルダー ビューで、[C/C++] フォルダーを選択します。
[C/C++] フォルダーの下の [Optimization] を選択します。
右側のプロパティ リストで、[Optimization] を探します。 その横の設定値は、Disabled (/Od) になっているはずです。 その他のオプション ([Minimum Size] (/O1)、[Maximum Speed] (/O2)、[Full Optimization] (/Ox)、[Custom]) から 1 つを選択します。
[Optimization] に対して [Custom] オプションを選択すると、プロパティ リストに表示されているその他のプロパティについてオプションを設定できるようになります。
最適化されたコードをデバッグするときは、[逆アセンブリ] ウィンドウを使用して実際にどのような命令が作成および実行されているのか確認してください。 ブレークポイントを設定する場合は、ブレークポイントが命令と共に移動する可能性があるため注意が必要です。 次に例を示します。
for (x=0; x<10; x++)
この行にブレークポイントを設定したとします。 ブレークポイントは 10 回ヒットするように思われますが、このコードを最適化した場合、ブレークポイントは 1 回しかヒットしません。 これは、最初の命令によって x の値が 0 に設定されるためです。 コンパイラは、その最初の命令を 1 回だけ実行すると見なしてループの外に移動します。 このとき、ブレークポイントもこの命令と共に移動します。 x を比較してインクリメントする命令はループ内に残ったままになります。 [逆アセンブリ] ウィンドウを参照すると、コードの実行をより細かく制御できるように、ステップ実行の単位が自動的に命令に設定されています。この設定は、最適化されたコードをステップ実行するときに役立ちます。