본문 바로가기

[c++] C++14 형식연역 들어가기 C++에서 형식연역에서 다룰려고 한다. 형식연역은 미정인 형식이 호출 시점에 형식이 입력되는 값에 의해 결정되는 작업을 말한다. 형식연역은 형식추론이라고 한다. 즉, 주변 상황에 따라 형식을 추론해서 결정한다는 의미이다. 너무 복잡할 수 있지만 생각보다 단순하다(?). 작성자: ospace114@empal.com, http://ospace.tistory.com/ 템플릿 형식연역 일반적인 템플릿 함수 선언에 대한 형식을 살펴보자. template void f(ParamType param); f(expr); T로 표현되는 ParamType은 param 인자에 대한 형식이다. 그리고 함수 f()을 호출할 때 expr로 수식이 입력된다. 입력되는 값에 따라서 T의 형식을 결정하는 작업이 형식연역이다. .. 더보기
Metaprogramming 아래글은 내가 작성한 글은 아니다. 정보문화사의 boost로 배우는 개념, 도구, 기법에 나오는 내용 중 일부 pdf 문서이다. Metaprogramming 1. 도입 이번 장은 이 책 나머지 부분을 위한 몸 풀기에 해당하는 것으로, 기본적인 개념들과 용어들을 간략하게나마 개괄한다. 이 책이 다루는 내용에 대한 독자의 사전 지식을 미리 시험해볼 기회도 가질 수 있을 것이다. 이번 장을 다 읽고 나면 이 책이 무엇에 대한 책인지 어느정도 감을 잡을 수 있을 것이며, (바라건대)나머지 장들의 좀 더 큰 개념들로 나아가고자하는 열망도 생기게 될 것이다. 1.1 시작하며 템플릿 메타프로그램(metaprogram)의 멋진 점 하나는, 전통적인 시스템에서 볼 수 있는 한가지 바람직한 특성을 가지고 있다는 것이다. .. 더보기

반응형