이 책에서 많은 것을 얻고 싶다면 먼저 C++에 대해 알아야 한다. 특별히 C++ 언어의 일부 특징에 대해 상세하게 설명하기도 했지만, 언어의 기초 자체에 대해서는 설명하지 않는다. 독자는 클래스와 상속에 대해 익숙해야 하며, C++ 표준 라이브러리가 제공하는 입출력 스트림과 컨테이너 같은 컴포넌트를 사용하는 C++ 프로그램을 작성할 수 있어야 한다. auto, decltype, 이동 의미 체계나 람다와 같은 ‘현대 C++’의 기본 특성에도 익숙해야 한다. 전문가와 중급자 수준 정도의 프로그래머도 이 책을 유용하게 사용할 수 있을 것이다. 이 책의 목적은 템플릿을 사용하기 시작하는 데 필요한 지식을 제공하고 템플릿의 강점을 누릴 수 있게 할 뿐 아니라, 숙련된 프로그래머가 최정상급의 한계를 더욱 넓히는 데 필요한 정보를 제공하는 데 있다. 1부에서는 템플릿에 대한 기본 개념을 소개한다. 입문서 방식으로 쓰였다 2부에서는 언어의 구체적인 부분들을 제시하며, 템플릿과 관련된 구성에 대한 간편한 참고 자료를 제공한다. 3부에서는 C++ 템플릿이 지원하는 기본적인 설계와 코딩 기법에 관해 설명했다. 사소하다고 볼 수 있는 아이디어에서부터 정교한 관용구에 이르기까지 폭넓게 다룬다. [옮긴이의 말] 대체 템플릿이라는 건 뭘까요. 그중에서도 C++ 템플릿이라는 건 뭘까요. 이건 C++이기는 한 걸까요? 여러분도 이런 생각 들 때 있나요? 왜 객체지향 프로그래밍 언어라고 하는 C++에서 코드를 재활용하기 위해 상속이 아니라 템플릿이라고 하는 수상한 짓을 하는 걸까요. 내가 공들여 작성한 코드인데 상황에 따라선 컴파일이 되지 않을 수도 있다니. 함수를 하나 만들었는데 불러 쓰는 경우에 따라 최종 바이너리에 그 함수가 하나도 포함되지 않을 수도 있고 엄청나게 많이 포함될 수도 있다니. 대체 이게 뭘까요. 게다가 형식과 관계없이 쓸 수 있는 코드라니 사실 매크로를 고급스럽게 포장한 것일 뿐인 거 아닐까 싶기도 하지 않나요? 한 20년 전에 처음 템플릿의 개념을 접했을 때 “그래서 그걸 대체 뭐에다 쓸 건데? 에이, 나랑은 관계없겠네. 몰라도 되겠다”싶었습니다. 일반 학부생이 학교 과제에 템플릿으로 뭔가를 만들어서 쓸 일이 거의 없잖아요. 그래서 템플릿을 모르고도 잘 지냈습니다. 아마 제대로 모르고 계속 살아도 잘 지낼 것 같았습니다. 이 책을 읽더라도, 그래서 C++ 템플릿을 이렇게까지 내가 알아야 하는 건지 갸우뚱할 수도 있습니다. 흔히 쓰는 vector 같은 걸 떠올려 봐도 그걸 그렇게 쓸 뿐, 직접 vector를 만들 일은 별로 없으니까요. 그래도 일상적으로 사용하는 물건의 원리를 알면 더 잘 사용할 수 있는 것처럼 여러분이 라이브러리 개발자가 아니라, 직접 템플릿을 만들 일이 없더라도 이렇게 돌아가고 컴파일되는 거구나라는 걸 알아두면 앞으로의 개발과 디버깅에 꽤 도움이 많이 될 것입니다. 특히 템플릿 디버깅에 도움이 많이 될 겁니다. 모쪼록 독자분들이 이 훌륭한 책에서 그동안 어렴풋이는 알고 있지만 정확히는 몰라서 답답했던 C++ 템플릿의 동작 방식을 하나라도 알아갈 수 있기를 바랍니다.

1부. 템플릿 기본 001장. 함수 템플릿 1.1 함수 템플릿 1.2 템플릿 인자 연역 1.3 다중 템플릿 파라미터 1.4 기본 템플릿 인자 1.5 함수 템플릿 오버로딩 1.6 그런데 ... 해야 하지 않는가? 1.7 요약 002장. 클래스 템플릿 2.1 클래스 템플릿 Stack의 구현 2.2 클래스 템플릿 Stack의 사용 2.3 클래스 템플릿의 일부 사용 2.4 프렌드 2.5 클래스 템플릿의 특수화 2.6 부분 특수화 2.7 기본 클래스 템플릿 인자 2.8 형식 별칭 2.9 템플릿 클래스 인자 연역 2.10 템플릿화된 집합 2.11 요약 003장. 형식이 아닌 템플릿 파라미터 3.1 형식이 아닌 클래스 템플릿 파라미터 3.2 형식이 아닌 함수 템플릿 파라미터 3.3 형식이 아닌 템플릿 파라미터에 대한 제약 3.4 템플릿 파라미터 형식로서의 auto 3.5 요약 004장. 가변 인자 템플릿 4.1 가변 인자 템플릿 4.2 접힌 표현식 4.3 가변 인자 템플릿 애플리케이션 4.4 가변 클래스 템플릿과 가변 표현식 4.5 요약 005장. 까다로운 기초 지식 5.1 키워드 typename 5.2 0 초기화 5.3 this-> 사용 5.4 원시 배열과 문자열 리터럴을 사용하는 템플릿 5.5 멤버 템플릿 5.6 변수 템플릿 5.7 템플릿 템플릿 파라미터 5.8 요약 006장. 이동 의미 체계와 enableif<> 6.1 완벽한 전달 6.2 특수 멤버 함수 템플릿 6.3 enableif<>로 템플릿 비활성화 6.4 enableif<> 사용 6.5 enableif<> 표현식을 간단하게 만드는 개념 사용 6.6 요약 007장. 값으로 전달 또는 참조로 전달 7.1 값으로 전달 7.2 참조자로 전달 7.3 std::ref()와 std::cref() 사용 7.4 문자열 리터럴과 원시 배열 7.5 반환 값 다루기 7.6 템플릿 파라미터 선언 추천 방식 7.7 요약 008장. 컴파일 과정 프로그래밍 8.1 템플릿 메타프로그래밍 8.2 constexpr로 계산 8.3 부분 특수화로 실행 경로 선택 8.4 SFINAE(치환 실패는 오류가 아니다) 8.5 컴파일 과정 if 8.6 요약 009장. 템플릿 실제 사용 9.1 포함 모델 9.2 템플릿과 인라인 010장. 기본 템플릿 용어 10.1 ‘클래스 템플릿’인가, ‘템플릿 클래스’인가? 10.2 치환, 인스턴스화, 특수화 10.3 선언과 정의 10.4 단정의 법칙 10.5 템플릿 인자와 템플릿 파라미터 10.6 요약 011장. 일반 라이브러리 11.1 호출 가능한 객체 11.2 일반 라이브러리를 구현에 사용되는 기타 유틸리티 11.3 임시 값 완벽히 전달 11.4 참조자를 템플릿 파라미터로 쓰기 11.5 평가 지연시키기 11.6 일반 라이브러리를 작성할 때 고려해야 할 것 11.7 요약 2부. 템플릿 상세 설명 012장. 템플릿 기초 원리 상세 학습 12.1 파라미터화된 선언 12.2 템플릿 파라미터 12.3 템플릿 인자 12.4 가변 템플릿 12.5 프렌드 12.6 후기 013장. 템플릿에서 이름 13.1 이름 분류법 13.2 이름 룩업 13.3 템플릿 파싱 13.4 상속과 클래스 템플릿 13.5 후기 014장. 인스턴스화 14.1 주문형 인스턴스화 14.2 게으른 인스턴스화 14.5 명시적 인스턴스화 14.6 컴파일 과정 if문 14.7 표준 라이브러리내에서 14.8 후기 015장. 템플릿 인자 연역 15.1 연역 과정 15.2 연역된 문맥 15.3 특별 연역 상황 15.4 초기화자 목록 15.5 파라미터 꾸러미 15.6 rvalue 참조자 15.7 SFINAE 15.8 연역의 한계 15.9 명시적 함수 템플릿 인자 15.10 초기화자와 표현식에서의 연역 15.11 별칭 템플릿 15.12 클래스 템플릿 인자 연역 15.13 후기 016장. 특수화와 오버로딩 16.1 ‘일반적인 코드’가 별로 좋지 않을 때 16.2 함수 템플릿 오버로딩 16.3 명시적 특수화 16.4 부분 클래스 템플릿 특수화 16.5 부분 변수 템플릿 특수화 16.6 후기 017장. 앞으로 나아갈 방향 17.1 완화된 typename 법칙 17.2 일반화된 형식이 아닌 템플릿 파라미터 17.3 함수 템플릿의 부분 특수화 17.4 이름 붙여진 템플릿 인자 17.5 클래스 템플릿 오버로딩 17.6 끝나지 않은 꾸러미 확장 연역 17.7 void의 정규화 17.8 템플릿을 위한 형식 검사 17.9 반영 메타프로그래밍 17.10 꾸러미 설비 17.11 모듈 3부. 템플릿과 설계 018장. 템플릿의 다형적 능력 18.1 동적 다형성 18.2 정적 다형성 18.3 동적과 정적 다형성 18.4 개념 사용 18.5 설계 패턴의 새로운 형태 18.6 일반 프로그래밍 18.7 후기 019장. 특질 구현 19.1 예제: 수열 덧셈 19.2 특질 및 정책과 정책 클래스 19.3 형식 함수 19.4 SFINAE 기반 특질 19.5 IsConvertibleT 19.6 멤버 검출 19.7 기타 특질 기법 19.8 형식 분류 19.9 정책 특질 19.10 표준 라이브러리에서 19.11 후기 020장. 형식 속성 오버로딩 20.1 알고리즘 특수화 20.2 태그 디스패치 20.3 함수 템플릿 활성화/비활성화 20.4 클래스 특수화 20.5 인스턴스화 안전 템플릿 20.6 표준 라이브러리 20.7 후기 021장. 템플릿과 상속 21.1 빈 기본 클래스 최적화(EBCO) 21.2 묘하게 되풀이되는 템플릿 패턴(CRTP) 21.3 믹스인 21.4 이름 붙여진 템플릿 인자 21.5 후기 022장. 정적과 동적 다형성 사이 잇기 22.1 함수 객체, 포인터와 std::function<> 22.2 일반화된 함수 포인터 22.3 브리지 인터페이스 22.4 형식 삭제 22.5 선택적 사이 잇기 22.6 성능 고려 22.7 후기 023장. 메타프로그래밍 23.1 현대 C++ 메타프로그래밍의 현 상태 23.2 반영 메타프로그래밍의 중요성 23.3 재귀 인스턴스화의 비용 23.4 계산 완전성 23.5 재귀 인스턴스화와 재귀 템플릿 인자 23.6 열거형 값과 정적 상수 23.7 후기 024장. 형식 목록 24.1 형식 목록 해부 24.2 형식 목록 알고리즘 24.3 형식이 아닌 형식 목록 24.4 꾸러미 확장을 사용한 알고리즘 최적화 24.5 cons-스타일 형식 목록 24.6 후기 025장. 튜플 25.1 기본 튜플 설계 25.2 기본 튜플 연산 25.3 튜플 알고리즘 25.4 튜플 확장 25.5 튜플 최적화 25.6 튜플 첨자 25.7 후기 026장. 구별 공용체 26.1 저장소 26.2 설계 26.3 값 쿼리와 추출 26.4 요소 초기화, 할당과 소멸 26.5 방문자 26.6 변이 값 초기화와 할당 26.7 후기 027장. 표현식 템플릿 27.1 임시 루프와 루프 분할 27.2 템플릿 인자에 표현식 표현 27.3 표현식 템플릿의 성능과 한계 27.4 후기 028장. 템플릿 디버깅 28.1 얕은 인스턴스화 28.2 정적 단언문 28.3 원형 28.4 추적자 28.5 오라클 28.6 후기 부록A. 단정의 법칙 A.1 번역 단위 A.2 선언과 정의 A.3 상세한 단정의 법칙 부록B. 값 카테고리 B.1 전통적인 lvalue와 rvalue B.2 C++11 이후의 값 카테고리 B.3 decltype으로 값 카테고리 검사 B.4 참조자형 부록C. 오버로딩 해석 C.1 언제 오버로딩 해석이 적용되는가? C.2 간략화된 오버로딩 해석 C.3 오버로딩 세부 사항 부록D. 표준 형식 유틸리티 D.1 형식 특질 사용 D.2 기본과 합성 형식 카테고리 D.4 형식 생성 D.5 기타 특질 D.6 형식 특질 결합 D.7 기타 유틸리티 부록E. 개념 E.1 개념 사용 E.2 개념 정의 E.3 제약 조건 오버로딩 E.4 개념 팁