それらが (コンパイラ エラーの調子で) 変更できないことを保証する以外に、JIT は const ローカルの最適化を行いますか?
例えば。
public static int Main(string[] args)
{
const int timesToLoop = 50;
for (int i=0; i<timesToLoop; i++)
{
// ...
}
}
生成された IL は異なります (リリース モードを使用):
using constant local using normal local
---------------------------------------------------------------------
.entrypoint .entrypoint
.maxstack 2 .maxstack 2
.locals init ( .locals init (
[0] int32 i) [0] int32 timesToLoop,
L_0000: ldc.i4.0 [1] int32 i)
L_0001: stloc.0 L_0000: ldc.i4.s 50
L_0002: br.s L_0008 L_0002: stloc.0
L_0004: ldloc.0 L_0003: ldc.i4.0
L_0005: ldc.i4.1 L_0004: stloc.1
L_0006: add L_0005: br.s L_000b
L_0007: stloc.0 L_0007: ldloc.1
L_0008: ldloc.0 L_0008: ldc.i4.1
L_0009: ldc.i4.s 50 L_0009: add
L_000b: blt.s L_0004 L_000a: stloc.1
L_000d: ret L_000b: ldloc.1
L_000c: ldloc.0
L_000d: blt.s L_0007
L_000f: ret
ご覧のとおり、コンパイラはすべての変数の使用箇所を定数の値に置き換えます。これにより、スタックが小さくなります。
Snippetコンパイラを使用して、コードに簡単なパフォーマンステストを行いました。私が使用したコードは次のとおりです。
public static void Main()
{
DateTime datStart = DateTime.UtcNow;
const int timesToLoop = 1000000;
for (int i=0; i < timesToLoop; i++)
{
WL("Line Number " + i.ToString());
}
DateTime datEnd = DateTime.UtcNow;
TimeSpan tsTimeTaken = datEnd - datStart;
WL("Time Taken: " + tsTimeTaken.TotalSeconds);
RL();
}
WLとRLは、コンソールの読み取りと書き込みを行うための単なるヘルパーメソッドであることに注意してください。
非定数バージョンをテストするために、const
キーワードを削除しました。結果は驚くべきものでした:
Time Taken (average of 3 runs)
Using const keyword 26.340s
Without const keyword 28.276s
これは非常に大まかな「準備完了」テストであることを認識していますが、キーワードの使用は有効なマイクロ最適化const
としてカウントされるようです。
コード (const を使用) は、実際には次のようにコンパイルされます。
public static int Main(string[] args){
for (int i=0; i < 50; i++)
{
}
}
変数は変数としてコンパイルされますが:
public static int Main(string[] args){
int timesToLoop = 50;
for (int i=0; i < timesToLoop; i++)
{
}
}
これは答えに近いものではありませんが、これを共有するといいと思いましたが、この記事ではランタイムの利点については明示的に言及していません:
コーディング標準ルール #2: 可能な限り const を使用する
抜粋:
理由: 可能な限り const を使用することの利点は、読み取り専用であるべきデータへの意図しない書き込みからコンパイラが強制的に保護することです。
1 つの違いはconst
、別のアセンブリのフィールドを参照するアセンブリがあり、後でその値を変更した場合、参照元のアセンブリは再構築されるまで古い値を引き続き使用することです。