Expressões de coleção - referência da linguagem C#
Você pode usar uma expressão de coleção para criar valores de coleção comuns. Uma expressão de coleção é uma sintaxe resumida que, quando avaliada, pode ser atribuída a muitos tipos de coleção diferentes. Uma expressão de coleção contém uma sequência de elementos entre [
colchetes e colchetes ]
. O exemplo a seguir declara um System.Span<T> dos string
elementos e os inicializa para os dias da semana:
Span<string> weekDays = ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"];
foreach (var day in weekDays)
{
Console.WriteLine(day);
}
Uma expressão de coleção pode ser convertida em muitos tipos de coleção diferentes. O primeiro exemplo demonstrou como inicializar uma variável usando uma expressão de coleção. O código a seguir mostra muitos dos outros locais onde você pode usar uma expressão de coleção:
// Initialize private field:
private static readonly ImmutableArray<string> _months = ["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"];
// property with expression body:
public IEnumerable<int> MaxDays =>
[31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31];
public int Sum(IEnumerable<int> values) =>
values.Sum();
public void Example()
{
// As a parameter:
int sum = Sum([1, 2, 3, 4, 5]);
}
Você não pode usar uma expressão de coleção onde uma constante de tempo de compilação é esperada, como inicializar uma constante, ou como o valor padrão para um argumento de método.
Ambos os exemplos anteriores usavam constantes como elementos de uma expressão de coleção. Você também pode usar variáveis para os elementos, conforme mostrado no exemplo a seguir:
string hydrogen = "H";
string helium = "He";
string lithium = "Li";
string beryllium = "Be";
string boron = "B";
string carbon = "C";
string nitrogen = "N";
string oxygen = "O";
string fluorine = "F";
string neon = "Ne";
string[] elements = [hydrogen, helium, lithium, beryllium, boron, carbon, nitrogen, oxygen, fluorine, neon];
foreach (var element in elements)
{
Console.WriteLine(element);
}
Elemento de propagação
Você usa um elemento ..
spread para inserir valores de coleção em uma expressão de coleção. O exemplo a seguir cria uma coleção para o alfabeto completo combinando uma coleção de vogais, uma coleção de consoantes e a letra "y", que pode ser:
string[] vowels = ["a", "e", "i", "o", "u"];
string[] consonants = ["b", "c", "d", "f", "g", "h", "j", "k", "l", "m",
"n", "p", "q", "r", "s", "t", "v", "w", "x", "z"];
string[] alphabet = [.. vowels, .. consonants, "y"];
O elemento ..vowels
spread , quando avaliado, produz cinco elementos: "a"
, "e"
, "i"
, "o"
, e "u"
. O elemento ..consonants
spread produz 20 elementos, o número na consonants
matriz. A variável em um elemento spread deve ser enumerável usando uma foreach
instrução. Como mostrado no exemplo anterior, você pode combinar elementos spread com elementos individuais em uma expressão de coleção.
Conversões
Uma expressão de coleção pode ser convertida em diferentes tipos de coleção, incluindo:
- System.Span<T> e System.ReadOnlySpan<T>.
- Matrizes.
- Qualquer tipo com um método create cujo tipo de parâmetro é
ReadOnlySpan<T>
onde há uma conversão implícita do tipo de expressão de coleção paraT
. - Qualquer tipo que ofereça suporte a um inicializador de coleção, como System.Collections.Generic.List<T>. Normalmente, esse requisito significa que o tipo suporta System.Collections.Generic.IEnumerable<T> e há um método acessível
Add
para adicionar itens à coleção. Deve haver uma conversão implícita do tipo dos elementos de expressão da coleção para o tipo de elemento da coleção. Para elementos spread, deve haver uma conversão implícita do tipo do elemento spread para o tipo de elemento da coleção. - Qualquer uma das seguintes interfaces:
Importante
Uma expressão de coleção sempre cria uma coleção que inclui todos os elementos na expressão de coleção, independentemente do tipo de destino da conversão. Por exemplo, quando o destino da conversão é System.Collections.Generic.IEnumerable<T>, o código gerado avalia a expressão de coleção e armazena os resultados em uma coleção na memória.
Esse comportamento é distinto do LINQ, onde uma sequência pode não ser instanciada até que seja enumerada. Não é possível usar expressões de coleção para gerar uma sequência infinita que não será enumerada.
O compilador usa análise estática para determinar a maneira mais eficiente de criar a coleção declarada com uma expressão de coleção. Por exemplo, a expressão de coleção vazia, []
, pode ser percebida como Array.Empty<T>() se o destino não fosse modificado após a inicialização. Quando o destino é um System.Span<T> ou System.ReadOnlySpan<T>, o armazenamento pode ser alocado em pilha. A especificação do recurso de expressões de coleção especifica as regras que o compilador deve seguir.
Muitas APIs são sobrecarregadas com vários tipos de coleção como parâmetros. Como uma expressão de coleção pode ser convertida em muitos tipos de expressão diferentes, essas APIs podem exigir versões na expressão de coleção para especificar a conversão correta. As seguintes regras de conversão resolvem algumas das ambiguidades:
- A conversão para Span<T>, ReadOnlySpan<T>, ou outro
ref struct
tipo é melhor do que uma conversão para um tipo struct não-ref. - A conversão para um tipo sem interface é melhor do que uma conversão para um tipo de interface.
Quando uma expressão de coleção é convertida em um Span
ou ReadOnlySpan
, o contexto seguro do objeto span é retirado do contexto seguro de todos os elementos incluídos na extensão. Para obter regras detalhadas, consulte a especificação de expressão de coleção.
Construtor de coleções
As expressões de coleção funcionam com qualquer tipo de coleção que seja bem comportado. Uma coleção bem comportada tem as seguintes características:
- O valor de
Count
ouLength
em uma coleção contável produz o mesmo valor que o número de elementos quando enumerado. - Presume-se que os System.Collections.Generic tipos no namespace sejam livres de efeitos colaterais. Como tal, o compilador pode otimizar cenários onde tais tipos podem ser usados como valores intermediários, mas de outra forma não serão expostos.
- Uma chamada para algum membro aplicável
.AddRange(x)
em uma coleção resultará no mesmo valor final que iterarx
e adicionar todos os seus valores enumerados individualmente à coleção com.Add
.
Todos os tipos de coleção no tempo de execução do .NET são bem comportados.
Aviso
Se um tipo de coleção personalizado não for bem comportado, o comportamento quando você usar esse tipo de coleção com expressões de coleção será indefinido.
Seus tipos optam pelo suporte à expressão de coleção escrevendo um Create()
método e aplicando o System.Runtime.CompilerServices.CollectionBuilderAttribute no tipo de coleção para indicar o método do construtor. Por exemplo, considere um aplicativo que usa buffers de comprimento fixo de 80 caracteres. Essa classe pode se parecer com o seguinte código:
public class LineBuffer : IEnumerable<char>
{
private readonly char[] _buffer = new char[80];
public LineBuffer(ReadOnlySpan<char> buffer)
{
int number = (_buffer.Length < buffer.Length) ? _buffer.Length : buffer.Length;
for (int i = 0; i < number; i++)
{
_buffer[i] = buffer[i];
}
}
public IEnumerator<char> GetEnumerator() => _buffer.AsEnumerable<char>().GetEnumerator();
IEnumerator IEnumerable.GetEnumerator() => _buffer.GetEnumerator();
// etc
}
Você gostaria de usá-lo com expressões de coleção, conforme mostrado no exemplo a seguir:
LineBuffer line = ['H', 'e', 'l', 'l', 'o', ' ', 'W', 'o', 'r', 'l', 'd', '!'];
O LineBuffer
tipo implementa IEnumerable<char>
, para que o compilador o reconheça como uma coleção de char
itens. O parâmetro type da interface implementada System.Collections.Generic.IEnumerable<T> indica o tipo de elemento. Você precisa fazer duas adições ao seu aplicativo para poder atribuir expressões de coleção a um LineBuffer
objeto. Primeiro, você precisa criar uma classe que contenha um Create
método:
internal static class LineBufferBuilder
{
internal static LineBuffer Create(ReadOnlySpan<char> values) => new LineBuffer(values);
}
O Create
método deve retornar um LineBuffer
objeto e deve ter um único parâmetro do tipo ReadOnlySpan<char>
. O parâmetro type do ReadOnlySpan
deve corresponder ao tipo de elemento da coleção. Um método construtor que retorna uma coleção genérica teria o genérico ReadOnlySpan<T>
como parâmetro. O método deve ser acessível e static
.
Finalmente, você deve adicionar o CollectionBuilderAttribute à declaração de LineBuffer
classe:
[CollectionBuilder(typeof(LineBufferBuilder), "Create")]
O primeiro parâmetro fornece o nome da classe Builder . O segundo atributo fornece o nome do método builder.