모바일 오유 바로가기
http://m.todayhumor.co.kr
분류 게시판
베스트
  • 베스트오브베스트
  • 베스트
  • 오늘의베스트
  • 유머
  • 유머자료
  • 유머글
  • 이야기
  • 자유
  • 고민
  • 연애
  • 결혼생활
  • 좋은글
  • 자랑
  • 공포
  • 멘붕
  • 사이다
  • 군대
  • 밀리터리
  • 미스터리
  • 술한잔
  • 오늘있잖아요
  • 투표인증
  • 새해
  • 이슈
  • 시사
  • 시사아카이브
  • 사회면
  • 사건사고
  • 생활
  • 패션
  • 패션착샷
  • 아동패션착샷
  • 뷰티
  • 인테리어
  • DIY
  • 요리
  • 커피&차
  • 육아
  • 법률
  • 동물
  • 지식
  • 취업정보
  • 식물
  • 다이어트
  • 의료
  • 영어
  • 맛집
  • 추천사이트
  • 해외직구
  • 취미
  • 사진
  • 사진강좌
  • 카메라
  • 만화
  • 애니메이션
  • 포니
  • 자전거
  • 자동차
  • 여행
  • 바이크
  • 민물낚시
  • 바다낚시
  • 장난감
  • 그림판
  • 학술
  • 경제
  • 역사
  • 예술
  • 과학
  • 철학
  • 심리학
  • 방송연예
  • 연예
  • 음악
  • 음악찾기
  • 악기
  • 음향기기
  • 영화
  • 다큐멘터리
  • 국내드라마
  • 해외드라마
  • 예능
  • 팟케스트
  • 방송프로그램
  • 무한도전
  • 더지니어스
  • 개그콘서트
  • 런닝맨
  • 나가수
  • 디지털
  • 컴퓨터
  • 프로그래머
  • IT
  • 안티바이러스
  • 애플
  • 안드로이드
  • 스마트폰
  • 윈도우폰
  • 심비안
  • 스포츠
  • 스포츠
  • 축구
  • 야구
  • 농구
  • 바둑
  • 야구팀
  • 삼성
  • 두산
  • NC
  • 넥센
  • 한화
  • SK
  • 기아
  • 롯데
  • LG
  • KT
  • 메이저리그
  • 일본프로야구리그
  • 게임1
  • 플래시게임
  • 게임토론방
  • 엑스박스
  • 플레이스테이션
  • 닌텐도
  • 모바일게임
  • 게임2
  • 던전앤파이터
  • 마비노기
  • 마비노기영웅전
  • 하스스톤
  • 히어로즈오브더스톰
  • gta5
  • 디아블로
  • 디아블로2
  • 피파온라인2
  • 피파온라인3
  • 워크래프트
  • 월드오브워크래프트
  • 밀리언아서
  • 월드오브탱크
  • 블레이드앤소울
  • 검은사막
  • 스타크래프트
  • 스타크래프트2
  • 베틀필드3
  • 마인크래프트
  • 데이즈
  • 문명
  • 서든어택
  • 테라
  • 아이온
  • 심시티5
  • 프리스타일풋볼
  • 스페셜포스
  • 사이퍼즈
  • 도타2
  • 메이플스토리1
  • 메이플스토리2
  • 오버워치
  • 오버워치그룹모집
  • 포켓몬고
  • 파이널판타지14
  • 배틀그라운드
  • 기타
  • 종교
  • 단어장
  • 자료창고
  • 운영
  • 공지사항
  • 오유운영
  • 게시판신청
  • 보류
  • 임시게시판
  • 메르스
  • 세월호
  • 원전사고
  • 2016리오올림픽
  • 2018평창올림픽
  • 코로나19
  • 2020도쿄올림픽
  • 게시판찾기
  • 게시물ID : programmer_22746
    작성자 : ★☆
    추천 : 2
    조회수 : 1320
    IP : 222.233.***.246
    댓글 : 6개
    등록시간 : 2018/12/21 07:40:31
    http://todayhumor.com/?programmer_22746 모바일
    [gcc] 의미없어 보이지만 의미심장한 (X)+0 그리고 함수 오버로딩
    <strong><a target="_blank" href="https://youtu.be/qxmJ_Ep-Fz0" target="_blank">두근두근 울렁울렁 가슴 뛰지만 무섭고도 두려워서 겁이 나지만</a></strong> 요즘 재미있는 코드 조각들이 올라네요. 저도 하나 써보려고요 :)<br><br>발단은... <a target="_blank" href="https://en.wikipedia.org/wiki/Offsetof" target="_blank">container_of()</a> 매크로의 두 가지 구현인<br><code>#define container_of(ptr, type, member) ((type *)((char *)(1 ? (ptr) : &((type *)0)->member) - offsetof(type, member)))</code><br>과<br><code>#define container_of(ptr, type, member) ((type *)((char *)(ptr) - offsetof(type, member)))</code><br>을 비교하면서 삼항연산자에 쓰인 1 에 대해 설명을 읽어도 무슨 내용인지 이해할 수 없었던 일 때문이었습니다. <strike>(아직 이해하지 못합니다.)</strike> 이걸 이해해보려고 이것 저것 찾아보다 또 다른 재미난 사용법을 알게되었습니다. 바로 +0 의 사용법입니다 :) 그리고, 알아두면 언젠가는 쓸모있을지도 모른다는 생각이 들더라고요.<br><br>언뜻 생각하면 0 을 더한다는 것은 의미가 없어보입니다. 그러나, C 언어의 프로모션 규칙을 생각하면 나름 쓸모있는 사용법이 생깁니다. 0 이 int 기 때문이죠. 문자형 변수에 0 을 더하면 int 형으로 승급합니다. 물론, 이것 자체로도 큰 의미는 없습니다. 그런데, gcc 와 clang 은 <a target="_blank" href="https://gcc.gnu.org/onlinedocs/gcc/Typeof.html" target="_blank">typeof 와 __auto_type</a> 이란 확장기능이 있습니다. (__auto_type 은 <a target="_blank" href="https://ko.wikipedia.org/wiki/C%2B%2B11" target="_blank">C++11</a> 의 <a target="_blank" href="http://occamsrazr.net/tt/216" target="_blank">auto</a> 와 비슷합니다.) 또, gcc 와 clang 은 <a target="_blank" href="https://en.wikichip.org/wiki/c/generic_selection" target="_blank">_Generic</a> 이란 <a target="_blank" href="https://ko.wikipedia.org/wiki/C11_(C_%EB%B2%84%EC%A0%84)" target="_blank">C11</a> 표준을 지원합니다. (비주얼 스튜디오 C 에서는 아직 지원하지 않습니다.) 이런것들을 결합하면 +0 을 재미나게 사용할 수 있습니다. 우선, _Generic 의 예를 하나 보죠.<br><br><code>#define MACRO1(X) _Generic ((X), int: "int", double: "double")</code><br><br><code>int i = 99;</code><br><code>printf ("%s\n", MACRO1 (i));</code><br><br>은 "int" 라는 문자열을 출력합니다. 만일 i 가 double 형이라면 "double" 이란 문자열을 출력할 것입니다. _Generic 은 이처럼 변수의 타입에 따라 다른 동작을 하도록 합니다. 이 간단한 예에서는 단순히 다른 문자열을 지정했지만, 만일 함수를 선택하게 한다면 어떻게 될까요? C++ 의 함수 오버로딩과 비슷한 일을 할 수 있습니다.<br><br><code>#define MACRO2(X) _Generic ((X), int: printf ("int %d\n", (X)), double: printf ("double %lf\n", (X)))</code><br><br><code>int i = 99;</code><br><code>MACRO2 (i);</code><br><br>그런데, _Generic 은 인자로 변수를 받습니다. 만일 변수가 아니라 타입을 받도록 하려면 어떻게 할까요? 변수를 만들어줘야 합니다. Gcc 와 clang 은 <a target="_blank" href="https://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html" target="_blank">statement expression</a> 이란 확장기능이 있습니다. 괄호로 둘러쌓인 복합문의 마지막 표현식의 값이 그 문장식이 돌려주는 값이 됩니다. 예를 들어, <code>({ int a = 1; a; })</code> 라는 문장식은 1 이란 값을 돌려줍니다. (비주얼 스튜디오 C 는 지원하지 않습니다.) MACRO1() 매크로를 다음과 같이 바꾸면 타입을 받도록 할 수 있습니다.<br><br><code>#define MACRO3(T) _Generic (({ T X = 0; X; }), int: printf ("int\n"), double: printf ("double\n"))</code><br><br><code>MACRO3 (double);</code><br><br>만일, 변수도 받을 수 있고 또는 타입도 받을 수 있도록 하려면 어떻게 할까요? 이렇게 바꿉니다.<br><br><code>#define MACRO4(X) _Generic (({ typeof(X) A = 0; A; }), int: printf ("int\n"), double: printf ("double\n"))</code><br><br><code>int i = 99;</code><br><code>MACRO4 (i);</code><br><code>MACRO4 (double);</code><br><br>이제 변수도 받을 수 있고 또는 타입도 받을 수 있지만, 변수인 경우 그 값을 출력하려면 어떻게 할까요? 만일 타입인 경우는 0 을 출력하도록 합시다.<br><br><code>#define MACRO5(X) ({ typeof(X) A = (X)+0; _Generic (A, int: printf ("int %d\n", A), double: printf ("double %lf\n", A)); })</code><br><br><code>double d = 99.9;</code><br><code>MACRO5 (int);</code><br><code>MACRO5 (d);</code><br><br>같은 일을 하는 아래 코드가 조금 더 보기 좋습니다:)<br><br><code>#define MACRO6(X) ({ __auto_type A = (X)+0; _Generic (A, int: printf ("int %d\n", A), double: printf ("double %lf\n", A)); })</code><br><br><code>int i = 99;</code><br><code>MACRO6 (i);</code><br><code>MACRO6 (double);</code><br><br>이들 매크로에서 X 가 타입인 경우 (X)+0 은 0 이란 값을 X 란 타입으로 형변환하는 기능을 합니다. X 가 변수인 경우 그 변수에 0 을 더하는 기능을 하고요. 이제 아무런 문제가 없을까요? 다음 예를 보죠.<br><br><code>#define MACRO7(X) ({ __auto_type A = (X)+0; _Generic (A, char: printf ("char %hhi\n", A), int: printf ("int %d\n", A), double: printf ("double %lf\n", A)); })</code><br><br><code>char c = 0;</code><br><code>MACRO7 (c);</code><br><code>MACRO7 (char);</code><br><br>MACRO7 (char) 는 정상적으로 동작합니다. 그러나, MACRO7 (c) 는 int 로 처리됩니다!! 문자형 변수에 0 을 더하면 int 로 승급하기 때문이죠TT 다음과 같이 수정합니다.<br><br><code>#define MACRO8(X) ({ __auto_type A = (typeof (X))((X)+0); _Generic (A, char: printf ("char %hhi\n", A), int: printf ("int %d\n", A), double: printf ("double %lf\n", A)); })</code><br><br><code>char c = 0;</code><br><code>MACRO8 (c);</code><br><code>MACRO8 (char);</code><br><br>이제 아무런 문제가 없을까요? 위에서 "타입인 경우는 0 을 출력하도록 합시다"라고 했지만, 아무래도 타입과 값을 구분하는 것이 더 좋을 것 같습니다. 이렇게 수정합니다.<br><br><code>#define MACRO9(X) __builtin_choose_expr (__builtin_constant_p ((X)+0), _Generic (({ __auto_type A = (typeof (X))((X)+0); A; }), char: printf ("char type\n"), int: printf ("int type\n"), double: printf ("double type\n")), ({ __auto_type A = (typeof (X))((X)+0); _Generic (A, char: printf ("char type value %hhi\n", A), int: printf ("int type value %d\n", A), double: printf ("double type value %lf\n", A)); }))</code><br><br><code>char c = 0;</code><br><code>MACRO9 (c);</code><br><code>MACRO9 (char);</code><br><br>위에서 (X)+0 의 기능은, X 가 타입인 경우 형변환 연산이고 X 가 변수인 경우는 덧셈이라고 말했습니다. 여기에, 새로운 사용법이 있습니다. Gcc 와 clang 의 <a target="_blank" href="https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html" target="_blank">__builtin_constant_p()</a> 함수는 인자로 받은 것이 상수인지 아닌지 평가합니다. 여기서 상수라고 하는 것은 변수가 아니라는 뜻입니다. (한정자 const 를 사용한 변수도 변수입니다.) 타입은 변수가 아닙니다. 물론, 평가할 수 있는 상수도 아닙니다. (상수인 0 을 형변환해서 평가하는 이유입니다.) __builtin_choose_expr() 함수는 삼항연산자와 비슷한 연산자입니다. 이 연산의 조건식으로 __builtin_constant_p() 를 사용하면 코드 최적화 전에 평가합니다. 따라서, (X)+0 으로 X 가 변수인지 아닌지(즉, 타입인지) 검사할 수 있습니다. 자, 이제 아무런 문제가 없을까요?<br><br><code>int i = 99;</code><br><code>MACRO9 (i);</code><br><code>MACRO9 (99);</code><br><br>진짜 상수인 경우와 타입을 구분하지 못합니다!! 이렇게 수정합니다.<br><br><code>#define MACRO10(X) __builtin_choose_expr (__builtin_constant_p ((X)+0), (((X)+1 == (typeof (X))+1) ? _Generic (({ __auto_type A = (typeof (X))((X)+0); A; }), char: printf ("char type\n"), int: printf ("int type\n"), double: printf ("double type\n")) : ({ __auto_type A = (typeof (X))((X)+0); _Generic (A, char: printf ("char type value %hhi\n", A), int: printf ("int type value %d\n", A), double: printf ("double type value %lf\n", A)); })), ({ __auto_type A = (typeof (X))((X)+0); _Generic (A, char: printf ("char type value %hhi\n", A), int: printf ("int type value %d\n", A), double: printf ("double type value %lf\n", A)); }))</code><br><br><code>int i = 99;</code><br><code>MACRO10 (i);</code><br><code>MACRO10 (99);</code><br><br>상당히 길고 복잡해졌습니다. 상수와 타입을 구분하기 위해 (X)+1 == (typeof (X))+1 을 조건으로 삼항연산자를 하나 썼습니다. 변수와 타입을 구분하기위한 조건인 (X)+0 과 비슷하죠. 그런데, 상수와 타입을 구분하는 조건식은 상수식이 아닙니다. (__builtin_choose_expr() 을 사용할 수 없습니다.) 지금까지 과정을 따라왔다면 이해하기 어려운 코드는 아닐 것 입니다. (줄바꿈을 쓰면 조금 더 보기 좋을텐데 오유가 pre 태그나 code 태그를 잘 지원하지 못하는 것 같습니다TT) 그리고, 코드를 긁어서 시험해보기 쉽도록 한줄로 썼습니다 :)<br><br>__builtin_choose_expr() 는 삼항연산자와 달리 조건에 따라 한 쪽 코드만 전개합니다. 그런데, 지금 구현된 __builtin_choose_expr() 이 전개하지 않는 코드에대해서도 구문검사는 하기때문에 조금 더 복잡해졌습니다. 미래에 구현될 __builtin_choose_expr() 는 전개하지 않는 코드에 대해서는 구문검사를 하지 않을 예정이라고 합니다. 그렇게된다면 불필요한 부분을 줄일 수 있겠죠 :)<br><br>이렇게 변수와 변수가 아닌 것을 구분하고, 또 상수와 타입을 구분하는 방법을 알아봤습니다.<br><br><code> __builtin_choose_expr (__builtin_constant_p ((X)+0), (((X)+1 == (typeof (X))+1) ? 타입인경우 : 상수인경우), 변수인경우)</code><br><br><hr><br>덧붙임1: <code> __builtin_choose_expr (__builtin_constant_p ((X)+0), (((X)+1 == (typeof (X))+1) ? 타입인경우 : 상수인경우), ({ __auto_type A = ((typeof (X))((X)+0)); ((((void*)(A + 1)) != (((void*)A) + 1)) ? 일반변수인경우 : 포인터인경우); }))</code><br>이 가능성이 있어보이는데... 나중에 리디퍼런싱 할 때 포인터가 아닌 놈도 * 를 적용해보는 구문검사를 해서 사용할 수 없네요TT<br><br>덧붙임2: 예제의 매크로는 간단히 보여주기위해 printf() 함수를 직접 호출합니다. 그런데, 어떤 때는 정수를 또 어떤 때는 실수를 인자로 받습니다. 정수를 인자로 받았을 때는 printf() 의 "%lf" 와 실수를 인자로 받았을 때는 "%d" 와 형식이 맞지 않습니다. 컴파일러의 -Wformat 옵션이 켜진 경우 경고가 발생합니다. 이 경고가 보기 싫다면, printf() 함수를 직접 호출하지 말고 print_integer() 나 printf_double() 이라는 함수로 printf() 함수를 감싸거나 명시적 형변환을 한번 더 해주세요.

    이 게시물을 추천한 분들의 목록입니다.
    [1] 2018/12/26 02:22:10  39.117.***.159  파다기  153687
    [2] 2018/12/27 11:35:55  27.122.***.71  re0201  136641
    푸르딩딩:추천수 3이상 댓글은 배경색이 바뀝니다.
    (단,비공감수가 추천수의 1/3 초과시 해당없음)

    죄송합니다. 댓글 작성은 회원만 가능합니다.

    번호 제 목 이름 날짜 조회 추천
    23066
    [본삭금] (Xampp/Apache) 성능향상 어떻게 해야할까요? [7] 베오베금지본인삭제금지 오늘이라도 20/02/29 00:25 586 0
    23064
    비베 고수님들 질문있습니다 [3] 본인삭제금지 인천개장수 20/02/20 01:57 630 0
    23062
    *.exe 프로그램파일파일과 관련파일들을 zip 으로 압축하여 [3] 뭐꼬 20/02/16 14:11 749 0
    23061
    C# 마우스휠 감지 하는방법좀 알려주세요(외부) [3] 다보유 20/02/16 09:52 852 0
    23060
    (C, C++) 혼자 코드 구현하면서 공부겸 놀만한 것 있을까요? [5] 본인삭제금지 훗날닭집사장 20/02/11 16:27 1052 0
    23059
    TCL 스마트TV 유튜브 실행이 안됩니다 ㅠㅠ [2] 유자맛사탕 20/02/10 16:22 1810 0
    23056
    Python PyQt 를 통해 GUI를 공부하려고 하는데... [1] 무민러브 20/02/04 10:48 767 0
    23055
    VB 관련해서 샘플코드를 참조 할 만한 사이트가 있을까요? [1] 본인삭제금지 쿠로바라 20/01/31 01:41 569 0
    23054
    (쌩초보) C# 코딩스타일 질문 좀 할게요. [8] 자주포 20/01/30 10:04 995 1
    23053
    파이썬 파싱 방법 있을까요 [4] 본인삭제금지 과일맛멍뭉이 20/01/28 15:51 1052 0
    23052
    CMD 잘 다룰줄 아시는분 ..? [6] 하이오유? 20/01/26 02:05 1138 0
    23051
    베오베 몰아보기 글을 보고 알려드리는 꿀팁(feat. jQuery) [1] 창작글 목욕통 20/01/25 08:45 1391 2
    23050
    30분만에 Git과 Github 끝내기 크롭샷 20/01/23 09:21 1298 1
    23048
    간단한 수강신청 프로그램을 만들고 싶어요. [2] 별넷 20/01/12 19:56 1130 0
    23047
    안드로이드폰 두개를 놓고 하나만 내앱이 설치되어있을때 본인삭제금지 뭐꼬 20/01/11 20:43 911 0
    23044
    기간 시스템이 무엇인지 궁금합니다. [4] 달콤아시타 19/12/30 18:53 3332 0
    23043
    생초보 프로그램 보안(?)문제에 대한 질문 [7] 본인삭제금지 아프로불편러 19/12/30 12:18 1125 0
    23041
    [본삭금] 리눅스 커널 코드 질문이요 ㅠㅠ [1] 본인삭제금지 안녕하세 19/12/26 17:21 1202 0
    23040
    데이터 처리 고수님들 문의드립니다. [4] 본인삭제금지 밍맹 19/12/23 20:09 1179 0
    23039
    약속을 지키러 왔어요!!! 프로그래밍 강의 수강 쿠폰 선착순 나눔. [11] 요뉼의유모 19/12/19 11:56 1851 12
    23038
    데스크톱 앱 업데이트 어떻게 구현하나요? [2] opinion 19/12/15 23:38 1136 0
    23036
    모두의프린터 개발자의 이야기 하얀후니 19/12/11 21:53 1350 2
    23035
    질문]공유기에 pc 와 안드로이드폰이 물려있습니다 [7] 본인삭제금지 뭐꼬 19/12/06 21:04 1148 0
    23034
    [질문] 파이썬 걸음마 중입니다. [2] 본인삭제금지 수마니 19/12/02 22:22 1419 0
    23033
    안드로이드 스튜디오 질문 올려도 될까요??? [2] 량낭똥 19/11/29 14:34 1143 0
    23032
    xampp로 워드프레스 사이트를 여러개 만들고 싶은데.. [2] 내심장을쏴라 19/11/27 21:27 1164 0
    23030
    java swing socket 코딩 관련해서 질문있습닏 ㅏㅠㅠ [2] 본인삭제금지 토왕 19/11/25 09:11 1062 0
    23021
    C,C++ 에서 구현한 함수를 C#에서 쓸 수 있나요? [9] 상사꽃 19/11/07 19:06 1917 0
    23018
    요즘 OpenGL을 공부중인데요 [3] 안성땅면 19/11/04 00:57 1495 0
    23015
    파이썬이랑 노트패드랑 연동하려고하는데 잘안됩니다ㅠ [7] 본인삭제금지 화인쿨쨩m 19/11/02 16:09 1479 0
    [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [다음10개▶]
    단축키 운영진에게 바란다(삭제요청/제안) 운영게 게시판신청 자료창고 보류 개인정보취급방침 청소년보호정책 모바일홈