如何在不使用stackalloc的情况下交换两个Span<char>

首先得明确：ReadOnlySpan是只读类型，没法直接修改原内存区域，所以要实现内存内原地交换，方法的第一个参数必须改成Span<char>，这样才能对原内存进行修改操作。

核心实现思路 #

原地交换不需要额外分配两个独立的栈缓冲区，我们可以通过最小化临时存储来完成：

• 如果两个目标Span长度相同，直接逐字符交换即可，完全不需要额外缓冲区。
• 如果长度不同，只需要分配一块等于其中一个Span长度的临时缓冲区，依次完成内容迁移即可。

同时要先处理边界情况：比如目标Span不存在、两个Span区域重叠（重叠的话需要更复杂的处理逻辑，这里假设场景中是不重叠的独立区域）。

改进后的原地交换代码 #

public static void SwapInPlace(this Span<char> main, ReadOnlySpan<char> targetA, ReadOnlySpan<char> targetB)
{
    // 定位两个目标Span在主Span中的起始位置
    int indexA = main.IndexOf(targetA);
    int indexB = main.IndexOf(targetB);
    
    // 目标Span不存在则直接返回
    if (indexA == -1 || indexB == -1)
        return;
    
    // 检测区域重叠，重叠场景需要特殊处理，这里先抛出异常提示
    int endA = indexA + targetA.Length;
    int endB = indexB + targetB.Length;
    if ((indexA < endB && endA > indexB))
        throw new InvalidOperationException("待交换的两个Span区域重叠，无法执行原地交换");

    if (targetA.Length == targetB.Length)
    {
        // 长度相同，直接逐字符交换
        for (int i = 0; i < targetA.Length; i++)
        {
            (main[indexA + i], main[indexB + i]) = (main[indexB + i], main[indexA + i]);
        }
    }
    else
    {
        // 长度不同，用栈分配临时缓冲区存储其中一个Span的内容
        Span<char> tempBuffer = stackalloc char[targetA.Length];
        main.Slice(indexA, targetA.Length).CopyTo(tempBuffer);
        
        // 将B的内容复制到A的位置
        main.Slice(indexB, targetB.Length).CopyTo(main.Slice(indexA, targetB.Length));
        // 将临时存储的A内容复制到B的位置
        tempBuffer.CopyTo(main.Slice(indexB, targetA.Length));
    }
}

使用示例 #

// 注意：必须使用可写入的Span，比如从char数组、StringBuilder获取，或用stackalloc创建
char[] inputBuffer = "hello world, how are you?".ToCharArray();
Span<char> mainSpan = inputBuffer;

ReadOnlySpan<char> span1 = "hello";
ReadOnlySpan<char> span2 = "world";

mainSpan.SwapInPlace(span1, span2);
Console.WriteLine(mainSpan); // 输出结果：world hello, how are you?

原代码的问题说明 #

1. 参数类型矛盾：原方法接收ReadOnlySpan<char>作为主Span，但又试图修改其切片内容，这在编译层面就会报错（因为ReadOnlySpan的切片也是ReadOnlySpan，无法写入）。
2. 冗余内存分配：原代码分配了两个栈缓冲区，其实只需要一块临时存储就能完成交换，没必要额外分配第二块。
3. 边界处理缺失：没有处理目标Span找不到、区域重叠的情况，鲁棒性不足。

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