Microsoft MVP성태의 닷넷 이야기
글쓴 사람
홈페이지
첨부 파일
 

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로 해석하게 되고 따라서 대입문에서 좌측에 올 수 있는 것입니다.




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[연관 글]





[최초 등록일: ]
[최종 수정일: 6/11/2018 ]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer@outlook.com

비밀번호

댓글 쓴 사람
 



2018-05-23 10시16분
[spowner] ref 예약어가 참 아직은 어색합니다. 그래도, 마지막 코드는 매력적이네요!
[손님]

... 16  17  18  19  20  21  22  23  24  [25]  26  27  28  29  30  ...
NoWriterDateCnt.TitleFile(s)
11607정성태8/30/20184665Graphics: 2. Unity로 실습하는 Shader
11606정성태8/14/20184742사물인터넷: 19. PC에 연결해 동작하는 자신만의 USB 장치 만들어 보기파일 다운로드1
11605정성태8/9/20182632사물인터넷: 18. New NodeMcu v3 아두이노 호환 보드의 내장 LED 및 입력 핀 사용법파일 다운로드1
11604정성태7/12/20182114Math: 47. GeoGebra 기하 (24) - 정다각형파일 다운로드1
11603정성태7/12/20181954Math: 46. GeoGebra 기하 (23) - sqrt(n) 제곱근파일 다운로드1
11602정성태7/11/20182053Math: 45. GeoGebra 기하 (22) - 반전기하학의 원에 관한 반사변환파일 다운로드1
11601정성태7/11/20182251Math: 44. GeoGebra 기하 (21) - 반전기하학의 직선 및 원에 관한 반사변환파일 다운로드1
11600정성태7/10/20182401Math: 43. GeoGebra 기하 (20) - 세 점을 지나는 원파일 다운로드1
11599정성태7/10/20181917Math: 42. GeoGebra 기하 (19) - 두 원의 안과 밖으로 접하는 직선파일 다운로드1
11598정성태7/10/20181855Windows: 147. 시스템 복구 디스크를 USB 디스크에 만드는 방법
11597정성태8/9/20182223사물인터넷: 17. Thinary Electronic - ATmega328PB 아두이노 호환 보드의 개발 환경 구성
11596정성태7/10/20182008기타: 72. 과거의 용어 설명 - OWIN
11595정성태11/20/20184823사물인터넷: 16. New NodeMcu v3 아두이노 호환 보드의 기본 개발 환경 구성
11594정성태7/8/20182575Math: 41. GeoGebra 기하 (18) - 원의 중심 및 접선파일 다운로드1
11593정성태7/8/20182233Math: 40. GeoGebra 기하 (17) - 각의 복사파일 다운로드1
11591정성태7/7/20182142Math: 39. GeoGebra 기하 (16) - 삼각형의 방심과 방접원파일 다운로드1
11590정성태7/7/20181836Math: 38. GeoGebra 기하 (15) - 삼각형의 수심파일 다운로드1
11589정성태7/7/20182553.NET Framework: 787. object로 형변환된 인스턴스를 원래의 타입 인자로 제네릭 메서드를 호출하는 방법 [2]파일 다운로드1
11588정성태12/19/20192260디버깅 기술: 116. windbg 분석 사례 - ASP.NET 웹 응용 프로그램의 CPU 100% 현상
11587정성태7/5/20181993.NET Framework: 786. ASP.NET - HttpCookieCollection을 다중 스레드에서 사용할 경우 무한 루프 현상
11586정성태7/5/20182451Math: 37. GeoGebra 기하 (14) - 삼각형의 무게 중심파일 다운로드1
11585정성태7/5/20182485Math: 36. GeoGebra 기하 (13) - 삼각형의 외심과 외접하는 원파일 다운로드1
11584정성태7/5/20182833Math: 35. GeoGebra 기하 (12) - 삼각형의 내심과 내접하는 원파일 다운로드1
11583정성태7/5/20181835.NET Framework: 785. public으로 노출되지 않은 다른 어셈블리의 delegate 인스턴스를 Reflection으로 생성하는 방법파일 다운로드1
11582정성태5/8/20193063.NET Framework: 784. C# - 제네릭 인자를 가진 타입을 생성하는 방법 [1]파일 다운로드1
11581정성태7/4/20182797Math: 34. GeoGebra 기하 (11) - 3대 작도 불능 문제의 하나인 임의 각의 3등분파일 다운로드1
... 16  17  18  19  20  21  22  23  24  [25]  26  27  28  29  30  ...