C#中自定义MessageQueue队列为何短暂出现null项，Add方法未捕获？

嘿，我猜你遇到的情况是：明明在Add方法里加了null检查的断点，从来没触发过，但Next方法却时不时返回null——这种问题几乎可以肯定是多线程访问非线程安全容器导致的竞态条件在搞鬼，毕竟你有个持续运行的线程在不停检查队列，而List<T>本身根本不是为多线程场景设计的。

为什么会出现这种情况？ #

• List的内部操作不是原子性的：当你调用Add方法时，List可能会经历扩容（创建新数组、复制旧元素）、插入元素等步骤，这些步骤是分多个CPU指令执行的。如果你的检查线程在这个过程中同时调用Next去读取/修改队列，就可能看到List处于不一致的中间状态——比如某个位置还没被赋值，就被读取到了null；或者索引越界后返回引用类型的默认值null。
• Next方法的竞态条件：假设你的Next是先判断Count > 0，再去取第一个元素并移除，那这两步之间可能被另一个线程打断：比如刚判断完Count>0，另一个线程就把最后一个元素取走了，这时候再去读取List[0]就会出问题（甚至抛出异常，但如果你的代码做了容错处理，可能就返回了null）。

怎么解决？ #

有两种靠谱的方案，推荐优先用第一种：

1. 改用线程安全的队列容器

直接替换掉List<T>，用.NET自带的ConcurrentQueue<T>——这是专门为多线程并发场景设计的队列，所有操作都是线程安全的，不需要你手动处理锁。

示例代码：

public class MessageQueue<T>
{
    private readonly ConcurrentQueue<T> _queue = new ConcurrentQueue<T>();

    public void Add(T item)
    {
        if (item == null)
        {
            // 这里的断点如果触发，说明确实有null被尝试添加
            throw new ArgumentNullException(nameof(item), "不能添加null到队列");
        }
        _queue.Enqueue(item);
    }

    public T Next()
    {
        if (_queue.TryDequeue(out var item))
        {
            return item;
        }
        // 队列空的时候返回null，你可以根据需求调整
        return default;
    }
}

2. 手动加锁保护所有队列操作

如果因为某些原因必须用List<T>，那一定要给所有访问这个List的方法（包括Add、Next，以及任何其他读取/修改队列的逻辑）加上同一个锁对象，确保同一时间只有一个线程能操作队列。

示例代码：

public class MessageQueue<T>
{
    private readonly List<T> _queue = new List<T>();
    // 用一个专用的锁对象，不要用this或者队列本身当锁
    private readonly object _queueLock = new object();

    public void Add(T item)
    {
        if (item == null)
        {
            throw new ArgumentNullException(nameof(item), "不能添加null到队列");
        }
        lock (_queueLock)
        {
            _queue.Add(item);
        }
    }

    public T Next()
    {
        lock (_queueLock)
        {
            if (_queue.Count == 0)
                return default;
            
            var item = _queue[0];
            _queue.RemoveAt(0);
            return item;
        }
    }
}

额外调试建议 #

• 在Next方法返回null的时候，可以打印一下当前队列的Count值：如果Count大于0但返回了null，那100%是线程安全问题导致的。
• 可以在Add和Next方法里加日志，记录每次添加/取出的元素以及时间戳，对比日志就能更清楚地看到null出现的时机和上下文。

内容的提问来源于stack exchange，提问作者micah