CA1833:使用 AsSpan 或 AsMemory 而不是基于范围的索引器来获取数组的 Span 或 Memory 部分
属性 | 值 |
---|---|
规则 ID | CA1833 |
标题 | 使用 AsSpan 或 AsMemory 而不是基于范围的索引器来获取数组的 Span 或 Memory 部分 |
类别 | “性能” |
修复是中断修复还是非中断修复 | 非中断 |
在 .NET 8 中默认启用 | 作为建议 |
原因
对数组使用范围索引器并向 Span<T> 或 Memory<T> 隐式赋值。
规则说明
Span<T> 上的范围索引器是非复制的 Slice 操作。 但对于数组上的范围索引器,将使用方法 GetSubArray 而不是 Slice,这会生成数组所请求部分的副本。 此副本在隐式用作 Span<T> 或 Memory<T> 值时常常是不必要的。 如果不需要副本,请使用 AsSpan 或 AsMemory 方法来避免不必要的副本。 如果需要副本,请先将其分配给本地变量,或者添加显式强制转换。 仅在对范围索引器操作的结果使用隐式强制转换时,分析器才会报告。
检测
隐式转换:
Span<SomeT> slice = arr[a..b];
Memory<SomeT> slice = arr[a..b];
不检测
显式转换:
Span<SomeT> slice = (Span<SomeT>)arr[a..b];
Memory<SomeT> slice = (Memory<SomeT>)arr[a..b];
如何解决冲突
要解决此规则的冲突:请使用 AsSpan 或 AsMemory 扩展方法,以避免创建不必要的数据副本。
class C
{
public void TestMethod(byte[] arr)
{
// The violation occurs for both statements below
Span<byte> tmp2 = arr[0..5];
Memory<byte> tmp4 = arr[5..10];
...
}
}
class C
{
public void TestMethod(byte[] arr)
{
// The violations fixed with AsSpan or AsMemory accordingly
Span<byte> tmp2 = arr.AsSpan()[0..5];
Memory<byte> tmp4 = arr.AsMemory()[5..10];
...
}
}
提示
Visual Studio 中为此规则提供了代码修补程序。 若要使用它,请将光标置于冲突上,然后按“Ctrl+.(句点)”。 从显示的选项列表中选择“在数组上使用 AsMemory 而不是基于范围的索引器”。
还可以通过添加显式强制转换来避免此警告。
class C
{
public void TestMethod(byte[] arr)
{
// The violation occurs
Span<byte> tmp1 = arr[0..5];
Memory<byte> tmp2 = arr[5..10];
...
}
}
class C
{
public void TestMethod(byte[] arr)
{
// The violation fixed with explicit casting
Span<byte> tmp1 = (Span<byte>)arr[0..5];
Memory<byte> tmp2 = (Memory<byte>)arr[5..10];
...
}
}
何时禁止显示警告
如果需要创建副本,则可禁止显示此规则的冲突。
抑制警告
如果只想抑制单个冲突,请将预处理器指令添加到源文件以禁用该规则,然后重新启用该规则。
#pragma warning disable CA1833
// The code that's violating the rule is on this line.
#pragma warning restore CA1833
若要对文件、文件夹或项目禁用该规则,请在配置文件中将其严重性设置为 none
。
[*.{cs,vb}]
dotnet_diagnostic.CA1833.severity = none
有关详细信息,请参阅如何禁止显示代码分析警告。
相关规则
- CA1831:在合适的情况下,为字符串使用 AsSpan 而不是基于范围的索引器
- CA1832:使用 AsSpan 或 AsMemory 而不是基于范围的索引器来获取数组的 ReadOnlySpan 或 ReadOnlyMemory 部分