前言
读完上篇《通俗易懂，C#如何安全、高效地玩转任何种类的内存之Span的本质(一)。》，相信大家对span的本质应该非常清楚了。含着金钥匙出生的它，从小就被寄予厚望要成为.NET下编写高性能应用程序的重要积木，而且很多老前辈为了接纳它，都纷纷做出了改变，比如String、Int、Array。现在，它长大了，已经成为.NET下发挥关键作用的新值类型和一流成员。
那我们又该如何接纳它呢？
一句话，熟悉它的脾气秉性，让好钢用到刀刃上。
脾气秉性 - 特点
Slow vs Fast Span
上篇博客介绍了span的本质，主要涉及到三个字段，如下：
public struct Span<T> {
internal IntPtr _byteOffset; // 偏移量
internal object _reference;// 引用，可以看作当前对象的索引
internal int _length;// 长度
}
当我们访问span表示的整体或部分内存时，内部的索引器通过计算(ref reference + byteOffset) + index * sizeOf(T) 来正确直接地返回实际储存位置的引用，而不是通过复制内存来返回相对位置的副本，从而达到高性能，但是，现在我要告诉你，这种span被叫做slow span，为什么呢？因为C#7.2的新特性ref T 支持在签名中直接返回引用（相当于直接整合了这个过程），这样就无需通过计算来确定指针开头及其起始偏移，从而真正拥有和访问数组一样高的效率，如下：
public struct Span<T> {
internal ref T _reference;// 引用，本身已整合_byteOffset、_reference两者。
internal int _length;// 长度
}
这种只包含两个字段的span就叫Fast span。
在所有的.NET平台，Slow Span都是可得到的，但是目前只有.NET Core 2.X原生支持Fast span。
为了让大家更直观地了解这两种Span，下面来做两组基准测试
- 不同运行时下Span进行10万次Get、Set的基准测试
![]()
上图非常清楚了吧，从Mean（均值）指标可以看出差异还是比较大的（约60%），net framework时代追求生产力，而core时代追求高性能，所以还是早转core吧，并且新版本core还会进一步优化span，差距将会越来越大。
不同运行时下，对Span和Array进行10万次Get、Set操作
![]()
从上图Mean（均值）指标可以得出：
- slow span，即运行时原生不支持，在性能上，它的Get、Set操作和数组差异50%左右。
- fast span，即运行时原生支持，在性能上，它的Get、Set操作和数组相当。
看了上面测试，可能有的同学就会问了用Array就行了，如果总是操作整个数组，这是合适的，但如果想操作数组的一部分数据呢？按照以前的做法每次复制一份相对位置的副本给调用方，这就非常消耗性能的，那么如何支持对完整或部分数组的操作保持同样高的性能呢？答案就是span，没有之一。span不仅能用于访问数组和分离数组子集，还可引用来自内存任意区域的数据，比如本机代码、栈内存、托管内存。
基准测试示例源码参考
Stack-Only
分配一块栈内存是非常快速的，也无需手工释放，它会随着当前作用域而释放，比如方法执行结束时，就自动释放了，所以需要快取快用快放。Span虽然支持所有类型的内存，但决定安全、高效地操作各种内存的下限自然取决于最严苛的内存类型，即栈内存，好比木桶能装多少水，取决于最短的那块木板。此外，上一篇博客的动画非常清晰地演示了span的本质，每次都是通过整合内部指针为新的引用返回，而.NET运行时跟踪这些内部指针的成本非常高昂，所以将span约束为仅存在于栈上，从而隐式地限制了可以存在的内部指针数量。
备注：栈内存的容量非常小， ARM、x86 和 x64 计算机，默认堆栈大小为 1 MB。CLR和编译器会自动检测Stack-Only约束。
所以span必须是值类型，它不能被储存到堆上。
违背Stack-Only的应用场景
-
Span不能作为类的字段。
class Impossible
{
Span<byte> field;
}
- Span不能实现任何接口
先来看一段C#（伪代码）：
struct StructType<T> : IEnumerable<T> { }
class SpanStructTypeSample
{
static void Test()
{
var value = new StructType<int>();
Parse(value);
}
static void Parse(IEnumerable<int> collection) { }
}
使用ILDasm查看生成的IL代码：
.method public hidebysig static void Test() cil managed // 调用Test方法
{
// Code size 22 (0x16)
.maxstack 1
.locals init (valuetype SpanTest.StructType`1<int32> V_0)
IL_0000: nop
IL_0001: ldloca.s V_0
IL_0003: initobj valuetype SpanTest.StructType`1<int32>
IL_0009: ldloc.0
IL_000a: box valuetype SpanTest.StructType`1<int32> // 装箱，意味着被储存到托管堆上。
IL_000f: call void SpanTest.SpanStructTypeSample::Parse(class [System.Runtime]System.Collections.Generic.IEnumerable`1<int32>)
IL_0014: nop
IL_0015: ret
} // end of method SpanStructTypeSample::Test
上面的代码很明确，首先让自定义的值类型实现接口IEnumerable，然后作为参数传递给Parse，最后分析IL代码发现参数被装箱了，意味着将被储存到托管堆上，如果将来C#能专门定义只用于struct的接口，那么就能扩展Stack-Only结构到此应用场景了，一起期待吧。
-
Span不能作为异步方法的参数
首先`async`和`await ` 是非常棒的语法糖，不仅仅大大地简化了编写异步代码的难度，而且还带来了代码的优雅度。
同样，先来看一段C#代码：
public async Task TestAsync(Span<byte> data) { }
这样的用法也是禁止的，编译时就会报错Parameter or local type Span<byte> cannot be declared in async method.。因为本质上，async & await 的内部是通过AsyncMethodBuilder 来创建一个异步的状态机，某一时刻可能会将方法参数储存到托管堆上。
- Span不能作为泛型类型的参数
同样，先来看一段C#代码：
Func<Span<byte>> valueProvider = () => new Span<byte>(new byte[256]);
object value = valueProvider.Invoke(); // 装箱
这样的用法也是禁止的，编译时会报错The type Span<byte>may not be used as a type argument. 。同理，span<byte>可以表示内存任意区域，而实际使用时肯定需要类型化对象，无法避免装箱。那么微软为什么不引入一种新的泛型约束：stackonly，而是决定禁止span作为泛型参数，因为这需要编译器检查所有的代码，可能还需要理解代码逻辑（因为有的类型需要运行时才能确定），不然是无法保证stackonly约束的，呵呵，目前看来是不现实的，不知人工智能能否解决这个问题。
Stack Tearing
阐述这个特点前，先简单说说计算机的字大小。
表示计算机中CPU的字长，32位CPU字长为32位，即4字节；64位CPU字长为64位，即8字节。CPU的字长决定了每次能够原子更新的连续内存块的大小。
栈撕裂其实是多线程下的数据同步问题，当结构数据大于当前处理器的字大小时，都会面临这个问题。如前所述，span内部包含多个字段，这就意味着，一些处理器可能无法保证原子更新span的_reference和_length 字段，也就是说，多线程下_reference和_length 可能来自于两个不同的span。
internal class Buffer
{
Span<byte> _memory = new byte[1024];
public void Resize(int newSize)
{
_memory = new byte[newSize]; // 因为这里无法保证原子更新
}
public byte this[int index] => _memory[index]; // 所以这里可能的部分更新
}
其实有两种办法可以解决这个问题：
- 直接处理 - 加锁，即强制同步访问。
- 间接处理 - 私有化字段，即不给外面观察到部分更新的机会。
如果这样，就无法保证像数组一样的高性能，因此不能给字段加锁，也不能限制访问（没意义），另外对Span的访问和写入都是直接操作的内存，如果_reference和_length出现不同步的情况，还会导致内存安全问题。
这也是为什么span只能存在于栈上，即指针、数据、长度全都存于栈上，而不是引用存在栈，数据存在堆，因为span<T>不需要暂留，必须快取快用快放，否则就不要使用span。
备注：对于需要暂留到堆上的场景，它的解决方案是Memory<T>，大家可以继续关注。
.NET库的集成
为了支持轻松高效地处理 {ReadOnly}Span ，微软向.NET添加了数百个新成员和类型。目前大多是基于数组、字符串和基元类型的方法的重载 ，除此之外，还包括一些专注于特定处理方面的全新类型，比如：System.IO.Pipelines。
下面是一些比较常用的扩展：
-
基元类型（伪代码）
short.Parse(ReadOnlySpan<char> s);
int.Parse(ReadOnlySpan<char> s);
long.Parse(ReadOnlySpan<char> s);
DateTime.Parse(ReadOnlySpan<char> s);
TimeSpan.Parse(ReadOnlySpan<char> input);
Guid.Parse(ReadOnlySpan<char> input);
-
字符串
public static ReadOnlySpan<char> AsSpan(this string text, int start, int length);
public static ReadOnlySpan<char> AsSpan(this string text, int start);
public static ReadOnlySpan<char> AsSpan(this string text);
public static String Create<TState>(int length, TState state, SpanAction<char, TState> action);
-
数组
public static Span<T> AsSpan<T>(this T[] array, int start);
public static Span<T> AsSpan<T>(this T[] array);
public static Span<T> AsSpan<T>(this ArraySegment<T> segment, int start, int length);
public static Span<T> AsSpan<T>(this ArraySegment<T> segment, int start);
public static Span<T> AsSpan<T>(this T[] array, int start, int length);
-
Guid
public static bool TryParse(ReadOnlySpan<char> input, out Guid result);
public bool TryFormat(Span<char> destination, out int charsWritten, ReadOnlySpan<char> format = default (ReadOnlySpan<char>));
最后使用上面的API演示一个官网的例子，解析字符串"123,456"中的数字：
以前的写法：
var input = "123,456";
var commaPos = input.IndexOf(',');
var first = int.Parse(input.Substring(0, commaPos));// yes-Allocating, yes-Coping
var second = int.Parse(input.Substring(commaPos + 1));// yes-Allocating, yes-Coping
现在的写法：
var input = "123,456";
var inputSpan = input.AsSpan();
var commaPos = input.IndexOf(',');
var first = int.Parse(inputSpan.Slice(0, commaPos));// no-Allocating, no-Coping
var second = int.Parse(inputSpan.Slice(commaPos + 1));// no-Allocating, no-Coping
当然还是有许多这样的方法，比如System.Random、System.Net.Socket、Utf8Formatter、Utf8Parser等，明白了它的脾气秉性，对于具体的应用场景大家可以先自行查阅资料，相信认真读完上篇、本篇的同学已经具备用好这把尖刀的能力了。
总结
综上所诉，通过限制Span只能驻留到栈上，完美解决了以下的问题：
- 更高效地内存访问，快取快用快放的天然保障。
- 更高效地GC跟踪。
- 并发内存安全。
备注：正是由于Stack-Only这个特点，在底层数据访问、转换以及同步处理方面，Span性能非常出色。
此外，本篇还在上篇的基础上，详细讲解span的脾气秉性，以及每种特点下的非法应用场景，一切都是为了大家能够在.NET 程序中使用span高效安全地访问内存，希望大家能有所收获。下一篇可能会讲span的加强，也可能会讲它在数据转换以及同步处理方面的应用，比如：Data Pipelines、Discontinuous Buffers、Buffer Pooling等，也可能会讲Memory<T>，感兴趣请继续关注。
最后
如果有什么疑问和见解，欢迎评论区交流。
如果你觉得本篇文章对您有帮助的话，感谢您的【推荐】。
如果你对高性能编程感兴趣的话可以关注我，我会定期的在博客分享我的学习心得。
欢迎转载，请在明显位置给出出处及链接。
延伸阅读
https://adamsitnik.com/Hardware-Counters-Diagnoser/#how-to-get-it-running-for-net-coremono-on-windows
https://blogs.msdn.microsoft.com/dotnet/2017/10/16/ryujit-just-in-time-compiler-optimization-enhancements
https://github.com/dotnet/coreclr/blob/master/src/System.Private.CoreLib/shared/System/Span.Fast.cs
https://github.com/dotnet/coreclr/blob/master/src/System.Private.CoreLib/shared/System/Span.cs
https://docs.microsoft.com/en-us/dotnet/csharp/write-safe-efficient-code
