Microsoft MVP성태의 닷넷 이야기
3항 연산자에 ref 지원? [링크 복사], [링크+제목 복사],
조회: 14161
글쓴 사람
영귤
홈페이지
첨부 파일
 


안녕하세요.

크게 중요한 질문은 아니지만 그래도 한 번 질문을 드려봅니다.

ref int result = ref (part1 != 0) ? ref part1 : ref part2;

에서,

ref int result, ref part1, ref part2 는 이해가 가는데,

중간의 조건식에 불과한 (part1 != 0) 에도 ref 가 붙어있는 것은

ref (part1 != 0) ?

그냥 문법이니까 그렇다고 암기하고 넘어갈 수 있었습니다.

그런데 아래줄의

"흔히 사용할 일은 없겠지만 ref 의 특성을 이해하고 있다면 다음의 코드도 가능하다." 에서
(알아두면 요긴하게 사용할 곳이 많을 것 같습니다^^)

((part1 != 0) ? ref part1 : ref part2) = 15;

에서 조건식 부분에 ref 가 빠져버린 것은 뭔가 문법의 일관성이 사라진 느낌이 듭니다.
ref 를 넣으니까 컴파일 에러까지 발생을 합니다.

이것도 그냥 문법으로 암기하면 되는 것인지,
아니면 논리적으로나 일관성으로나 옳은 구문인데,
제가 ref 를 잘못 이해하고 있는 것인지 궁금합니다.










[최초 등록일: ]
[최종 수정일: 9/12/2020]


비밀번호

댓글 작성자
 



2020-09-12 04시09분
일단 조건식에 붙는 ref는 조건 식을 위한 것이 아니고 전체 3항 연산자를 위한 것입니다.

   ref int result = ref (part1 != 0) ? ref part1 : ref part2;
== ref int result = ref ((part1 != 0) ? ref part1 : ref part2);
!= ref int result = (ref (part1 != 0)) ? ref part1 : ref part2; // 컴파일 오류:

구문을 파싱하는 측면에서 보면, 우측 ref 내의 (...)의 괄호를 하나의 [ref_exp]라고 가정했을 때 기존 ref 사용 구문과 동일합니다.

ref int a = ref b;
ref int a = ref ([ref_exp]);

그리고, 두 번째의 경우도 동일하게 바라볼 수 있습니다. 즉, 아래의 구문은 원래도 허용되지 않았습니다.

ref int a = 5; // 컴파일 오류 CS8172
ref ([ref_exp]) = 15; // 컴파일 오류 CS8172

반면 이렇게는 가능합니다.

int a = 15;
([ref_exp]) = 15; // 컴파일 성공

(제 개인적으로도 메서드 인자에서의 ref 구문을 제외하고는 좀 헷갈리기는 합니다. ^^;)
정성태

NoWriterDateCnt.TitleFile(s)