C# .NET静态类静态方法的引用参数线程安全性及并发递增可靠性问题

架构老林

2026-4-14

兄弟，你担心的情况完全有可能发生！这种并发调用场景下，index很大概率会出现只被递增一次的问题，甚至可能出现更诡异的数值——核心原因就是index++根本不是原子操作。

咱们把index++的执行过程拆解开看，它其实是三步非原子的操作：

从内存中读取index的当前值
将读取到的数值加1
把计算后的新值写回内存中的index位置

当两个线程同时执行这个静态方法时，“竞态条件”几乎是必然会出现的：比如线程A刚读取到index=5，还没来得及完成加1和写回操作，线程B也读取到了同样的index=5。接着两个线程各自把5加1变成6，先后写回内存——最后index的结果是6，相当于只完成了一次递增，完全不符合你预期的两次。

再说说你的这个静态方法：除了index++这行代码，其他逻辑（比如MyClass1的实例化、访问paramValues2.SomeIntegerValue）只要没有涉及共享的可变状态，那部分是不会有线程安全问题的，但index的修改操作绝对是这个方法里的线程安全重灾区。

要彻底解决这个问题，最直接且高效的方式是使用.NET提供的Interlocked类的原子操作方法，把index++;替换成原子递增操作：

Interlocked.Increment(ref index);

Interlocked.Increment是操作系统级别的原子操作，它能保证“读取-加1-写回”这一整套流程在执行过程中不会被其他线程打断——不管多少线程并发调用这个静态方法，index都会被准确地递增对应次数。

如果后续你的业务场景需要更复杂的同步逻辑（比如递增前后还要执行其他必须同步的操作），也可以考虑用lock块来做线程同步，但对于单纯的数值递增场景，Interlocked的性能更优、开销更低。

修改后的完整方法代码示例如下：

public static class MyStaticClass
{
  public static MyClass1 MyStaticMethod(ref int index, string paramValue1,
      MyClass2[]? paramValues2, int paramValue3)
  {
    MyClass1 result = new MyClass1 
    { 
        Prop1 = paramValue1,
        Prop2 = paramValues2?.SomeIntegerValue ?? 0, // 补了空引用保护，避免paramValues2为null时抛出异常
        Prop3 = paramValue3 
    };
    Interlocked.Increment(ref index); // 替换为原子递增操作，保证线程安全
    return result;
  }
}

最后再敲个重点：静态类和静态方法本身不会自动提供线程安全性，任何对共享可变状态（包括这里通过引用传递的外部变量）的非原子修改操作，在并发场景下都可能引发数据不一致的问题。一定要根据具体场景，选择合适的同步机制或者原子操作来保证并发修改的正确性。

备注：内容来源于stack exchange，提问作者David Rosenblum