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 예약어가 참 아직은 어색합니다. 그래도, 마지막 코드는 매력적이네요!
[손님]

[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
12207정성태4/2/202051스크립트: 19. Windows PowerShell의 NonInteractive 모드
12206정성태4/2/202029오류 유형: 613. 파일 잠금이 바로 안 풀린다면? - The process cannot access the file '...' because it is being used by another process.
12205정성태4/2/202030스크립트: 18. Powershell에서는 cmd.exe의 명령어를 지원하진 않습니다.
12204정성태4/1/202025스크립트: 17. Powershell 명령어에 ';' (semi-colon) 문자가 포함된 경우
12203정성태3/18/202079오류 유형: 612. warning: 'C:\ProgramData/Git/config' has a dubious owner: '...'.
12202정성태3/18/2020113개발 환경 구성: 486. .NET Framework 프로젝트를 위한 GitLab CI/CD Runner 구성
12201정성태3/18/202043오류 유형: 611. git-credential-manager.exe: Using credentials for username "Personal Access Token".
12200정성태3/18/2020155VS.NET IDE: 145. NuGet + Github 라이브러리 디버깅 관련 옵션 3가지 - "Enable Just My Code" / "Enable Source Link support" / "Suppress JIT optimization on module load (Managed only)"
12199정성태3/17/202045오류 유형: 610. C# - CodeDomProvider 사용 시 Unhandled Exception: System.IO.DirectoryNotFoundException: Could not find a part of the path '...\f2_6uod0.tmp'.
12198정성태3/17/202039오류 유형: 609. SQL 서버 접속 시 "Cannot open user default database. Login failed."
12197정성태3/17/2020134VS.NET IDE: 144. .NET Core 콘솔 응용 프로그램을 배포(publish) 시 docker image 자동 생성 - 두 번째 이야기
12196정성태3/17/202076오류 유형: 608. The ServicedComponent being invoked is not correctly configured (Use regsvcs to re-register).
12195정성태3/17/2020180.NET Framework: 902. C# - 프로세스의 모든 핸들을 열람 - 세 번째 이야기
12194정성태3/16/202055오류 유형: 607. PostgreSQL - Npgsql.NpgsqlException: sorry, too many clients already
12193정성태3/16/202090개발 환경 구성: 485. docker - SAP Adaptive Server Enterprise 컨테이너 실행
12192정성태3/14/202099개발 환경 구성: 484. docker - Sybase Anywhere 16 컨테이너 실행
12191정성태3/14/2020144개발 환경 구성: 483. docker - OracleXE 컨테이너 실행
12190정성태3/14/202050오류 유형: 606. Docker Desktop 업그레이드 시 "The process cannot access the file 'C:\Program Files\Docker\Docker\resources\dockerd.exe' because it is being used by another process."
12189정성태3/13/202095개발 환경 구성: 482. Facebook OAuth 처리 시 상태 정보 전달 방법과 "유효한 OAuth 리디렉션 URI" 설정 규칙
12188정성태3/14/202058Windows: 167. 부팅 시점에 실행되는 chkdsk 결과를 확인하는 방법
12187정성태3/12/202043오류 유형: 605. NtpClient was unable to set a manual peer to use as a time source because of duplicate error on '...'.
12186정성태3/12/202059오류 유형: 604. The SysVol Permissions for one or more GPOs on this domain controller and not in sync with the permissions for the GPOs on the Baseline domain controller.
12185정성태3/11/202058오류 유형: 603. The browser service was unable to retrieve a list of servers from the browser master...
12184정성태3/11/202065오류 유형: 602. Automatic certificate enrollment for local system failed (0x800706ba) The RPC server is unavailable.
12183정성태3/12/202068오류 유형: 601. Warning: DsGetDcName returned information for \\[...], when we were trying to reach [...].
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...