null 허용 값 타입
-
.Net Framework 2.0버전부터 사용할 수 있다. -
Nullable<T>또는T?꼴로 사용할 수 있다. -
null값의 초기화를 허용한다. -
null을 허용한다고 해서 참조형이 되는 것은 아니고, 값 타입은 그대로 값 타입이다. -
힙에 할당되지 않고, 스택에 할당되는 것은 동일하다.
Nullable 클래스
-
정적 클래스이다.
-
변수를 선언할 수 없다.
-
Nullable<T>와는 엄연히 다른 타입이며, 관련 API를 제공하기 위해 존재한다.
Nullable<T> 구조체
-
T?꼴로 축약될 수 있다. -
변수를 선언할 수 있다.
특징
-
T타입과T?타입의 값을 연산한 결과는T?타입이다. -
null값을 갖고 있다는 것은 내부적으로HasValue프로퍼티가false라는 의미이다. -
.Value를 통해T?타입 변수로부터T타입의 값을 참조할 수 있다.
하지만T?타입 변수의 값이null일 때.Value를 참조하면InvalidOperationException이 발생한다. -
T?타입 변수에 대해 박싱, 언박싱을 할 경우null값을 갖고 있었으면 그대로null로 변환된다.
예제
[1] 변수 선언
1
2
Nullable<int> a = 2; // null 허용 정수 타입
int? b = null; // 축약형
[2] 연산
1
2
3
4
5
6
7
var c = (5 + a); // int와 int? 연산의 결과는 int? 타입
int d = (5 + a).Value; // 저장되는 값 : 7
int e = (5 + b).Value; // 한쪽이 null이므로 InvalidOperationException 발생
// 안전하게 int 타입 값 초기화하기
int f = (a + b) ?? default;
[3] T -> T? 캐스팅
1
2
3
int g = (int)a; // 값 2 그대로 초기화
int h = (int)b; // 원래 값이 null이므로 InvalidOperationException 발생
int i = b ?? default; // 안전한 캐스팅
[4] 박싱, 언박싱
1
2
3
4
5
6
7
8
object oa = a; // Boxing : T? -> object : 값 2
object ob = b; // Boxing : T? -> object : 값 null
int? j = (int?)oa; // Unboxing : object -> T? : 값 2
int? k = (int?)ob; // Unboxing : object -> T? : 값 null
int l = (int)oa; // Unboxing : object -> T : 값 2
int m = (int)ob; // Unboxing : object -> T : NullReferenceException
References
- https://docs.microsoft.com/ko-kr/dotnet/api/system.nullable-1?view=netframework-2.0
- https://www.csharpstudy.com/CSharp/CSharp-nullable.aspx
- https://stackoverflow.com/questions/7131910/c-sharp-nullable-value-type-generates-garbage
- https://stackoverflow.com/questions/2865604/where-in-memory-are-nullable-types-stored