接口与具体类型调用性能基准测试异常及代码修改影响的技术问询

最近我在评估C#代码分析规则CA1859: Use concrete types when possible for improved performance的实际价值，核心关注点是接口调用和具体类型调用的性能差异。另一位开发者写了一个.NET Framework 4.8的控制台基准程序来对比两者性能，但我们在相同运行条件下得到了完全相反的结果，后续修改代码后结果又出现了更意外的变化，想请大家帮忙分析原因。

原始基准测试代码 #

namespace InterfaceCall
{
    using System;
    using System.Diagnostics;

    internal class Program
    {
        static void Main(string[] args)
        {
            while (true)
            {
                Test concreteTest = new Test();
                Call(concreteTest);
                
                ITest interfaceTest = new Test();
                Call(interfaceTest);
                
                Console.ReadLine();
            }
        }

        private static void Call(Test test)
        {
            var sw = Stopwatch.StartNew();
            for (int i = 0; i < 10000000; i++)
            {
                test.Increment();
            }
            sw.Stop();
            Console.WriteLine($"Concrete time taken: {sw.ElapsedMilliseconds} ms");
        }

        private static void Call(ITest test)
        {
            var sw = Stopwatch.StartNew();
            for (int i = 0; i < 10000000; i++)
            {
                test.Increment();
            }
            sw.Stop();
            Console.WriteLine($"Interface time taken: {sw.ElapsedMilliseconds} ms");
        }
    }

    public interface ITest
    {
        void Increment();
    }

    public class Test : ITest
    {
        private int _count;
        public void Increment()
        {
            _count++;
        }
    }
}

不同机器的测试结果差异 #

我们都是在Release模式、无调试的条件下运行：

• 另一位开发者的机器：结果符合预期，具体类型调用略快，每百万次迭代大概快1ms左右。
• 我的机器：结果完全相反，接口调用反而更快（或者说具体类型调用明显变慢）。

代码修改后的变化 #

我怀疑是未使用的私有字段_count影响了JIT优化，于是把私有字段改成了自动实现的公共属性：

public interface ITest
{
    void Increment();
    int Count { get; }
}

public class Test : ITest
{
    public void Increment()
    {
        Count++;
    }
    public int Count { get; private set; }
}

修改后，我的机器上的结果回归“正常”：具体类型调用略快，而且两者的总耗时都明显降低了——这和我预想的“优化变化”逻辑不符，因为不管是字段还是属性，实际都没有被外部使用。

我的疑问 #

1. 为什么原始代码在两台配置、VS版本相近的机器上会出现完全相反的性能结果？
2. 把未使用的私有字段改成未使用的自动属性，为什么会扭转我的机器上的性能对比结果？
3. 为什么这次修改会让两种调用的耗时都显著降低？

个人初步猜测 #

我先分享一些自己的思考方向，也请大家补充：

• JIT优化的不确定性：.NET Framework的JIT编译器在处理微小代码差异时，可能生成不同的机器码。原始代码中_count是私有未使用字段，JIT可能对具体类型的Increment()执行了特殊优化（比如意外的内存操作冗余），而接口调用因为多态约束，优化逻辑更一致。
• 字段与自动属性的元数据差异：自动属性本质是编译器生成的私有字段+访问器方法，虽然逻辑和原始代码一致，但元数据的差异可能引导JIT走向不同的优化路径。比如自动属性的访问器可能被更彻底地内联，或者JIT对属性操作有专门的优化规则。
• CPU微架构的细微差异：即使两台机器CPU型号相近，微码版本、缓存配置的微小区别也可能影响毫秒级的性能对比——毕竟我们测试的是百万次迭代下的极小耗时差，很容易被CPU分支预测、缓存命中情况干扰。
• .NET Framework补丁差异：虽然都是4.8版本，不同的系统补丁更新可能导致JIT编译器的优化逻辑出现细微变化。

另外要注意：这类微基准测试的结果很容易被JIT的各种优化（比如内联、死代码消除）干扰，原始代码中_count从未被读取，JIT理论上可以完全消除Increment()的操作，但实际测试中存在耗时，说明JIT可能因为循环次数较多，判定这不是死代码，或者Stopwatch的存在干扰了优化判断。

内容来源于stack exchange