Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

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)
12388정성태10/29/202022오류 유형: 674. 어느 순간부터 닷넷 응용 프로그램 실행 시 System.Configuration.ConfigurationErrorsException 예외가 발생한다면?
12387정성태10/29/2020126.NET Framework: 957. C# - static 필드의 정보가 GC Heap에 저장될까요?파일 다운로드1
12386정성태10/28/202026Linux: 34. 사용자 정보를 함께 출력하는 리눅스의 ps 명령어 사용 방법
12385정성태10/28/202022오류 유형: 673. openssl - req: No value provided for Subject Attribute CN, skipped
12384정성태10/27/202040오류 유형: 672. AllowPartiallyTrustedCallers 특성이 적용된 어셈블리의 struct 멤버 메서드를 재정의하면 System.Security.VerificationException 예외 발생
12383정성태10/27/202093.NET Framework: 956. C# 9.0 - (7) Pattern matching improvements파일 다운로드1
12382정성태10/26/202032오류 유형: 671. dotnet build - The local source '...' doesn't exist
12381정성태10/26/202099VC++: 137. C++ stl map의 사용자 정의 타입을 key로 사용하는 방법파일 다운로드1
12380정성태10/26/202040오류 유형: 670. Visual Studio - Squash_FailureCommitsReset
12379정성태10/26/2020154.NET Framework: 955. .NET 메서드의 Signature 바이트 코드 분석파일 다운로드2
12378정성태10/20/2020162.NET Framework: 954. C# - x86/x64 환경에 따라 달라지는 P/Invoke 함수의 export 이름파일 다운로드1
12377정성태10/29/2020161디버깅 기술: 172. windbg - 파일 열기 시점에 bp를 걸어 파일명 알아내는 방법(Managed/Unmanaged)
12376정성태10/15/202062오류 유형: 669. windbg - sos의 name2ee 명령어 실행 시 "Failed to request module list." 오류
12375정성태10/15/2020211Windows: 177. 윈도우 탐색기에서 띄우는 cmd.exe 창의 디렉터리 구분 문자가 'Yen(&#0165;)' 기호로 나오는 경우 [1]
12374정성태10/14/2020203.NET Framework: 953. C# 9.0 - (6) Function pointers파일 다운로드2
12373정성태10/14/202083.NET Framework: 952. OpCodes.Box와 관련해 IL 형식으로 직접 코딩 시 유의할 점
12372정성태10/14/2020172.NET Framework: 951. C# 9.0 - (5) Attributes on local functions파일 다운로드1
12371정성태10/13/202065개발 환경 구성: 519. Visual Studio의 Ctrl+Shift+U (Edit.MakeUppercase) 단축키가 동작하지 않는 경우
12370정성태10/13/202063Linux: 33. Linux - nmcli를 이용한 고정 IP 설정
12369정성태10/21/2020902Windows: 176. Raymond Chen이 한글날에 밝히는 윈도우의 한글 자모 분리 현상 [1]
12368정성태10/12/202056오류 유형: 668. VSIX 확장 빌드 - The "GetDeploymentPathFromVsixManifest" task failed unexpectedly.
12367정성태10/12/202062오류 유형: 667. Ubuntu - Temporary failure resolving 'kr.archive.ubuntu.com'
12366정성태10/13/2020160.NET Framework: 950. C# 9.0 - (4) Native ints파일 다운로드1
12365정성태10/12/2020163.NET Framework: 949. C# 9.0 - (3) Lambda discard parameters파일 다운로드1
12364정성태10/11/2020204.NET Framework: 948. C# 9.0 - (2) Skip locals init파일 다운로드1
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...