C#中如何高效遍历二维数组？

Question

在C#开发中，遍历二维数组是一个常见操作，尤其在处理矩阵运算、图像处理或游戏开发等场景。然而，许多开发者在实现时并未充分考虑性能差异。例如，使用嵌套的 `for` 循环与 `foreach` 循环在效率上有何区别？多维数组与交错数组（jagged array）在遍历性能上有何差异？如何通过缓存行优化（cache-friendly访问）提升效率？是否应优先使用 `for` 而非 `foreach`？本文将围绕这些问题，深入探讨C#中高效遍历二维数组的最佳实践，帮助开发者写出更高效、更稳定的代码。

Answer 1

一、C#中二维数组遍历的性能差异与优化实践

在C#开发中，遍历二维数组是一个常见操作，尤其在处理矩阵运算、图像处理或游戏开发等场景。然而，许多开发者在实现时并未充分考虑性能差异。

1. 二维数组的基本结构：矩形数组与交错数组

在C#中，有两种主要的二维数组类型：

• 矩形数组（Rectangular Arrays）：如 int[,]，内存中是连续存储的。
• 交错数组（Jagged Arrays）：如 int[][]，即数组的数组，每个子数组可独立分配。

性能上，矩形数组在内存中是连续的，更适合缓存行优化；而交错数组虽然更灵活，但遍历时可能引起缓存不命中。

2. 遍历方式对比：for vs foreach

开发者常使用嵌套的 for 循环或 foreach 来遍历二维数组，但性能差异显著：

方式	优点	缺点	适用场景
for	索引访问，控制更精细	代码略复杂	需要索引处理、性能敏感场景
foreach	代码简洁，不易出错	隐藏索引，性能略低	只读遍历、逻辑简单场景

对于矩形数组，foreach 需要内部迭代器来维护状态，会带来额外开销。因此在性能敏感场景，推荐使用 for。

3. 缓存行优化（Cache-Friendly访问）

在访问二维数组时，内存访问顺序对性能影响极大。C#中的矩形数组是按行优先（Row-major Order）存储的。

// 推荐写法：行优先访问
for (int i = 0; i < rows; i++)
    for (int j = 0; j < cols; j++)
        sum += array[i, j];

// 不推荐写法：列优先访问
for (int j = 0; j < cols; j++)
    for (int i = 0; i < rows; i++)
        sum += array[i, j];
    

第一种写法更符合缓存行的访问模式，能显著减少缓存缺失，提升性能。

4. 多维数组 vs 交错数组的性能差异

多维数组（如 int[,]）在底层是连续存储的，适合需要连续访问的场景；而交错数组（如 int[][]）则是多个一维数组的组合，每个子数组位于不同的内存区域。

graph TD A[二维数组] --> B[矩形数组] A --> C[交错数组] B --> D[内存连续] C --> E[内存不连续] D --> F[缓存命中率高] E --> G[缓存命中率低]

因此，在需要高性能遍历的场景下，矩形数组通常比交错数组更快。

5. 实践建议与性能测试示例

以下是一个简单的性能测试示例，比较了不同遍历方式的执行时间：

using System;
using System.Diagnostics;

class Program
{
    static void Main()
    {
        int rows = 1000, cols = 1000;
        int[,] rectArray = new int[rows, cols];
        int[][] jaggedArray = new int[rows][];

        for (int i = 0; i < rows; i++)
        {
            jaggedArray[i] = new int[cols];
            for (int j = 0; j < cols; j++)
                rectArray[i, j] = jaggedArray[i][j] = i + j;
        }

        var sw = new Stopwatch();

        // 测试矩形数组 for 循环
        sw.Start();
        long sum = 0;
        for (int i = 0; i < rows; i++)
            for (int j = 0; j < cols; j++)
                sum += rectArray[i, j];
        sw.Stop();
        Console.WriteLine($"矩形数组 for 循环耗时: {sw.ElapsedMilliseconds} ms");

        // 测试矩形数组 foreach
        sw.Restart();
        sum = 0;
        foreach (int val in rectArray)
            sum += val;
        sw.Stop();
        Console.WriteLine($"矩形数组 foreach 耗时: {sw.ElapsedMilliseconds} ms");

        // 测试交错数组 for 循环
        sw.Restart();
        sum = 0;
        for (int i = 0; i < rows; i++)
            for (int j = 0; j < cols; j++)
                sum += jaggedArray[i][j];
        sw.Stop();
        Console.WriteLine($"交错数组 for 循环耗时: {sw.ElapsedMilliseconds} ms");
    }
}
    

运行结果通常显示：矩形数组 + for 循环 是性能最优的选择。