C++17

3. 제거된 기능

트라이그래프가 제거되었다.^[44][45][89] std::auto_ptr, std::random_shuffle 및 이전 함수 어댑터를 포함하여 일부 더 이상 사용되지 않는 형식과 함수가 표준 라이브러리에서 제거되었다.^{[8][46][90][57][58]} 이는 C++11에서 std::unique_ptr, std::shuffle, std::bind 및 람다와 같은 개선된 기능으로 대체되었다. 스토리지 클래스 지정자로 키워드를 사용하는 것이 제거되었다.^[47][59] 이 키워드는 여전히 예약되어 있지만 현재는 사용되지 않는다.

4. 새로운 기능

C++17에는 다음과 같은 많은 새로운 기능이 도입되었다.

• `static_assert`의 진단 메시지를 생략할 수 있게 되었다.^[60]
• 템플릿의 템플릿 파라미터에 `class` 대신 `typename`을 사용할 수 있게 되었다.^[61]
• 초기화 목록으로부터의 타입 추론 (`auto`) 규칙이 신설되었다.^[62][57]
• 중첩된 네임스페이스 정의를 `namespace X::Y { … }`와 같이 쓸 수 있게 되었다.^[57][63]
• 네임스페이스나 열거형에 속성을 쓸 수 있게 되었다.^[64][65]
• 새로운 `fallthrough`, `maybe_unused`, `nodiscard` 속성이 표준에 추가되었다.^[66]
• UTF-8 (`u8`) 문자 리터럴을 사용할 수 있게 되었다.^[64][67][68]
• 16진 부동 소수점 리터럴을 사용할 수 있게 되었다.^[69][70]
• 모든 비타입 템플릿 인수를 상수 평가할 수 있게 되었다.^[64][71]
• 가변 길이 인수 템플릿에서의 축약식을 사용할 수 있게 되었다.^[64][72]
• `if constexpr(expression)` 형식의 컴파일 시점의 정적 `if` 문을 사용할 수 있게 되었다.^[73]
• 구조화된 바인딩 선언을 사용할 수 있게 되었다. (예: `auto [a, b] = getTwoReturnValues();`)^[74]
• `if` 문 및 `switch` 문에서 초기화자를 사용할 수 있게 되었다.^[75]
• `T`형(최상위 cv 한정자를 무시)의 순수 rvalue 식으로부터 `T`형 객체를 복사 초기화 및 직접 초기화할 때, 순수 rvalue 식으로부터 복사 생성자나 무브 생성자가 호출되지 않게 되었다. 자세한 내용은 복사 생략을 참조.
• over-aligned 한 메모리 할당에 관한 확장이 이루어졌다.^[76]
• 클래스 템플릿의 실인수 추론 (Class Template Argument Deduction: CTAD)이 가능해졌다. (예: `std::pair(5.0, false)` 와 같이 사용가능).^[77][78]
• 인라인 변수를 통해, 단일 정의 규칙에 반하지 않고 헤더 파일에서 변수를 정의할 수 있게 되었다. 효과는 인라인 함수와 동일하다.
• `__has_include`로 헤더가 이용 가능한지를 프리프로세서 지시어에서 확인할 수 있게 되었다.^[79]
• `__cplusplus`의 값은 `201703L`가 되었다.^[80]
• 예외 지정이 함수의 타입의 일부가 되었다.^[81]
• 다음과 같은 헤더가 추가되었다.
• `` — 모든 형식을 보관할 수 있는 `std::any` 클래스
• `` — 디렉터리 및 파일 조작
• `` — 유효하거나 유효하지 않은 값을 보관하는 `std::optional` 클래스
• `` — 읽기 전용으로 소유권을 가지지 않고 문자 시퀀스를 참조하는 `std::basic_string_view` 클래스
• `` — 형식 안전한 공용체 (`union`) `std::variant` 클래스

4. 1. 언어

• `static_assert`에서 텍스트 메시지를 선택적으로 제공할 수 있게 되었다.^[91]
• 템플릿 매개변수에서 `class` 대신 `typename`을 사용할 수 있다.^[92]
• braced-init-list의 `auto` 추론에 대한 새로운 규칙이 생겼다.^[93][94]
• 중첩된 네임스페이스를 정의할 때 `namespace X { namespace Y { … } }` 대신 `namespace X::Y { … }`와 같이 사용할 수 있다.^[95]
• 네임스페이스와 열거형에 attribute를 사용할 수 있다.^[96]
• 새로운 표준 attribute로 `fallthrough`, `maybe_unused`, `nodiscard`가 추가되었다.^[97]
• UTF-8 인코딩의 (u8) 문자 리터럴이 추가되었다. (UTF-8 문자열 리터럴은 C++11부터 있었으나, 문자 타입의 리터럴이 추가된 것이다. 그러나 1바이트에 한정되어 ASCII만 저장할 수 있다.)^[98]
• 16진수 부동소수점 리터럴을 사용할 수 있다.^[99][100]
• 모든 non-type 템플릿 인자에 대한 상수 평가가 이루어진다.^[101]
• 가변 템플릿을 위한 fold expressions을 사용할 수 있다.^[102]
• 컴파일 타임 정적 `if`문 ( `if constexpr(expression)` )이 추가되었다.^[103]
• 구조적 바인딩 선언 (`auto [a, b] = getTwoReturnValues();`)을 사용할 수 있다.^[104]
• `if`와 `switch`문에서 초기화를 할 수 있다.^[105]
• `T` 타입(최고 레벨의 cv-qualifier을 무시)의 prvalue 표현식을 이용한 `T` 타입의 복사 초기화 및 직접 초기화는 prvalue의 복사 생성자나 이동 생성자를 사용하지 않는다. 복사 생략 참고.
• over-aligned 메모리 할당에 대한 확장 기능이 추가되었다.^[106]
• 생성자의 템플릿 추론이 가능하다. (`std::pair(5.0, false)` 대신 `std::pair(5.0, false)` 사용 가능).
• 인라인 변수를 통해, One Definition Rule을 어기지 않고 헤더 파일에 변수 정의가 가능하다. 규칙은 인라인 함수와 같다.
• `__has_include`를 통해, 전처리기에 의해 헤더가 확인될 수 있게 해준다.^[107]
• 키워드 `register`는 이전에 사용 중지 권고되었으며, 이제 사용되지 않는다.^[108]
• `__cplusplus`의 값이 `201703L`로 변경되었다.^[109]
• 예외 사양이 함수 타입의 일부가 되었다.^[26]
• 람다 표현식이 값으로 "*this"를 캡처할 수 있게 되었다.^[27]

4. 2. 라이브러리

• std::uncaught_exceptions^영어가 추가되어 예외 처리에서 `std::uncaught_exception`를 대체함^{[110][111][31][32]}
• "연속적 반복기" 정의^{[112][34][36]}
• boost::filesystem^영어 기반의 파일 시스템 라이브러리^[113][37]
• 병렬 버전의 STL 알고리즘^[114][38]
• Library Fundamentals TS I의 대부분 포함^[28][29]:
• std::string_view^영어, 문자 시퀀스 또는 문자열 조각에 대한 읽기 전용 비 소유 참조^[30]
• std::optional^영어, 선택적 객체를 표현하기 위한 것으로, 특정 알고리즘에서 항상 반환되지 않을 수 있는 데이터 타입이며, 비 반환 지원
• std::any^영어, 모든 타입의 단일 값을 저장하기 위한 것
• std::map^영어과 std::unordered_map^영어 키-값 연관 데이터 구조를 위한 새로운 삽입 함수 try_emplace^영어와 insert_or_assign^{영어[33][34]}
• 통일된 컨테이너 접근: std::size^영어, std::empty^영어 및 std::data^{영어[34][35]}
• 타원 적분 및 베셀 함수를 포함한 추가적인 수학적 특수 함수^[39]
• std::variant^영어, 태그된 유니온 컨테이너^[40]
• std::byte^영어, char를 바이트의 데이터를 문자 대신 바이트로 모델링하려는 데이터 타입에 대한 바이트로 대체 가능^[41]
• 논리 연산자 트레이트: std::conjunction^영어, std::disjunction^영어 및 std::negation^영어[42]
• 다형성 메모리 리소스를 위한 `` 헤더<sup>[43]</sup>
• 다음 헤더가 추가되었다.
• `` — 모든 형식을 보관할 수 있는 `std::any` 클래스
• `` — 디렉터리 및 파일 조작
• `` — 유효하거나 유효하지 않은 값을 보관하는 `std::optional` 클래스
• `` — 읽기 전용으로 소유권을 가지지 않고 문자 시퀀스를 참조하는 `std::basic_string_view` 클래스
• `` — 형식 안전한 공용체 (union^영어) `std::variant` 클래스

5. 컴파일러 지원

GCC 8은 완전하면서도 시험적으로 C++17을 지원한다.^{[115][116][48]} Clang 5 이상 버전은 모든 C++17 기능을 지원한다.^[117][49] Visual Studio 2017 15.7 (MSVC19.14)은 거의 전부를 지원하며,^[118][119] 15.8(MSVC 19.15) 이상 버전은 모든 C++17 언어 기능을 지원한다.^[50][51]

6. 라이브러리 지원

libstdc++는 버전 9.1부터 C++17에 대한 완전한 지원을 제공한다(병렬 처리 TS가 없고 C11 대신 C99를 참조하는 8.1).^[52] libc++는 버전 9부터 C++17에 대한 부분적인 지원을 제공하며, 나머지는 "진행 중"이다.^[53] Visual Studio 2017 15.8(MSVC 19.15) 표준 라이브러리 및 이후 버전은 "기본 문자열 변환"을 제외한 모든 C++17 라이브러리 기능을 지원하며 C11 대신 C99를 참조한다. "기본 문자열 변환"은 Visual Studio 2019 16.4에 추가되었다.^[54]

참조

_[1] 웹사이트 N4661 Editors' Report -- Programming Languages -- C++ http://www.open-std.[...] 2017-03-21
_[2] 웹사이트 ISO/IEC DIS 14882: Programming Languages — C++ http://www.open-std.[...]
_[3] 웹사이트 C++17 is formally approved https://herbsutter.c[...] 2017-09-06
_[4] 웹사이트 ISO/IEC 14882:2017 https://www.iso.org/[...] 2017-12-03
_[5] 웹사이트 N3928: Extending static_assert, v2 (Walter E. Brown) http://www.open-std.[...] 2015-04-03
_[6] 웹사이트 N4051: Allow typename in a template template parameter (Richard Smith) http://www.open-std.[...] 2015-04-03
_[7] 웹사이트 N3922: New Rules for auto deduction from braced-init-list (James Dennett) http://www.open-std.[...] 2014-11-28
_[8] 웹사이트 Updates to my trip report http://isocpp.org/bl[...] 2014-11-28
_[9] 웹사이트 N4230: Nested namespace definition (Robert Kawulak, Andrew Tomazos) http://www.open-std.[...] 2014-11-28
_[10] 웹사이트 N4266: Attributes for namespaces and enumerators (Richard Smith) http://isocpp.org/fi[...] 2014-11-15
_[11] 웹사이트 N4640: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-09
_[12] 웹사이트 N4267: Adding u8 character literals (Richard Smith) http://isocpp.org/fi[...] 2014-11-15
_[13] 웹사이트 Hexadecimal floating literals for C++ http://wg21.link/p02[...] 2017-07-16
_[14] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-24
_[15] 웹사이트 Declaring non-type template parameters with auto http://www.open-std.[...] 2016-06-23
_[16] 웹사이트 N4268: Allow constant evaluation for all non-type template arguments (Richard Smith) http://isocpp.org/fi[...] 2014-11-15
_[17] 웹사이트 N4295: Folding expressions (Andrew Sutton, Richard Smith) http://isocpp.org/fi[...] 2014-11-15
_[18] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-24
_[19] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-24
_[20] 웹사이트 Selection statements with initializer http://www.open-std.[...] 2018-10-09
_[21] 웹사이트 Dynamic memory allocation for over-aligned data http://www.open-std.[...] 2017-03-13
_[22] 웹사이트 Class template argument deduction https://en.cpprefere[...] 2019-01-30
_[23] 웹사이트 CppCon 2018: Timur Doumler "Class template argument deduction in C++17" https://www.youtube.[...] 2019-01-30
_[24] 웹사이트 N4640: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-09
_[25] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-24
_[26] 웹사이트 P0012R1: Make exception specifications be part of the type system, version 5 http://www.open-std.[...] 2018-12-17
_[27] 웹사이트 P0018R3: Lambda Capture of *this by Value as [=,*this], version 3 http://www.open-std.[...] 2021-06-21
_[28] 웹사이트 Adopt Library Fundamentals V1 TS Components for C++17 (R1) https://isocpp.org/f[...] 2016-03-23
_[29] 웹사이트 Current Status https://isocpp.org/s[...]
_[30] 웹사이트 std::basic_string_view - cppreference.com http://en.cppreferen[...] 2016-06-23
_[31] 웹사이트 N4259: Wording for std::uncaught_exceptions (Herb Sutter) http://isocpp.org/fi[...] 2014-11-15
_[32] 웹사이트 New core language papers adopted for C++17 https://isocpp.org/b[...] 2014-11-15
_[33] 웹사이트 N4279: Improved insertion interface for unique-key maps (Thomas Köppe) https://isocpp.org/f[...] 2014-11-15
_[34] 웹사이트 New standard library papers adopted for C++17 https://isocpp.org/b[...] 2014-11-15
_[35] 웹사이트 N4280: Non-member size() and more (Riccardo Marcangelo) https://isocpp.org/f[...] 2014-11-15
_[36] 웹사이트 N4284: Contiguous Iterators (Jens Maurer) https://isocpp.org/f[...] 2014-11-15
_[37] 웹사이트 Filesystem Library Proposal (Beman Dawes) http://www.open-std.[...] 2015-12-12
_[38] 웹사이트 The Parallelism TS Should be Standardized https://isocpp.org/f[...] 2016-03-23
_[39] 웹사이트 Mathematical Special Functions for C++17, v5 https://isocpp.org/f[...] 2016-03-23
_[40] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-24
_[41] 웹사이트 A byte type definition http://open-std.org/[...] 2017-03-25
_[42] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-24
_[43] 웹사이트 PMR (Polymorphic Memory Resources) fully described -- Nico Josuttis https://isocpp.org/b[...] 2020-11-16
_[44] 웹사이트 N3981: Removing trigraphs??! (Richard Smith) http://www.open-std.[...] Richard Smith 2015-04-03
_[45] 간행물 IBM comment on preparing for a Trigraph-adverse future in C++17 http://www.open-std.[...] IBM 2018-09-11
_[46] 웹사이트 N4190: Removing auto_ptr, random_shuffle(), And Old <functional> Stuff (Stephan T. Lavavej) http://www.open-std.[...] 2014-11-28
_[47] 웹사이트 C++ Keywords: register https://en.cpprefere[...] 2018-09-03
_[48] 웹사이트 C++ Standards Support in GCC - GNU Project - Free Software Foundation (FSF) https://gcc.gnu.org/[...] 2018-04-03
_[49] 웹사이트 Clang - C++17, C++14, C++11 and C++98 Status https://clang.llvm.o[...] 2018-06-26
_[50] 웹사이트 Visual C++ Language Conformance https://docs.microso[...] 2018-06-19
_[51] 웹사이트 Announcing: MSVC Conforms to the C++ Standard https://blogs.msdn.m[...] null 2018-05-08
_[52] 웹사이트 Chapter 1. Status https://gcc.gnu.org/[...] 2018-06-19
_[53] 웹사이트 libc++ C++17 Status http://libcxx.llvm.o[...] 2019-05-24
_[54] 웹사이트 Announcing: MSVC Conforms to the C++ Standard https://devblogs.mic[...] 2019-05-24
_[55] 웹사이트 N3981: Removing trigraphs??! (Richard Smith) http://www.open-std.[...] Richard Smith 2015-04-03
_[56] 문서 IBM comment on preparing for a Trigraph-adverse future in C++17 http://www.open-std.[...] IBM
_[57] 웹사이트 Updates to my trip report http://isocpp.org/bl[...] 2014-11-28
_[58] 웹사이트 N4190: Removing auto_ptr, random_shuffle(), And Old <functional> Stuff (Stephan T. Lavavej) http://www.open-std.[...] 2014-11-28
_[59] 웹사이트 C++ Keywords: register https://en.cpprefere[...] 2018-09-03
_[60] 웹사이트 N3928: Extending static_assert, v2 (Walter E. Brown) http://www.open-std.[...] 2015-04-03
_[61] 웹사이트 N4051: Allow typename in a template template parameter (Richard Smith) http://www.open-std.[...] 2015-04-03
_[62] 웹사이트 N3922: New Rules for auto deduction from braced-init-list (James Dennett) http://www.open-std.[...] 2014-11-28
_[63] 웹사이트 N4230: Nested namespace definition (Robert Kawulak, Andrew Tomazos) http://www.open-std.[...] 2014-11-28
_[64] 웹사이트 New core language papers adopted for C++17 https://isocpp.org/b[...] 2014-11-15
_[65] 웹사이트 N4266: Attributes for namespaces and enumerators (Richard Smith) http://isocpp.org/fi[...] 2014-11-15
_[66] 웹사이트 N4640: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-09
_[67] 웹사이트 N4267: Adding u8 character literals (Richard Smith) http://isocpp.org/fi[...] 2014-11-15
_[68] 문서 UTF-8 文字列リテラルは [[C++11#新たな文字列リテラル|C++11]] から存在する。C++17 では一貫性確保のために対応する文字リテラルが追加されるが、その型はchar型であり、またUTF-8文字リテラルが扱えるコードポイントの範囲は、C0制御文字とラテン基本文字 (C0 Controls and Basic Latin Unicode block) すなわち [[ASCII]] に限定されている。なお、C++標準における従来の文字リテラルは、[[文字符号化方式]]がASCIIであることが保証されないため、UTF-8文字リテラルはASCIIを保証するという移植性の観点からも有用である。
_[69] 웹사이트 Hexadecimal floating literals for C++ http://wg21.link/p02[...] 2017-07-16
_[70] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-07-16
_[71] 웹사이트 N4268: Allow constant evaluation for all non-type template arguments (Richard Smith) http://isocpp.org/fi[...] 2014-11-15
_[72] 웹사이트 N4295: Folding expressions (Andrew Sutton, Richard Smith) http://isocpp.org/fi[...] 2014-11-15
_[73] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-24
_[74] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-24
_[75] 웹사이트 Selection statements with initializer http://www.open-std.[...] 2018-10-09
_[76] 웹사이트 Dynamic memory allocation for over-aligned data http://www.open-std.[...] 2017-03-14
_[77] 웹사이트 Class template argument deduction https://en.cpprefere[...] 2019-01-30
_[78] 웹사이트 CppCon 2018: Timur Doumler “Class template argument deduction in C++17” https://www.youtube.[...] 2019-01-30
_[79] 웹사이트 N4640: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-11
_[80] 웹사이트 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...] 2017-03-24
_[81] 웹사이트 P0012R1: Make exception specifications be part of the type system, version 5 http://www.open-std.[...] 2018-12-17
_[82] 웹인용 N4661 Editors' Report -- Programming Languages -- C++ http://www.open-std.[...] 2017-03-21
_[83] 웹인용 ISO/IEC DIS 14882: Programming Languages — C++ http://www.open-std.[...]
_[84] 웹인용 C++17 is formally approved https://herbsutter.c[...]
_[85] 웹인용 ISO/IEC 14882:2017 https://www.iso.org/[...]
_[86] 뉴스 the next standard after C++17 will be C++20 https://herbsutter.c[...]
_[87] 웹인용 Current Status : Standard C++ https://isocpp.org/s[...]
_[88] 웹인용 Trip Report: C++ Standards Meeting in Toronto, July 2017 https://botondballo.[...] 2018-01-11
_[89] 간행물 IBM comment on preparing for a Trigraph-adverse future in C++17 http://www.open-std.[...] IBM paper N4210 2014-10-10
_[90] 웹인용 N4190: Removing auto_ptr, random_shuffle(), And Old <functional> Stuff (Stephan T. Lavavej) http://www.open-std.[...]
_[91] 웹인용 N3928: Extending static_assert, v2 (Walter E. Brown) http://www.open-std.[...]
_[92] 웹인용 N4051: Allow typename in a template template parameter (Richard Smith) http://www.open-std.[...]
_[93] 웹인용 N3922: New Rules for auto deduction from braced-init-list (James Dennett) http://www.open-std.[...]
_[94] 웹인용 Updates to my trip report http://isocpp.org/bl[...]
_[95] 웹인용 N4230: Nested namespace definition (Robert Kawulak, Andrew Tomazos) http://www.open-std.[...]
_[96] 웹인용 N4266: Attributes for namespaces and enumerators (Richard Smith) http://isocpp.org/fi[...]
_[97] 웹인용 N4640: Working Draft, Standard for Programming Language C++ http://www.open-std.[...]
_[98] 웹인용 N4267: Adding u8 character literals (Richard Smith) http://isocpp.org/fi[...]
_[99] 웹인용 Hexadecimal floating literals for C++ http://wg21.link/p02[...]
_[100] 웹인용 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...]
_[101] 웹인용 N4268: Allow constant evaluation for all non-type template arguments (Richard Smith) http://isocpp.org/fi[...]
_[102] 웹인용 N4295: Folding expressions (Andrew Sutton, Richard Smith) http://isocpp.org/fi[...]
_[103] 웹인용 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...]
_[104] 웹인용 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...]
_[105] 웹인용 If statement with initializer http://www.open-std.[...]
_[106] 웹인용 Dynamic memory allocation for over-aligned data http://www.open-std.[...]
_[107] 웹인용 N4640: Working Draft, Standard for Programming Language C++ http://www.open-std.[...]
_[108] 웹인용 C++ Keywords: register https://en.cpprefere[...]
_[109] 웹인용 N4659: Working Draft, Standard for Programming Language C++ http://www.open-std.[...]
_[110] 웹인용 N4259: Wording for std::uncaught_exceptions (Herb Sutter) http://isocpp.org/fi[...]
_[111] 웹인용 New core language papers adopted for C++17 https://isocpp.org/b[...]
_[112] 웹인용 N4284: Contiguous Iterators (Jens Maurer) https://isocpp.org/f[...]
_[113] 웹인용 Filesystem Library Proposal (Beman Dawes) http://www.open-std.[...]
_[114] 웹인용 The Parallelism TS Should be Standardized https://isocpp.org/f[...]
_[115] 웹인용 C++ Standards Support in GCC - GNU Project - Free Software Foundation (FSF) https://gcc.gnu.org/[...]
_[116] 웹인용 Chapter 1. Status https://gcc.gnu.org/[...]
_[117] 웹인용 Clang - C++17, C++14, C++11 and C++98 Status https://clang.llvm.o[...]
_[118] 웹인용 Visual C++ Language Conformance https://docs.microso[...]
_[119] 웹인용 Announcing: MSVC Conforms to the C++ Standard https://blogs.msdn.m[...]