10

私はこのようなものを持っています：

For i = 1 To 4
        Dim x As Boolean
        If i < 3 Then x = True
        Console.WriteLine(x)
Next

私に与える：真真真真真

この

For i = 1 To 4
        Dim x As Boolean = False
        If i < 3 Then x = True
        Console.WriteLine(x)
Next

私に与える：真真偽偽

彼らは両方とも私に2番目の結果を与えることになっていないのですか？MSDNの記事によると、ブール値のデフォルト値はFalseです。

それはバグですか、それとも何かが足りませんか？

4

2 に答える 2

13

非常に興味深い質問をありがとうございます。サンプルコードを取りました：

Module Module1

    Sub Main()
        Test1()
        Test2()
        Console.ReadKey()
    End Sub

    Public Sub Test1()
        For i = 1 To 4
            Dim x As Boolean
            If i < 3 Then x = True
            Console.WriteLine(x)
        Next
    End Sub

    Public Sub Test2()
        For i = 1 To 4
            Dim x As Boolean = False
            If i < 3 Then x = True
            Console.WriteLine(x)
        Next
    End Sub
End Module

そして、ILSpyを介して生成されたILを調べました。

Test1（）

    .method public static 
        void Test1 () cil managed 
    {
        // Method begins at RVA 0x2120
        // Code size 33 (0x21)
        .maxstack 2
        .locals init (
            [0] int32 i,
            [1] bool x,
            [2] bool VB$CG$t_bool$S0,
            [3] int32 VB$CG$t_i4$S0
        )

        IL_0000: nop
        IL_0001: ldc.i4.1                   
        IL_0002: stloc.0                        // put 1 on top of stack
        // loop start (head: IL_0003)
            IL_0003: ldloc.0                    // load i on top of stack 
            IL_0004: ldc.i4.3                   // load 3 on top of stack
            IL_0005: clt                        // compare if 0 is less than 3
            IL_0007: stloc.2                 
            IL_0008: ldloc.2
            IL_0009: brfalse.s IL_000d          // if i >= 3, jump to IL_000d

            IL_000b: ldc.i4.1                   // load true onto stack
            IL_000c: stloc.1                    // set x = true

            IL_000d: ldloc.1                    // load x onto stack
            IL_000e: call void [mscorlib]System.Console::WriteLine(bool) // print x
            IL_0013: nop
            IL_0014: nop
            IL_0015: ldloc.0                    // load i onto stack
            IL_0016: ldc.i4.1                   // load 1 onto stack
            IL_0017: add.ovf                    // add i + 1
            IL_0018: stloc.0                    // set i = i + 1
            IL_0019: ldloc.0                    // load i
            IL_001a: ldc.i4.4                   // load 4
            IL_001b: stloc.3                    // store 4 in iterator variable
            IL_001c: ldloc.3                    // load 4 from iterator variable
            IL_001d: ble.s IL_0003              // if i <= 4, go to beginning of loop
        // end loop
        IL_001f: nop
        IL_0020: ret
    } // end of method Module1::Test1

Test2（） 

        .method public static 
        void Test2 () cil managed 
    {
        // Method begins at RVA 0x2150
        // Code size 35 (0x23)
        .maxstack 2
        .locals init (
            [0] int32 i,
            [1] bool x,
            [2] bool VB$CG$t_bool$S0,
            [3] int32 VB$CG$t_i4$S0
        )

        IL_0000: nop
        IL_0001: ldc.i4.1                   // load 1 onto stack
        IL_0002: stloc.0                    // set i = 1
        // loop start (head: IL_0003)       
            IL_0003: ldc.i4.0               // load 0 onto stack
            IL_0004: stloc.1                // set x = false
            IL_0005: ldloc.0                // load i onto stack
            IL_0006: ldc.i4.3               // load 3 onto stack
            IL_0007: clt                    // compare i to 3
            IL_0009: stloc.2                // store result in iterator variable
            IL_000a: ldloc.2                // load iterator variable
            IL_000b: brfalse.s IL_000f      // if i >= 3, jump to IL_00f

            IL_000d: ldc.i4.1               // load 1 onto stack
            IL_000e: stloc.1                // set x = true

            IL_000f: ldloc.1                // load x onto stack
            IL_0010: call void [mscorlib]System.Console::WriteLine(bool)    // print x
            IL_0015: nop            
            IL_0016: nop
            IL_0017: ldloc.0                // load i onto stack
            IL_0018: ldc.i4.1               // load 1 onto stack
            IL_0019: add.ovf                // add i + 1
            IL_001a: stloc.0                // set i = i + 1
            IL_001b: ldloc.0                // load i onto stack
            IL_001c: ldc.i4.4               // load 4 onto stack
            IL_001d: stloc.3                // store 4 into iterator variable
            IL_001e: ldloc.3                // load 4 from iterator variable
            IL_001f: ble.s IL_0003          // if i <= 4, go to beginning of loop
        // end loop
        IL_0021: nop
        IL_0022: ret
    } // end of method Module1::Test2

Dim x as Booleanこれは、ループ（ ）および（ ）でxを宣言している場合でもDim x as boolean = False、変数の実際の宣言はループの外側で行われることを示しています。

のループ内で変数にデフォルト値を指定しているため、Test2実際にFalseは各反復の開始時に値がに設定されています。ループ内でxに値を割り当てず、ループ外で1回Test1だけ宣言されるため、前の反復で持っていた値が保持されます。

于 2012-11-26T01:29:12.553 に答える
4

変数xは、ループの各反復で初期化されるのではなく、最初の反復でのみ初期化されます。例1はと同じです

Dim x As Boolean
For i = 1 To 4
        If i < 3 Then x = True
        Console.WriteLine(x)
Next

このように見ると、ループの最初のパスでTrueに設定していて、Falseに設定するものがないため、True TrueTrueTrueになってしまうのは理にかなっています。

例2は

Dim x As Boolean
For i = 1 To 4
        x = False
        If i < 3 Then x = True
        Console.WriteLine(x)
Next

確かに直感的ではありませんが、それはコンパイラが行っていることです

于 2012-11-26T01:27:41.937 に答える