C++ 템플릿 2/e [완벽 가이드]
- 원서명C++ Templates, 2nd Edition: The Complete Guide (ISBN 9780321714121)
- 지은이다비드 반데부르드(David Vandevoorde), 니콜라이 요수티스(Nicolai M. Josuttis), 더글라스 그레고르(Douglas Gregor)
- 옮긴이한정애
- ISBN : 9791161752174
- 50,000원
- 2018년 10월 22일 펴냄
- 페이퍼백 | 1,068쪽 | 188*235mm
- 시리즈 : 프로그래밍 언어
책 소개
소스 코드 파일은 여기에서 내려 받으실 수 있습니다.
요약
템플릿은 C++의 가장 강력한 기능 중 하나이지만 제대로 이해하는 사람도 적고, 잘 사용하는 사람도 드물다. 이 책에서는 확실한 가이드를 통해 템플릿의 기초에서부터 C++11, C++14, C++17의 최신 기술을 총망라한 고급 이론까지 제공해 이해를 돕는다. 이번 2판에서는 새로운 언어 특성들을 템플릿과 결합시켜 사용하는 방법을 풍부하게 제시한다. 특히 컴파일 시간에 많은 것을 해치우는 메타 프로그래밍 내용이 강화돼, 호기심 많은 독자들의 궁금증을 해소시켜줄 수 있을 것이다.
이 책에서 다루는 내용
■ 템플릿의 정확한 동작 방법과 관련 함정을 피하는 방법
■ 성능이나 안전성을 해지지 않으면서도 소스코드를 재활용하는 방법
■ 더 유연하고 유지 보수가 쉬운 소프트웨어를 만드는 방법
■ C++ 표준 라이브러리의 일반 프로그래밍을 활용하는 방법
■ 요즘 가장 효과적인 기법 연마
■ 새로 추가될 특성과 개념 미리 알아보기
이 책의 대상 독자
이 책에서 많은 것을 얻고 싶다면 먼저 C++에 대해 알아야 한다. 특별히 C++ 언어의 일부 특징에 대해 상세하게 설명하기도 했지만, 언어의 기초 자체에 대해서는 설명하지 않는다. 독자는 클래스와 상속에 대해 익숙해야 하며, C++ 표준 라이브러리가 제공하는 입출력 스트림과 컨테이너 같은 컴포넌트를 사용하는 C++ 프로그램을 작성할 수 있어야 한다. auto, decltype, 이동 의미 체계나 람다와 같은 ‘현대 C++’의 기본 특성에도 익숙해야 한다.
전문가와 중급자 수준 정도의 프로그래머도 이 책을 유용하게 사용할 수 있을 것이다.
이 책의 구성
이 책의 목적은 템플릿을 사용하기 시작하는 데 필요한 지식을 제공하고 템플릿의 강점을 누릴 수 있게 할 뿐 아니라, 숙련된 프로그래머가 최정상급의 한계를 더욱 넓히는 데 필요한 정보를 제공하는 데 있다.
1부에서는 템플릿에 대한 기본 개념을 소개한다. 입문서 방식으로 쓰였다
2부에서는 언어의 구체적인 부분들을 제시하며, 템플릿과 관련된 구성에 대한 간편한 참고 자료를 제공한다.
3부에서는 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장. 이동 의미 체계와 enable_if<>
- 6.1 완벽한 전달
- 6.2 특수 멤버 함수 템플릿
- 6.3 enable_if<>로 템플릿 비활성화
- 6.4 enable_if<> 사용
- 6.5 enable_if<> 표현식을 간단하게 만드는 개념 사용
- 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 개념 팁
도서 오류 신고
정오표
정오표
[p.41]
특별한 관계거 있지는 않은
->
특별한 관계가 있지는 않은
[p.57 : 6행 하단 코드 누락]
template
RT max (T1 a, T2 b);
...
::max
[p.81 : 5행, p.82 : 아래에서 2행]
[p.81]
[p.130]
std:arrays에 대한
->
std:array에 대한
[p.143]
[p.169 : 마지막행]
=> (X&&) 호출
->
=> g(X&&) 호출