값 타입과 참조 타입의 차이는 무엇인가요?

Question

Accepted Answer

C#의 타입은 두 가지 근본적인 범주로 나뉩니다. **값 타입**(데이터를 직접 저장)과 **참조 타입**(힙에 있는 데이터에 대한 참조/포인터를 저장)입니다. 이 둘은 저장되고 복사되고 비교되는 방식이 다릅니다. 이는 언어 전반의 동작에 영향을 미치는 매우 중요한 구분입니다.

## 두 가지 범주

```text
값 타입       → struct, int, double, bool, char, enum, DateTime, decimal
              인라인으로 저장(지역 변수는 스택); 값에 의해 복사됨.
참조 타입     → class, string, array, object, interface, delegate
              변수는 힙에 있는 데이터에 대한 참조를 보유; 참조에 의해 복사됨.
```

## 핵심 차이: 복사 의미론

```csharp
// 값 타입 — 대입은 값을 복사함(독립적)
int a = 5;
int b = a;      // b는 복사본
b = 10;         // a는 여전히 5

struct Point { public int X; }
Point p1 = new() { X = 1 };
Point p2 = p1;  // struct 전체를 복사
p2.X = 99;      // p1.X는 여전히 1

// 참조 타입 — 대입은 참조를 복사함(둘 다 같은 객체를 가리킴)
class Box { public int Value; }
Box box1 = new() { Value = 1 };
Box box2 = box1;   // 둘 다 같은 Box를 참조
box2.Value = 99;   // box1.Value도 이제 99!
```

값 타입을 대입하면 데이터가 복사되고(독립적), 참조 타입을 대입하면 참조가 복사됩니다(두 이름이 같은 객체를 가리키므로 한쪽을 통해 변경하면 다른 쪽에도 영향).

## 비교와 메서드로 전달하기

```csharp
// ==는 값 타입은 값을, 참조 타입은 참조(동일성)를 비교
string s1 = "hi"; // (string은 특별함 — ==는 내용을 비교)
Box b1 = new(), b2 = new();
b1 == b2;   // false — 서로 다른 객체(기본적으로 참조 동등성)

// 메서드는 값 타입의 복사본을, 참조 타입은 참조(값에 의해)를 받음
void Modify(Box b) { b.Value = 100; }   // 호출자의 객체에 영향
void Modify(int x) { x = 100; }           // 호출자의 int에는 영향 없음
```

## null

```text
참조 타입은 null이 될 수 있음(객체 없음). 값 타입은 null이 될 수 없음
(nullable로 만들지 않는 한: int? — Nullable<int>).
```

## 왜 중요한가

값 vs 참조 구분은 C#에서 가장 근본적인 개념 중 하나이며, 광범위한 동작과 버그를 설명해 줍니다. 따라서 반드시 알아야 할 지식입니다.

**값 타입**(struct, int/double 같은 기본 타입, enum)은 값에 의해 복사되고(독립적인 복사본) **참조 타입**(class, array, string)은 참조에 의해 복사된다(두 이름이 같은 객체를 가리킴)는 점을 이해하는 것은 데이터가 어떻게 동작할지 예측하는 데 매우 중요합니다. 값 타입 복사본을 수정해도 원본에 영향이 없지만, 공유된 참조 타입 객체를 변경하면 그 객체를 참조하는 모든 곳에 영향을 미칩니다(놀라운 버그의 흔한 원인).

이 구분은 **동등성**(`==`는 기본적으로 값 타입은 값을, 참조 타입은 참조 동일성을 비교), **메서드 인자**(값 타입은 복사본으로 전달, 참조 타입의 참조는 값에 의해 전달 — 그래서 메서드는 전달된 객체는 변경할 수 있지만 전달된 int는 변경할 수 없음), **null 허용성**(참조 타입만 null이 될 수 있고, 값 타입은 `?`로 nullable로 만들지 않는 한 불가능)에도 영향을 줍니다.

어떤 타입이 값인지 참조인지, 그리고 그로 인한 복사/비교/변경 의미론을 이해하는 것은 올바른 C#을 작성하고 이 언어의 가장 흔한 개념적 함정을 피하기 위한 기초입니다. 이는 데이터가 프로그램 전체로 어떻게 흐르는지를 떠받치며, 개발자가 C#의 타입 시스템을 진정으로 이해하는지를 드러내기 때문에 자주 나오는 면접 주제이기도 합니다.