C# 7.2 - 3항 연산자에 ref 지원(conditional ref operator)
C# 7.2 (1) - readonly 구조체
; https://www.sysnet.pe.kr/2/0/11524
C# 7.2 (2) - 메서드의 매개 변수에 in 변경자 추가
; https://www.sysnet.pe.kr/2/0/11525
C# 7.2 (3) - 메서드의 반환값 및 로컬 변수에 ref readonly 기능 추가
; https://www.sysnet.pe.kr/2/0/11526
C# 7.2 (4) - 3항 연산자에 ref 지원(conditional ref operator)
; https://www.sysnet.pe.kr/2/0/11528
C# 7.2 (5) - 스택에만 생성할 수 있는 값 타입 지원 - "ref struct"
; https://www.sysnet.pe.kr/2/0/11530
C# 7.2 (6) - Span<T>
; https://www.sysnet.pe.kr/2/0/11534
C# 7.2 (7) - private protected 접근자 추가
; https://www.sysnet.pe.kr/2/0/11543
C# 7.2 (8) - 숫자 리터럴의 선행 밑줄과 뒤에 오지 않는 명명된 인수
; https://www.sysnet.pe.kr/2/0/11544
기타 - Microsoft Build 2018 - The future of C# 동영상 내용 정리
; https://www.sysnet.pe.kr/2/0/11536
C# 7.0부터 ref 예약어를 로컬 변수 및 메서드의 반환값으로 사용할 수 있게 되었습니다.
int age = 5;
ref int rAge = ref age;
rAge = 6;
Console.WriteLine(age); // 출력 결과: 6
단지, 3항 연산자에는 적용할 수 없어 일관성이 떨어지는 문제가 있었는데요. 일례로, 아래의 코드를 C# 7.1 이전의 컴파일러로 빌드하면 "CS1525 Invalid expression term 'ref'"라는 컴파일 오류가 발생합니다.
int part1 = 5;
int part2 = 6;
var result = (part1 != 0) ? ref part1 : ref part2; // 컴파일 오류: CS1525
이것이 C# 7.2부터 개선되었습니다.
conditional ref operator
; https://github.com/dotnet/roslyn/blob/master/docs/Language%20Feature%20Status.md
따라서, C# 7.2로 컴파일하면 위의 구문을 다음과 같이 적용해 컴파일할 수 있습니다.
ref int rPart = ref ((part1 != 0) ? ref part1 : ref part2);
그런데, 구문이 좀 이상하지 않나요? 기왕이면, 또는 어쩌면 당연히 다음과 같은 구문이어야 하지 않을까요?
ref int rPart = (part1 != 0) ? ref part1 : ref part2; // 컴파일 오류: CS8172
왜, 3항 연산자의 결과에 다시 ref를 꾸며야 할까요?
ref int rPart = ref (part1 != 0) ? ref part1 : ref part2;
게다가 3항 연산자의 결과에 ref를 뺀 것은 일반 변수로 값을 받는 것이 가능합니다. 따라서 아래의 2가지 코드는 동일합니다.
// 아래의 A, B 표현은 동일한 IL 코드를 생성
{
// A 표현
int rPart = ((part1 != 0) ? ref part1 : ref part2);
}
{
// B 표현
int rPart = ((part1 != 0) ? part1 : part2);
}
좀 혼란스러운가요? ^^ 그렇다면 이제 그 혼란을 좀 잠재워보겠습니다.
이해를 돕기 위해
ref 구문의 사용을 제 책에서 설명할 때 들었던 예제를 약간 변형해 보겠습니다.
{
MyMatrix matrix = new MyMatrix();
int a00 = matrix.Get(0, 0);
}
class MyMatrix
{
int[,] _matrix = new int[100, 100];
public ref int Get(int column, int row)
{
return ref _matrix[column, row];
}
}
위의 코드는 MyMatrix.Get 메서드가 ref int를 반환하고 있지만 그것을 int 타입에 대입하고 있습니다. 만약 ref int를 반환하는 것을 ref int로 반환받고 싶다면 다음과 같이 코드를 변경해야 합니다.
int a00 = matrix.Get(0, 0);
==>
ref int a00 = ref matrix.Get(0, 0);
위의 패턴을 3항 연산자의 ref 사용으로 비교해 보면 이제 수긍이 갈 것입니다.
{
int a00 = matrix.Get(0, 0); // ref int Get(int, int)
int rPart = (part1 != 0) ? ref part1 : ref part2;
}
{
ref int a00 = ref matrix.Get(0, 0);
ref int rPart = ref (part1 != 0) ? ref part1 : ref part2;
}
좀 더 간단한 걸로 하나 더 예를 들어볼까요?
int age = 5;
ref int rAge = ref age;
위의 코드에서 rAge 변수는 ref int 타입입니다. 이것을 int에 대입할 때와 ref int에 대입하는 경우에 따라 ref를 넣고 빼고 하는 것이 달라집니다.
{
int Age = rAge; // ref int rAge
}
{
ref int Age = ref rAge;
}
이것을 다시 3항 연산자와 비교해 보겠습니다.
int age = 5;
ref int rAge = ref age;
{
int Age = rAge;
int rPart = (part1 != 0) ? ref part1 : ref part2;
}
{
ref int Age = ref rAge;
ref int rPart = ref (part1 != 0) ? ref part1 : ref part2;
}
그런대로 일관성이 있어 보이죠? ^^
3항 연산자에서의 ref 사용을 이해했다면 다음의 코드가 낯설지 않을 것입니다.
int part1 = 1;
int part2 = 2;
((part1 != 0) ? ref part1 : ref part2) = 5; // C# 7.1 이전에는 컴파일 오류 발생
위의 3항 연산자 결과는 C# 컴파일러가 두 번째와 세 번째 오퍼랜드에 부여된 ref 예약어로 인해 LValue로 해석하게 되고 따라서 대입문에서 좌측에 올 수 있는 것입니다.
[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]