Expressões with em records
Crie cópias modificadas de objetos imutáveis.
Expressões with em records é uma aula grátis de C# Academy no CoddyKit. Esta é a aula 4 de 4. Você pode ler a aula completa abaixo gratuitamente — depois pratica ao vivo no navegador com um editor de código integrado e um tutor de IA 24/7. Faz parte do caminho de aprendizado de C# Academy, e seu progresso é sincronizado entre a web e o app CoddyKit. O curso de C# Academy inclui 4 aulas no total.
A expressão de cópia
Uma expressão with cria uma cópia de um registro com algumas propriedades alteradas, deixando o original intacto. Essa é a forma idiomática de "atualizar" registros imutáveis.
using System;
record Point(int X, int Y);
var a = new Point(1, 2);
var b = a with { Y = 9 };
Console.WriteLine(a + " | " + b); // Point { X = 1, Y = 2 } | Point { X = 1, Y = 9 }Mutação não destrutiva
O registro original nunca é modificado. with faz uma cópia superficial e aplica as alterações listadas somente à cópia.
using System;
record User(string Name, int Age);
var original = new User("Ada", 30);
var older = original with { Age = 31 };
Console.WriteLine(original.Age + " " + older.Age); // 30 31Alterando várias propriedades
Liste várias atribuições dentro das chaves para alterar mais de uma propriedade ao mesmo tempo.
using System;
record Config(string Env, int Retries, bool Verbose);
var baseCfg = new Config("dev", 3, false);
var prod = baseCfg with { Env = "prod", Verbose = true };
Console.WriteLine(prod.Env + " " + prod.Retries + " " + prod.Verbose); // prod 3 TrueCopiando propriedades inalteradas
As propriedades que você não mencionar são copiadas como estão do registro de origem.
using System;
record Product(string Name, decimal Price, int Stock);
var p = new Product("Book", 12m, 5);
var discounted = p with { Price = 10m };
Console.WriteLine(discounted.Name + " " + discounted.Stock); // Book 5Cópias e igualdade de valores
Como os registros usam igualdade de valores, uma cópia que não altera nada é igual ao original.
using System;
record Coord(int X, int Y);
var a = new Coord(1, 2);
var b = a with { };
Console.WriteLine(a == b); // True (value equal)
Console.WriteLine(ReferenceEquals(a, b)); // False (different objects)Semântica de cópia superficial
with copia referências, não grafos de objetos completos. Um objeto mutável aninhado é compartilhado entre o original e a cópia.
using System;
using System.Collections.Generic;
record Cart(List<string> Items);
var a = new Cart(new List<string> { "x" });
var b = a with { };
b.Items.Add("y"); // shared list!
Console.WriteLine(a.Items.Count); // 2Cópias em estruturas de registro
As estruturas de registro também são compatíveis com with, produzindo uma cópia modificada do tipo de valor.
using System;
record struct Size(int W, int H);
var s = new Size(4, 4);
var wide = s with { W = 8 };
Console.WriteLine(wide.W + "x" + wide.H); // 8x4Encadeando expressões de cópia
Você pode encadear expressões with para aplicar uma sequência de alterações, cada uma produzindo um novo registro.
using System;
record Point(int X, int Y, int Z);
var p = new Point(0, 0, 0)
with { X = 1 }
with { Y = 2 }
with { Z = 3 };
Console.WriteLine(p); // Point { X = 1, Y = 2, Z = 3 }Atualizações sem classes construtoras
with elimina a necessidade de classes construtoras: basta copiar e ajustar os campos desejados.
using System;
record Email(string To, string Subject, string Body);
var draft = new Email("a@b.com", "Hi", "");
var ready = draft with { Body = "Welcome!" };
Console.WriteLine(ready.Body); // Welcome!Lógica de cópia personalizada
Os registros geram um construtor de cópia protegido, usado por with. Você pode declarar o seu próprio para personalizar como as cópias são feitas.
using System;
record Audited(string Name) {
public int Version { get; init; } = 1;
protected Audited(Audited other) {
Name = other.Name;
Version = other.Version + 1; // bump on every copy
}
}
var a = new Audited("x");
var b = a with { };
Console.WriteLine(a.Version + " " + b.Version); // 1 2Reunindo tudo
Modelar transições de estado com with mantém um histórico imutável e adequado para auditoria.
using System;
record Order(string Id, string Status);
var created = new Order("O1", "Created");
var paid = created with { Status = "Paid" };
var shipped = paid with { Status = "Shipped" };
Console.WriteLine(created.Status + " -> " + paid.Status + " -> " + shipped.Status);Verificação rápida
Teste sua compreensão das expressões with.
Recapitulação
Você aprendeu as expressões with de registros.
a with { Prop = value }copia e altera propriedades selecionadas.- O original nunca é alterado; a operação é não destrutiva.
- A cópia é superficial, portanto objetos mutáveis aninhados são compartilhados.
- Isso funciona em registros e estruturas de registro, e as expressões podem ser encadeadas.
Perguntas Frequentes
A aula “Expressões with em records” é grátis?
Sim — o texto completo de “Expressões with em records” é grátis para ler aqui na web. Para praticá-la interativamente (um editor de código integrado e um tutor de IA 24/7) e desbloquear o restante do curso de C# Academy, atualize para CoddyKit PRO. O curso de C# Academy inclui 4 aulas no total.
O que vou aprender em “Expressões with em records”?
Crie cópias modificadas de objetos imutáveis. Você pratica C# Academy com código prático que executa diretamente no navegador, e um tutor de IA 24/7 responde suas dúvidas enquanto trabalha na aula.
Preciso ter experiência prévia para começar C# Academy?
Nenhuma experiência prévia é necessária. C# Academy no CoddyKit é estruturado para alunos iniciantes até avançados, então você pode começar aqui ou desde o início e aprender no seu ritmo. Esta é a aula 4 de 4.
Quanto tempo leva a aula “Expressões with em records”?
A maioria das aulas CoddyKit leva cerca de 5–10 minutos. Cada uma é compacta e interativa, então você faz progresso constante e retoma exatamente de onde parou entre web e app.
Posso escrever e executar código nesta aula de C# Academy?
Sim. Cada aula de C# Academy inclui um editor de código integrado, então você escreve e executa código real direto no navegador e recebe feedback de IA instantaneamente — nenhuma configuração local necessária.
Todas as aulas deste curso
- Setters somente de init
- O modificador required
- Padrões de objetos imutáveis
- Expressões with em records