init과 with를 사용한 불변성
init 전용 setter로 불변 객체를 만들고 with 식으로 원본을 파괴하지 않고 수정한 복사본을 생성합니다.
init과 with를 사용한 불변성은(는) CoddyKit의 무료 C# Academy 강의입니다. 이것은 4개 중 2번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C# Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C# Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
불변성이란 무엇인가요?
불변 객체는 생성된 후 변경할 수 없습니다. 불변성은 실수로 인한 변경을 방지하고, 객체를 기본적으로 스레드 안전하게 만들며, 코드의 동작을 쉽게 추론할 수 있게 합니다. C#은 init 설정자와 with 식을 제공하여 불변성을 편리하게 구현할 수 있도록 합니다.
init 전용 설정자
init 접근자는 객체 초기화 중(생성자 또는 객체 이니셜라이저)에만 속성을 설정할 수 있게 하며, 그 이후에는 설정할 수 없습니다. 이는 set의 불변 버전입니다.
public class Point
{
public double X { get; init; }
public double Y { get; init; }
}
var p = new Point { X = 3.0, Y = 4.0 }; // OK — init phase
p.X = 5.0; // COMPILE ERROR — cannot set after init
// All of these are valid init-phase assignments:
var p2 = new Point(X: 1.0, Y: 2.0);
var p3 = new Point { X = 0, Y = 0 };레코드 위치 기반 속성의 init
위치 기반 레코드 속성은 기본적으로 init 전용입니다. 이것이 레코드를 불변으로 만드는 방식입니다. 컴파일러는 각 위치 기반 매개 변수에 대해 get; init;을 생성합니다.
// This record:
public record Person(string Name, int Age);
// Is equivalent to:
public record Person
{
public string Name { get; init; }
public int Age { get; init; }
public Person(string Name, int Age) { this.Name = Name; this.Age = Age; }
// + Deconstruct, Equals, GetHashCode, ToString
}
var alice = new Person("Alice", 30);
alice.Name = "Bob"; // COMPILE ERRORwith 식: 비파괴적 변경
with 식은 특정 속성을 변경한 레코드의 복사본을 만듭니다. 원본은 변경되지 않으므로 진정한 불변성을 유지합니다.
public record Person(string Name, int Age, string Email);
var alice = new Person("Alice", 30, "alice@example.com");
// Create a modified copy — alice is unchanged
var olderAlice = alice with { Age = 31 };
var renamed = alice with { Name = "Alicia", Email = "alicia@example.com" };
Console.WriteLine(alice.Name); // Alice (unchanged)
Console.WriteLine(olderAlice.Age); // 31
Console.WriteLine(renamed.Name); // Alicia레코드가 아닌 형식에서 with 사용하기
C# 10에서는 복사 생성자 의미론을 갖는 모든 구조체나 클래스에서 with를 사용할 수 있지만, 레코드에서 가장 자연스럽습니다. 클래스에서는 이를 직접 구현해야 합니다.
// struct with with-expression:
public struct Temperature
{
public double Celsius { get; init; }
public double Fahrenheit => Celsius * 9 / 5 + 32;
}
var t1 = new Temperature { Celsius = 20 };
var t2 = t1 with { Celsius = 25 }; // copy with change
Console.WriteLine(t1.Celsius); // 20 — unchanged
Console.WriteLine(t2.Celsius); // 25with 식 연결하기
여러 with 식을 연결하여 복잡한 변환을 구성할 수 있습니다. 각 단계는 이전 단계에서 새로운 불변 값을 만듭니다.
public record Order(int Id, string Status, decimal Total, DateTime UpdatedAt);
var order = new Order(42, "Pending", 99.99m, DateTime.UtcNow);
// Apply a promotion discount then mark as confirmed
var finalOrder = order
with { Total = order.Total * 0.9m } // 10% off
with { Status = "Confirmed" }
with { UpdatedAt = DateTime.UtcNow };
Console.WriteLine(order.Status); // Pending (original unchanged)
Console.WriteLine(finalOrder.Status); // Confirmed불변 형식의 계산 속성
불변 형식의 파생 속성은 자연스럽게 순수합니다. 고정된 속성 값으로 계산되므로 동일한 입력에 항상 같은 결과를 반환합니다.
public record Money(decimal Amount, string Currency)
{
public Money Add(Money other)
{
if (Currency != other.Currency)
throw new InvalidOperationException("Currency mismatch");
return this with { Amount = Amount + other.Amount };
}
public Money Multiply(decimal factor) =>
this with { Amount = Amount * factor };
public override string ToString() =>
$"{Amount:F2} {Currency}";
}
var price = new Money(10.00m, "USD");
var tax = price.Multiply(0.08m);
var total = price.Add(tax);
Console.WriteLine(total); // 10.80 USD불변 컬렉션
ImmutableList<T> 및 System.Collections.Immutable의 다른 형식과 레코드를 결합하여 완전히 불변인 데이터 구조를 만들 수 있습니다.
using System.Collections.Immutable;
public record ShoppingCart(
string UserId,
ImmutableList<CartItem> Items)
{
public ShoppingCart AddItem(CartItem item) =>
this with { Items = Items.Add(item) };
public ShoppingCart RemoveItem(int productId) =>
this with { Items = Items.RemoveAll(i => i.ProductId == productId) };
public decimal Total => Items.Sum(i => i.Price * i.Quantity);
}불변성으로 얻는 스레드 안전성
불변 객체는 본질적으로 스레드 안전합니다. 생성 후에는 상태를 변경할 수 없으므로 스레드 간에 공유할 때 동기화가 필요하지 않습니다.
// Immutable config record shared across all threads safely
public record AppConfig(
string ConnectionString,
int MaxRetries,
TimeSpan Timeout);
// Register as singleton — safe because record is immutable
builder.Services.AddSingleton(
new AppConfig(
ConnectionString: config["DB"]!,
MaxRetries: 3,
Timeout: TimeSpan.FromSeconds(30)));
// Any thread can read this simultaneously without locks실전: 함수형 이벤트 소싱
불변 레코드는 이벤트 소싱과 자연스럽게 어울립니다. 각 도메인 이벤트는 불변이고, 이벤트를 순차적으로 누적 처리하여 상태를 도출하므로 변경도 예기치 않은 문제도 없습니다.
public record OrderState(
int Id,
string Status = "Draft",
decimal Total = 0m);
public static OrderState Apply(OrderState state, object evt) => evt switch
{
OrderPlaced e => state with { Status = "Pending", Total = e.Total },
OrderShipped _ => state with { Status = "Shipped" },
OrderCancelled _ => state with { Status = "Cancelled" },
_ => state
};
// Fold events to get current state:
var state = events.Aggregate(
new OrderState(id),
Apply);빠른 확인
'with' 식은 원본 레코드에 어떤 작업을 수행합니까?
init 및 with를 사용한 불변성 요약
핵심 요점:
init접근자: 초기화 중에만 설정할 수 있으며 이후에는 설정할 수 없습니다- 레코드의 위치 기반 속성은 기본적으로
init전용입니다 with식: 수정된 복사본을 만들며 원본은 변경되지 않습니다- 여러 단계의 변환을 위해
with식을 연결할 수 있습니다 - 불변 형식은 동기화 없이도 스레드 안전합니다
ImmutableList<T>와 결합하면 완전히 불변인 객체 그래프를 만들 수 있습니다
자주 묻는 질문
“init과 with를 사용한 불변성” 강의는 무료인가요?
네 — “init과 with를 사용한 불변성” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C# Academy 강의 전체를 잠금 해제할 수 있습니다. C# Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“init과 with를 사용한 불변성”에서 뭘 배우나요?
init 전용 setter로 불변 객체를 만들고 with 식으로 원본을 파괴하지 않고 수정한 복사본을 생성합니다. 브라우저에서 직접 실행하는 실습 코드로 C# Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C# Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C# Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 2번째 강의입니다.
“init과 with를 사용한 불변성” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C# Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C# Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- 레코드 형식: 기초와 구문
- init과 with를 사용한 불변성
- 값 같음과 구조 분해
- 도메인 주도 설계의 레코드