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)
11573정성태7/2/20182086Math: 26. GeoGebra 기하 (3) - 평행선
11572정성태7/1/20181891.NET Framework: 783. C# 컴파일러가 허용하지 않는 (유효한) 코드를 컴파일해 테스트하는 방법
11571정성태7/1/20181835.NET Framework: 782. C# - JIRA에 등록된 Project의 Version 항목 추가하는 방법파일 다운로드1
11570정성태7/2/20182888Math: 25. GeoGebra 기하 (2) - 임의의 선분과 특정 점을 지나는 수직선파일 다운로드1
11569정성태7/1/20182520Math: 24. GeoGebra 기하 (1) - 수직 이등분선파일 다운로드1
11568정성태7/12/20183756Math: 23. GeoGebra 기하 - 컴퍼스와 자를 이용한 작도 프로그램 [1]
11567정성태6/28/20182265.NET Framework: 781. C# - OpenCvSharp 사용 시 포인터를 이용한 속도 향상파일 다운로드1
11566정성태6/28/20184085.NET Framework: 780. C# - JIRA REST API 사용 정리파일 다운로드1
11565정성태6/28/20182366.NET Framework: 779. C# 7.3에서 enum을 boxing 없이 int 변환하기 - 세 번째 이야기파일 다운로드1
11564정성태6/27/20182309.NET Framework: 778. (Unity가 사용하는) 모노 런타임의 __makeref 오류
11563정성태6/27/20182049개발 환경 구성: 386. .NET Framework Native compiler 프리뷰 버전 사용법
11562정성태6/26/20181904개발 환경 구성: 385. 레지스트리에 등록된 원격지 스크립트 COM 객체 실행 방법
11561정성태6/26/20183849.NET Framework: 777. UI 요소의 접근은 반드시 그 UI를 만든 스레드에서! [3]파일 다운로드1
11560정성태3/2/20191811.NET Framework: 776. C# 7.3 - 초기화 식에서 변수 사용 가능(expression variables in initializers)파일 다운로드1
11559정성태1/27/20203923개발 환경 구성: 384. 영문 설정의 Windows 10 명령행 창(cmd.exe)의 한글 지원 [3]
11558정성태6/25/20182282.NET Framework: 775. C# 7.3 - unmanaged(blittable) 제네릭 제약파일 다운로드1
11557정성태6/22/20182589.NET Framework: 774. C# - blittable 타입이란?파일 다운로드1
11556정성태6/25/20184696.NET Framework: 773. C# 7.3 - 구조체의 고정 크기를 갖는 fixed 배열 필드에 대한 직접 접근 가능 [1]파일 다운로드1
11555정성태6/25/20182174.NET Framework: 772. C# 7.3 - 사용자 정의 타입에 fixed 적용 가능(Custom fixed)파일 다운로드1
11554정성태6/25/20182310.NET Framework: 771. C# 7.3 - 자동 구현 속성에 특성 적용 가능(Attribute on backing field)
11553정성태6/25/20182559.NET Framework: 770. C# 7.3 - 개선된 메서드 선택 규칙 3가지(Improved overload candidates)파일 다운로드1
11552정성태6/25/20182487.NET Framework: 769. C# 7.3에서 개선된 문법 4개(Support == and != for tuples, Ref Reassignment, Constraints, Stackalloc initializers)파일 다운로드1
11551정성태6/14/20181683개발 환경 구성: 383. BenchmarkDotNet 사용 시 주의 사항
11550정성태6/13/20182083.NET Framework: 768. BenchmarkDotNet으로 Span<T> 성능 측정
11549정성태6/13/20181809개발 환경 구성: 382. BenchmarkDotNet에서 생성한 BuildPlots.R 파일을 실행하는 방법
11548정성태6/13/20182072오류 유형: 470. .NET Core + BenchmarkDotNet 실행 시 프레임워크를 찾지 못하는 문제
... 16  17  18  19  20  21  22  23  [24]  25  26  27  28  29  30  ...