未使用の揮発性変数

Question

私は変数をvolatileと宣言していますが、プログラム内のどこでも使用しないと、コンパイラはその変数を最適化しますか？

この場合、揮発性変数のローカル宣言とグローバル宣言の場合はどうなりますか？

tq。

Answer 1

コンパイラは未使用のvolatile変数宣言を排除（無視）できますが、コンパイラは未使用のグローバル変数定義を排除できません。他の変換単位（TU）がそれを参照すると仮定する必要があります。

変数が関数に対してローカルで使用されていない場合は、変数のボラティリティに関係なくコンパイラによって削除されます。意味のある局所的な変数があることは明らかではありませんが、そのアドレスをコードに渡して割り込みハンドラがその変数に書き込むようにする関数を呼び出すことができます。その結果、ボラティリティが実現します（しかし、使用された変数）。

volatile修飾子は、変数にアクセスするコードをコンパイラがどのように生成するか（影響を与えます） - コードが変数にアクセスしない場合は、そのコードを変更する必要はありません。変数。それは存在しないかもしれません。

---

さらに思考：

変数はstatic volatile、ソースコードで参照されていない場合には、それを排除することができますか？

答えは（ほぼ確実）はいです。ソースの変数への参照はなく、ポータブルな方法でアクセスできる唯一の方法は、参照する必要があります。考えられるポータブルでないハッキングには、複数のそのような静的変数を定義し、そのうちの1つの関数への参照をある関数に渡すことが含まれ、その関数はアドレス操作によって他の変数にアクセスできることを期待します。しかし、このようなコードは、大変厄介で、移植性がありません。そのような人の著者はおそらくどこかに戻って、そのようなコードを書き直すことから静かに断るべきです。

したがって、グローバル変数定義は削除できません。別のTUから参照される可能性があります。未使用の静的変数定義を削除することができます。未使用のローカル変数定義を削除することができます。これは問題の変数にvolatile修飾子があるかどうかにかかわらず適用されます。

Answer 2

変数が使用されていない場合は、それがすべての状況にとって最適です。最適化は、演算と計算の場合にのみ行われます。

データに対して操作が実行されない場合、最適化は必要ありません。

Answer 3

volatileはストレージ割り当てとは無関係です。volatileキーワードを使用しない未使用の変数をコンパイラが削除すると、volatileキーワードを使用してコンパイラが削除される可能性があります。確実に知りたければ、生成されたコードまたはシンボルテーブルを確認してください。