境界チェックを排除するforeach/forループの特殊なケースは何ですか？また、どの境界チェックですか？
1704 次
5 に答える
9
標準
for(int i = 0; i < array.Length; i++) {
...
}
ループは、JIT が安全に配列境界チェックを削除できるようにするものです (インデックスが [0..length-1] 内にあるかどうか)。
配列のforeachループは、配列の標準ループと同等forです。
編集: Robert Jeppesen が指摘するように:
配列がローカルの場合、これは最適化されます。配列が他の場所からアクセスできる場合でも、境界チェックは実行されます。参照: CLR での配列境界チェックの削除
ありがとう！それは自分でも知りませんでした。
于 2009-03-10T16:38:17.840 に答える
7
シールドサンは正しい。C++ の場合のように最適化しないでください。JIT は、適切な処理を行うのに非常にスマートです。いつでもさまざまな方法でループをコーディングしてから、IL コードを調べることができます。
static void Main(string[] args)
{
int[] array = new int[100];
00000000 push edi
00000001 push esi
00000002 push eax
00000003 xor eax,eax
00000005 mov dword ptr [esp],eax
00000008 mov edx,64h
0000000d mov ecx,79174292h
00000012 call 49E73198
00000017 mov esi,eax
int sum = 0;
00000019 xor edx,edx
0000001b mov dword ptr [esp],edx
for(int index = 0; index < array.Length; index++)
0000001e mov edi,dword ptr [esi+4]
00000021 test edi,edi
00000023 jle 00000033
{
sum += array[index];
00000025 mov eax,dword ptr [esi+edx*4+8]
00000029 add dword ptr [esp],eax
for(int index = 0; index < array.Length; index++)
0000002c add edx,1
0000002f cmp edi,edx
00000031 jg 00000025
}
Console.WriteLine(sum.ToString());
00000033 mov esi,dword ptr [esp]
00000036 call 493765F8
0000003b push eax
0000003c mov ecx,esi
0000003e xor edx,edx
00000040 call 49E83A8B
00000045 mov edi,eax
00000047 mov edx,88h
0000004c mov ecx,1
00000051 call 49E731B0
00000056 mov esi,eax
00000058 cmp dword ptr [esi+70h],0
0000005c jne 00000068
0000005e mov ecx,1
00000063 call 4936344C
00000068 mov ecx,dword ptr [esi+70h]
0000006b mov edx,edi
0000006d mov eax,dword ptr [ecx]
0000006f call dword ptr [eax+000000D8h]
00000075 pop ecx
}
00000076 pop esi
00000077 pop edi
00000078 ret
C++ の場合と同じようにコードを最適化すると、次のようになります。
static void Main(string[] args)
{
int[] array = new int[100];
00000000 push edi
00000001 push esi
00000002 push ebx
00000003 push eax
00000004 xor eax,eax
00000006 mov dword ptr [esp],eax
00000009 mov edx,64h
0000000e mov ecx,79174292h
00000013 call 49E73198
00000018 mov esi,eax
int sum = 0;
0000001a xor edx,edx
0000001c mov dword ptr [esp],edx
int length = array.Length;
0000001f mov ebx,dword ptr [esi+4]
for (int index = 0; index < length; index++)
00000022 test ebx,ebx
00000024 jle 0000003B
00000026 mov edi,dword ptr [esi+4]
{
sum += array[index];
00000029 cmp edx,edi <-- HERE
0000002b jae 00000082 <-- HERE
0000002d mov eax,dword ptr [esi+edx*4+8]
00000031 add dword ptr [esp],eax
for (int index = 0; index < length; index++)
00000034 add edx,1
00000037 cmp edx,ebx
00000039 jl 00000029
}
Console.WriteLine(sum.ToString());
0000003b mov esi,dword ptr [esp]
0000003e call 493765F8
00000043 push eax
00000044 mov ecx,esi
00000046 xor edx,edx
00000048 call 49E83A8B
0000004d mov edi,eax
0000004f mov edx,88h
00000054 mov ecx,1
00000059 call 49E731B0
0000005e mov esi,eax
00000060 cmp dword ptr [esi+70h],0
00000064 jne 00000070
00000066 mov ecx,1
0000006b call 4936344C
00000070 mov ecx,dword ptr [esi+70h]
00000073 mov edx,edi
00000075 mov eax,dword ptr [ecx]
00000077 call dword ptr [eax+000000D8h]
0000007d pop ecx
}
0000007e pop ebx
0000007f pop esi
00000080 pop edi
00000081 ret
00000082 call 4A12746B
00000087 int 3
ちなみに、これはforeachステートメントと同じです：
static void Main(string[] args)
{
int[] array = new int[100];
00000000 push edi
00000001 push esi
00000002 push eax
00000003 xor eax,eax
00000005 mov dword ptr [esp],eax
00000008 mov edx,64h
0000000d mov ecx,79174292h
00000012 call 49E73198
00000017 mov esi,eax
int sum = 0;
00000019 xor edx,edx
0000001b mov dword ptr [esp],edx
for(int index = 0; index < array.Length; index++)
0000001e mov edi,dword ptr [esi+4]
00000021 test edi,edi
00000023 jle 00000033
{
sum += array[index];
00000025 mov eax,dword ptr [esi+edx*4+8]
00000029 add dword ptr [esp],eax
for(int index = 0; index < array.Length; index++)
0000002c add edx,1
0000002f cmp edi,edx
00000031 jg 00000025
}
Console.WriteLine(sum.ToString());
00000033 mov esi,dword ptr [esp]
00000036 call 493765F8
0000003b push eax
0000003c mov ecx,esi
0000003e xor edx,edx
00000040 call 49E83A8B
00000045 mov edi,eax
00000047 mov edx,88h
0000004c mov ecx,1
00000051 call 49E731B0
00000056 mov esi,eax
00000058 cmp dword ptr [esi+70h],0
0000005c jne 00000068
0000005e mov ecx,1
00000063 call 4936344C
00000068 mov ecx,dword ptr [esi+70h]
0000006b mov edx,edi
0000006d mov eax,dword ptr [ecx]
0000006f call dword ptr [eax+000000D8h]
00000075 pop ecx
}
00000076 pop esi
00000077 pop edi
00000078 ret
数値なしでコードを最適化しようとしないでください。おわかりのように、邪魔をしなければ、JIT は多くのことをしてくれます。最適化する前にプロファイラーを使用してください。いつも。
于 2009-03-10T16:58:58.523 に答える
6
詳細については、これを参照してください。
http://codebetter.com/blogs/david.hayden/archive/2005/02/27/56104.aspx
基本的に、for ループがあり、IList.Count または Array.Length を明示的に参照する場合、JIT はそれをキャッチし、境界チェックをスキップします。リストの長さを事前に計算するよりも高速になります。
リストまたは配列の foreach は、内部で同じことを行うと思います。
于 2009-03-10T16:39:19.490 に答える
0
foreach ループは、ループを処理するクラスまたは構造体である列挙子を使用します。列挙子にはCurrent、コレクションから現在の項目を返すプロパティがあります。これにより、インデックスを使用してコレクション内のアイテムにアクセスする必要がなくなるため、境界チェックなど、アイテムを取得するための追加の手順は必要ありません。
于 2009-03-10T16:43:58.387 に答える
-3
何？C# で境界チェックをなくすことさえ可能かどうかはわかりません。アンマネージ コードが必要な場合は、次を使用します。
int[] array;
fixed (int * i = array)
{
while (i++)
Console.WriteLine("{0}", *i);
}
たとえば、境界をチェックせず、ひどく死んでしまいます。:-)
于 2009-03-10T16:39:45.883 に答える