Partilhar via

A resolução de sobrecarga C# prefere params sobrecargas do tipo span

O C# 13 adicionou suporte para params parâmetros declarados com tipos de coleção diferentes de matrizes. Em particular, params ReadOnlySpan<T> e params Span<T> são suportados, e a resolução de sobrecarga prefere um params tipo de span a um params tipo de matriz quando ambos são aplicáveis.

O .NET 9 adicionou params sobrecargas de span para vários métodos nas principais bibliotecas do .NET. Esses métodos tinham sobrecargas pré-existentes que aceitavam params matrizes. Quando recompilas o código com chamadas existentes para esses métodos onde os argumentos são passados no formato expandido, o compilador agora se associará à params sobrecarga de span.

A nova vinculação leva a uma alteração possivelmente destrutiva para as chamadas existentes para essas sobrecargas dentro das Expression expressões lambda, que não suportam instâncias ref struct. Nesses casos, o compilador C# 13 relata um erro ao vincular à params sobrecarga de span.

Por exemplo, considere string.Join():

using System;
using System.Linq.Expressions;

Expression<Func<string, string, string>> join =
    (x, y) => string.Join("", x, y);

Quando compilada com o .NET 8, a chamada liga-se ao Join(String, String[]), sem erros.

Quando compilada com C# 13 e .NET 9, a chamada se liga ao Join(String, ReadOnlySpan<String>), e como a chamada está dentro de uma árvore de expressão, os seguintes erros são relatados:

erro CS8640: A árvore de expressões não pode conter o valor de ref struct ou o tipo restrito 'ReadOnlySpan'. erro CS9226: Uma árvore de expressão não pode conter uma forma expandida de parâmetros que não são matrizes

Versão introduzida

.NET 9

Comportamento anterior

Antes do C# 13, params os parâmetros eram limitados apenas aos tipos de matriz. As chamadas para esses métodos na forma expandida resultaram apenas em instâncias de matriz implícitas, que são suportadas em Expression expressões lambda.

Novo comportamento

Com C# 13 e .NET 9, para métodos com sobrecargas que usam params tipos de matriz e params tipos de span, a resolução de sobrecarga prefere a params sobrecarga de span. Essa chamada cria uma instância implícita de "span" no ponto onde a chamada ocorre. Para chamadas dentro de Expression expressões lambda, a instância de span implícita ref struct é reportada como erro de compilação.

Tipo de mudança disruptiva

Essa alteração pode afetar compatibilidade da fonte.

Motivo da mudança

As novas sobrecargas de método foram adicionadas para melhorar o desempenho. params O suporte a span permite que o compilador evite uma alocação para o argumento params no local de chamada.

Se o código for afetado, a solução recomendada é chamar o método com uma matriz explícita para que a chamada se ligue à sobrecarga da params matriz.

Para o exemplo anterior, use new string[] { ... }:

Expression<Func<string, string, string>> join =
    (x, y) => string.Join("", new string[] { x, y });

APIs afetadas

Ver também

  • Last updated on