调用MemoryMarshal.AsBytes前Span实例调试值异常问题咨询

问题现象 #

调用MemoryMarshal.AsBytes(ReadOnlySpan<T>)前，调试器对Span实例索引器位置0的值显示错误。业务逻辑运行正常，但调试求值出现矛盾：

• 鼠标悬停展开span → [0] → AtX时，调试器显示值为0，对应求值表达式：(new System.SpanDebugView<Location>(span).Items[0]).AtX
• 鼠标悬停代码中Console.WriteLine(span[0].AtX)里的AtX时，调试器显示正确值3，对应求值表达式：span[0].AtX

仅在触发INVOKE_BUG宏的代码路径下出现该问题，其他路径（如调用span.ToString()或初始化空Span<byte>）中两种求值方式均显示正确的3。

可复现代码 #

.csproj配置 #

<Project Sdk="Microsoft.NET.Sdk">
  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>net8.0</TargetFramework>
    <ImplicitUsings>enable</ImplicitUsings>
    <Nullable>enable</Nullable>
  </PropertyGroup>
</Project>

Program.cs代码 #

#define INVOKE_BUG
using System.Runtime.InteropServices;

Span<Location> span = new Location[1];
span[0] = new(3);

#if INVOKE_BUG
Console.WriteLine(span[0].AtX); // 运行时输出3
// 调试时的矛盾现象：
// a: 悬停span展开查看[0].AtX → 显示0
// b: 悬停Console.WriteLine中的span[0].AtX → 显示3
// 断点需打在下方这一行
var bin = MemoryMarshal.AsBytes(span);
#elif TEST_2
// 此路径下无Bug，两种求值均显示3
global::System.Console.WriteLine(span.ToString());
#else
// 此路径下无Bug，两种求值均显示3
var bin = Span<byte>.Empty;
#endif

record struct Location(int AtX);

原因分析 #

该问题属于Visual Studio调试器的求值逻辑Bug。推测是调试器用于展示Span内容的SpanDebugView，在处理即将被MemoryMarshal.AsBytes转换的Span时，内部内存处理逻辑出现异常——MemoryMarshal.AsBytes会直接映射Span的底层内存，调试器视图可能提前进行了不正确的内存解析或缓存，导致视图展开查看的值与直接求值索引器的值不一致。

建议 #

由于这是调试器本身的问题，而非业务代码逻辑错误，建议向官方提交反馈报告以修复该Bug。

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