CA1833:使用 AsSpan 或 AsMemory 而不是基于范围的索引器来获取数组的 Span 或 Memory 部分

属性
规则 ID CA1833
标题 使用 AsSpan 或 AsMemory 而不是基于范围的索引器来获取数组的 Span 或 Memory 部分
类别 “性能”
修复是中断修复还是非中断修复 非中断
在 .NET 9 中默认启用 作为建议

原因

对数组使用范围索引器并向 Span<T>Memory<T> 隐式赋值。

规则说明

Span<T> 上的范围索引器是非复制的 Slice 操作。 但对于数组上的范围索引器,将使用方法 GetSubArray 而不是 Slice,这会生成数组所请求部分的副本。 此副本在隐式用作 Span<T>Memory<T> 值时常常是不必要的。 如果不需要副本,请使用 AsSpanAsMemory 方法来避免不必要的副本。 如果需要副本,请先将其分配给本地变量,或者添加显式强制转换。 仅在对范围索引器操作的结果使用隐式强制转换时,分析器才会报告。

检测

隐式转换:

  • 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];

如何解决冲突

要解决此规则的冲突:请使用 AsSpanAsMemory 扩展方法,以避免创建不必要的数据副本。

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 而不是基于范围的索引器”。

CA1833 的代码修补程序 - 使用 AsSpan 或 AsMemory 而不是基于范围的索引器来获取数组的 Span 或 Memory 部分

还可以通过添加显式强制转换来避免此警告。

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

有关详细信息,请参阅如何禁止显示代码分析警告

另请参阅