Question

有人可以解释以下代码的工作原理吗？

static int index = 0;
public static int GetNextIndex()
{
    return index++;
}

我认为，由于增量操作发生在return语句之后，变量'index'永远不会递增。

但是当使用C＃编译器进行测试时，我发现'index'正在增加。

标准编译器如何处理这种情况？

Answer 1

static int index = 0;
public static int GetNextIndex()
{
    return index++;
}

相当于：

static int index = 0;
public static int GetNextIndex()
{
    int i = index;
    index = index + 1;
    return i;
}

因此index会增加。

Answer 2

这是编译器生成的中间语言（IL）（VS2013RC / .NET 4.5.1RC）：

.method public hidebysig static int32 GetNextIndex() cil managed
{
    .maxstack 8
    L_0000: ldsfld int32 ConsoleApplication4.Program::index
    L_0005: dup 
    L_0006: ldc.i4.1 
    L_0007: add 
    L_0008: stsfld int32 ConsoleApplication4.Program::index
    L_000d: ret 
}

那么，那是做什么的？假设index在调用之前值为6。

    L_0000: ldsfld int32 ConsoleApplication4.Program::index

将index的值加载到评估堆栈中 - 堆栈包含6。

    L_0005: dup

复制堆栈顶部的值 - 堆栈包含6, 6

    L_0006: ldc.i4.1

将值1加载到堆栈中 - 堆栈包含6, 6, 1

    L_0007: add

在堆栈上添加前两个值，并将结果放回堆栈。堆栈包含6, 7

    L_0008: stsfld int32 ConsoleApplication4.Program::index

将堆栈的最高值存储到index。 index现在等于7，堆栈包含6。

    L_000d: ret

将堆栈的最高值（6）作为返回值。

编译器如何使用postfix运算符处理return语句？

2 个答案: