C++17 (r1)

구조화된 바인딩은 C++17에서 도입된 기능으로, 튜플, 배열, 구조체와 같은 복합 데이터 타입의 멤버를 개별 변수에 쉽게 분해하여 바인딩할 수 있게 해준다. 이 기능은 주로 std::tuple, std::pair, 배열, 또는 공개 멤버 변수만을 가진 평범한 구조체에 사용된다. 기존에는 std::tie를 사용하거나 멤버에 직접 접근해야 했던 번거로움을 줄여주며, 코드의 가독성과 편의성을 크게 향상시킨다.

사용법은 간단하다. 대괄호 안에 변수 이름을 나열하고, 초기화할 복합 객체를 할당하면 된다. 예를 들어, std::pair<int, std::string>의 값을 각각 id와 name 변수로 받아오거나, std::array의 요소들을 개별 변수로 분리할 수 있다. 이때 변수의 타입은 auto 키워드로 추론되며, 필요에 따라 const auto&나 auto&와 같은 참조 한정자를 함께 사용할 수 있다.

구조화된 바인딩은 특히 범위 기반 for 루프와 함께 사용될 때 강력하다. std::map이나 std::unordered_map을 순회할 때, 각 요소가 std::pair<const Key, Value> 타입인데, 이를 [key, value]와 같은 형태로 직접 받아 처리할 수 있어 코드가 매우 깔끔해진다. 또한 사용자 정의 타입에 대해서도 모든 비정적 데이터 멤버가 공개되어 있다면 동일한 방식으로 구조화된 바인딩을 적용할 수 있다.

이 기능은 C++11에서 도입된 auto 타입 추론과 C++14의 제네릭 람다처럼, 현대 C++이 지향하는 간결하고 표현력 있는 코드 작성에 기여한다. 구조화된 바인딩은 데이터 접근 패턴을 단순화하여 템플릿 메타프로그래밍이나 라이브러리 구현 시 발생할 수 있는 보일러플레이트 코드를 줄이는 데도 유용하게 쓰인다.

constexpr if는 C++17에서 도입된 조건부 컴파일 기능이다. 이 기능은 템플릿 메타프로그래밍과 제네릭 프로그래밍에서 특정 조건에 따라 코드의 일부를 컴파일 타임에 활성화하거나 비활성화할 수 있게 해준다. 기존의 SFINAE나 템플릿 특수화를 사용한 복잡한 조건부 컴파일 기법을 간결하고 가독성 높은 문법으로 대체할 수 있다.

constexpr if 문의 조건은 반드시 컴파일 타임에 평가 가능한 상수 표현식이어야 한다. 조건이 true로 평가되면 해당 분기의 코드가 컴파일되고, false로 평가되면 해당 분기의 코드는 컴파일 과정에서 완전히 무시된다. 이는 의존 문맥에서도 작동하며, 무시된 분기 내부의 문법적 오류(예: 존재하지 않는 타입 이름 사용)도 컴파일 오류를 발생시키지 않는다는 특징이 있다.

이 기능은 특히 가변 인자 템플릿과 함께 사용될 때 강력한 효과를 발휘한다. 재귀적 템플릿 함수의 베이스 케이스를 정의하거나, 특정 타입에 대한 특별한 처리를 분기하는 코드를 매우 직관적으로 작성할 수 있게 된다. 결과적으로 C++ 템플릿 코드의 복잡성을 크게 낮추고 유지보수성을 향상시켰다.

C++17에서 도입된 인라인 변수(inline variable)는 헤더 파일에서 변수를 정의할 수 있게 해주는 기능이다. 이전 표준에서는 헤더 파일에 변수를 선언하고, 하나의 소스 파일에서만 정의해야 했다. 그렇지 않으면 링킹 과정에서 중복 정의 오류가 발생할 수 있었다.

인라인 변수는 함수에 적용되던 인라인 지정자(inline specifier)를 변수 선언에도 사용할 수 있게 확장한 것이다. 헤더 파일에 inline 키워드로 변수를 정의하면, 해당 헤더를 포함하는 모든 번역 단위(translation unit)에서 동일한 변수를 참조할 수 있으며, 링커는 이들을 하나의 정의로 합친다. 이는 특히 클래스의 정적 멤버 변수(static member variable) 정의를 간소화하는 데 유용하다.

이 기능의 주요 목적은 단일 정의 규칙(One Definition Rule, ODR)을 위반하지 않으면서 헤더 전용 라이브러리를 작성하는 데 있다. 템플릿 라이브러리나 헤더 파일만으로 구성된 라이브러리에서 전역 상수나 정적 멤버를 정의해야 할 때 편리하게 사용된다. 결과적으로 코드의 모듈성과 유지보수성이 향상된다.

폴드 표현식은 C++17에서 도입된 템플릿 메타프로그래밍 및 가변 인자 템플릿 사용을 간소화하는 핵심 기능이다. 이 기능은 매개변수 팩으로 알려진 가변 길이의 템플릿 인자 목록에 대해 단항, 이항 또는 다양한 연산자를 적용하여 "접는" 방식을 표준화한다. C++14까지는 재귀적인 템플릿 함수를 작성하여 매개변수 팩을 처리해야 했으나, 폴드 표현식을 사용하면 단일 표현식으로 간결하게 같은 연산을 표현할 수 있어 코드 가독성과 작성 편의성이 크게 향상된다.

폴드 표현식은 네 가지 주요 형태(단항 우측, 단항 좌측, 이항 우측, 이항 좌측)로 사용된다. 예를 들어, 모든 인자의 합계를 계산하는 sum 함수는 (args + ...)와 같은 단항 우측 폴드로 간단히 구현할 수 있다. 이는 내부적으로 arg1 + (arg2 + (arg3 + ...))와 같이 확장된다. 반대로 단항 좌측 폴드 (... + args)는 (((... + arg1) + arg2) + arg3) 형태로 확장되어 연산 순서에 차이를 만들 수 있다. 이항 폴드 형태는 초기값을 제공할 수 있어 빈 매개변수 팩을 안전하게 처리할 때 유용하다.

이 기능의 도입으로 가변 인자 템플릿을 활용한 유틸리티 라이브러리나 메타프로그래밍 코드의 복잡도가 현저히 낮아졌다. 특히 타입 트레이트 검사, 로깅 함수, 데이터 구조 초기화와 같은 반복적이거나 조건적인 연산을 템플릿으로 구현할 때 그 위력이 발휘된다. 폴드 표현식은 C++20에서 도입된 콘셉트와 함께 사용될 때 템플릿 코드의 표현력을 더욱 높이는 기반이 되었다.

C++17에서는 클래스 템플릿의 템플릿 인자 추론 기능이 크게 개선되었다. C++14까지는 함수 템플릿에 대해서만 템플릿 인자를 추론할 수 있었고, 클래스 템플릿을 사용할 때는 생성자 호출에 명시적으로 템플릿 인자를 지정해야 하는 경우가 많았다. C++17에서는 클래스 템플릿의 생성자로부터 템플릿 인자를 자동으로 추론하는 기능이 도입되어 코드의 간결성이 향상되었다.

이 기능은 표준 라이브러리의 여러 컨테이너와 스마트 포인터를 사용할 때 특히 유용하다. 예를 들어, std::pair<int, double> p(1, 2.0); 대신 std::pair p(1, 2.0);과 같이 작성할 수 있으며, 컴파일러가 인자 1과 2.0의 타입으로부터 템플릿 인자 int와 double을 자동으로 추론한다. 이는 std::vector, std::list, std::unique_ptr 등 다른 템플릿 클래스에서도 동일하게 적용된다.

사용자 정의 클래스 템플릿에서도 이 기능을 활용할 수 있다. 컴파일러는 클래스 템플릿의 생성자 인자를 분석하여 템플릿 매개변수를 추론한다. 필요한 경우, 프로그래머는 템플릿 인자 추론 가이드를 작성하여 컴파일러의 추론 방식을 명시적으로 제어할 수 있다. 이 가이드는 특정 생성자 호출 패턴에 대해 어떤 템플릿 인자를 사용해야 하는지를 정의한다.

템플릿 인자 추론의 개선은 제네릭 프로그래밍을 더욱 편리하게 만들었으며, 타입 안전성을 유지하면서도 보일러플레이트 코드를 줄이는 데 기여했다. 이는 C++20에서 더욱 확장된 개념과 함께 현대 C++의 템플릿 메타프로그래밍 패러다임을 이끄는 중요한 기반이 되었다.

std::optional은 C++17 표준 라이브러리에 새로 도입된 템플릿 클래스로, "값이 있거나 없을 수 있는" 상황을 표현하기 위한 컨테이너이다. 이는 기존에 포인터나 특수한 값(예: -1, nullptr)을 사용해 부재 상태를 표현하던 방식의 문제점을 해결하며, 타입 안전성을 크게 향상시킨다. std::optional은 제네릭 프로그래밍을 지원하며, 포함할 수 있는 객체의 타입을 템플릿 매개변수로 받는다.

std::optional의 주요 멤버 함수로는 값의 존재 여부를 확인하는 has_value() 또는 operator bool, 저장된 값에 접근하는 value(), 값이 없을 때 대체 값을 제공하는 value_or() 등이 있다. 또한 값에 직접 접근하는 operator*와 operator->도 제공한다. 중요한 점은 값이 없는 상태에서 value()를 호출하면 std::bad_optional_access 예외가 발생하여 안전하지 않은 접근을 방지한다는 것이다.

이 클래스는 함수의 반환 값으로 실패 가능성을 명시적으로 표현하거나, 클래스의 지연 초기화 멤버, 구문 분석 결과 등 다양한 맥락에서 유용하게 활용된다. 예를 들어, 데이터베이스 조회 결과나 사용자 입력 검증과 같이 값이 존재하지 않을 수 있는 모든 경우에 std::optional을 사용하면 코드의 의도가 명확해지고 런타임 오류를 줄일 수 있다.

std::variant는 C++17 표준 라이브러리에 새롭게 도입된 유니온 형태의 클래스 템플릿이다. 이는 타입 안전성을 보장하는 방식으로 여러 가지 타입 중 하나의 값을 보관할 수 있는 컨테이너를 제공한다. 기존의 C 언어 스타일의 union이나 void*를 사용하는 방식과 달리, std::variant는 현재 어떤 타입의 값을 보관하고 있는지 명확히 추적하며, 잘못된 타입으로 접근하려고 하면 예외를 발생시킨다. 이는 런타임 오류를 줄이고 코드의 안정성을 높이는 데 기여한다.

std::variant의 주요 사용법은 std::get, std::get_if, std::holds_alternative와 같은 헬퍼 함수들과 함께 이루어진다. 또한 std::visit 함수와 람다 표현식을 결합하면, 현재 보관된 값의 타입에 따라 다른 동작을 수행하는 방문자 패턴을 우아하게 구현할 수 있다. 이는 상태 패턴이나 파서 구현 등 다양한 객체 지향 프로그래밍 시나리오에서 유용하게 활용된다.

std::variant는 std::optional이 단일 타입의 값 존재 여부를 다루고, std::any가 어떠한 타입이든 보관할 수 있는 것과는 차별화된다. std::variant는 사전에 정의된 타입 목록 중 하나만을 보관할 수 있어, 보다 명시적이고 제한된 타입 시스템의 이점을 제공한다. 이는 에러 처리를 위한 사용자 정의 타입이나, 이벤트 시스템에서 서로 다른 종류의 이벤트 객체를 하나의 큐에 저장하는 등의 용도에 적합하다.

std::any는 C++17 표준 라이브러리에 새롭게 도입된 타입 안전 컨테이너 클래스이다. 이 클래스는 단일 객체를 보관할 수 있으며, 그 객체의 타입은 어떠한 복사 가능한 타입이라도 될 수 있다. 즉, std::any는 런타임에 타입이 결정되는 값을 담는 범용 컨테이너 역할을 한다.

std::any의 핵심 동작 원리는 타입 지우기 기술에 기반한다. 객체를 저장할 때 해당 객체의 타입 정보를 내부적으로 숨기고, 사용자가 값을 꺼낼 때는 저장된 타입과 요청한 타입이 일치하는지 런타임에 검사한다. 주요 멤버 함수로는 값을 저장하는 emplace와 operator=, 저장된 값을 꺼내는 std::any_cast, 저장된 값의 타입 정보를 얻는 type 멤버 함수, 그리고 컨테이너가 비어 있는지 확인하는 has_value 함수 등이 있다.

std::any는 특히 라이브러리 설계나 프레임워크 구현 시, 사용자에게 전달해야 할 데이터의 타입을 미리 특정할 수 없는 경우에 유용하다. 예를 들어, 이벤트 시스템에서 다양한 타입의 이벤트 데이터를 하나의 큐로 관리하거나, 스크립트 언어와의 바인딩 인터페이스에서 임의의 C++ 객체를 전달할 때 활용될 수 있다. 이는 기존에 void* 포인터를 사용하던 방식보다 훨씬 안전한 대안을 제공한다.

std::any를 사용할 때 주의할 점은, 값을 꺼내기 위해 반드시 정확한 타입으로 std::any_cast를 수행해야 한다는 것이다. 타입이 일치하지 않으면 std::bad_any_cast 예외가 발생한다. 또한, 템플릿 메타프로그래밍이나 정적 타입 검사가 주된 해결책인 경우에는 std::any보다 std::variant가 더 적합한 선택일 수 있다.

std::string_view는 C++17 표준 라이브러리에 도입된 새로운 클래스이다. 이는 문자열 데이터를 소유하지 않고 참조만 하는 비소유(non-owning) 문자열 뷰를 제공한다. 기존의 const std::string&나 const char*를 사용하는 방식보다 효율적이고 유연한 문자열 처리 방식을 가능하게 한다.

std::string_view의 주요 장점은 불필요한 메모리 할당과 복사를 줄일 수 있다는 점이다. 예를 들어, std::string 객체를 생성하지 않고도 C 스타일 문자열(널 종단 문자열)이나 std::string 객체의 일부를 가리키는 뷰를 생성할 수 있다. 이는 함수의 매개변수로 문자열을 전달할 때 특히 유용하며, 문자열 슬라이싱 작업도 용이하게 한다.

그러나 std::string_view는 데이터를 소유하지 않기 때문에 주의가 필요하다. 뷰가 참조하는 원본 데이터의 수명이 std::string_view 객체의 수명보다 짧아지면 댕글링 포인터와 같은 문제가 발생할 수 있다. 따라서 원본 데이터의 소유권과 수명을 관리하는 것이 중요하다.

이 클래스는 <string_view> 헤더에 정의되어 있으며, std::basic_string_view 템플릿의 char 타입에 대한 별칭이다. std::string과 유사한 인터페이스를 제공하여 기존 코드와의 호환성을 높였으며, 문자열 검색, 부분 문자열 추출, 비교 등의 일반적인 문자열 연산을 지원한다.

C++17에서 표준 라이브러리로 채택된 파일 시스템 라이브러리(Filesystem library)는 <filesystem> 헤더를 통해 제공되며, 운영체제의 파일 시스템에 대한 일관된 접근과 조작 기능을 제공한다. 이 라이브러리는 Boost 라이브러리의 파일 시스템 컴포넌트를 기반으로 표준화되었으며, 파일 경로 처리, 디렉터리 순회, 파일 상태 확인 및 복사, 이동, 삭제와 같은 기본적인 파일 조작 작업을 수행할 수 있는 클래스와 함수들을 정의한다.

주요 구성 요소로는 파일 시스템 경로를 표현하는 std::filesystem::path 클래스, 파일 상태 정보를 담는 std::filesystem::file_status, 그리고 디렉터리 항목을 나타내는 std::filesystem::directory_entry가 있다. 특히 path 클래스는 운영체제에 독립적인 방식으로 경로를 처리하며, 문자열 변환, 구성 요소 분해 및 결합, 정규화 등의 기능을 제공한다. 또한 std::filesystem::directory_iterator와 std::filesystem::recursive_directory_iterator를 사용하면 디렉터리 내의 파일과 하위 디렉터리를 손쉽게 순회할 수 있다.

이 라이브러리의 도입으로 C++ 프로그램은 이전보다 훨씬 간결하고 이식성 있게 파일 시스템 작업을 수행할 수 있게 되었다. 예를 들어, 특정 디렉터리 내의 모든 파일을 나열하거나, 파일의 존재 여부를 확인하고, 파일을 복사하는 코드는 표준 라이브러리만으로 작성이 가능해졌다. 이는 플랫폼 독립성을 높이고, 운영체제별로 달랐던 API 호출의 복잡성을 줄이는 데 기여했다.

C++17은 표준 라이브러리의 많은 알고리즘에 병렬 실행 옵션을 도입하여 멀티코어 프로세서의 성능을 효율적으로 활용할 수 있는 길을 열었다. 이 기능은 <algorithm> 헤더에 정의된 기존의 알고리즘들에 실행 정책을 지정하는 새로운 오버로드를 추가하는 방식으로 구현되었다.

주요 실행 정책으로는 std::execution::seq (순차 실행), std::execution::par (병렬 실행), std::execution::par_unseq (병렬 및 벡터화 실행)이 있다. 개발자는 std::sort, std::for_each, std::transform, std::reduce와 같은 알고리즘을 호출할 때 이러한 정책 태그를 첫 번째 인자로 전달하여 병렬 처리를 요청할 수 있다. 예를 들어, std::sort(std::execution::par, vec.begin(), vec.end());와 같이 코드를 작성하면 표준 라이브러리가 내부적으로 스레드 풀 등을 활용하여 정렬 작업을 여러 코어에 분배한다.

이 병렬 알고리즘들은 데이터 레이스나 데드락과 같은 문제를 방지하기 위해 사용자에게 일정한 책임을 요구한다. 병렬 정책으로 실행되는 알고리즘에 전달하는 함수 객체는 동시성에 안전해야 하며, 순서가 지정되지 않은 실행에서도 정확한 결과를 보장해야 한다. 이는 C++ 표준이 병렬 실행의 세부 메커니즘보다는 인터페이스와 의미론을 규정하고, 실제 구현은 각 컴파일러와 표준 라이브러리 제공자에게 맡기는 전형적인 접근 방식이다.

병렬 알고리즘의 도입은 C++이 고성능 컴퓨팅 분야에서의 입지를 공고히 하는 중요한 진전이었다. 이를 통해 과학 계산, 빅데이터 처리, 게임 엔진 등 계산 집약적 애플리케이션을 더 쉽게 최적화할 수 있게 되었다. 이 기능은 이후 C++20에서 코루틴 및 범위 라이브러리와 같은 더 진보된 동시성 기능의 기반을 마련하는 데 기여하였다.

C++17에서는 메모리 할당 시 정렬(alignment)을 보다 명시적으로 제어할 수 있는 기능이 도입되었다. 이는 특히 저수준 프로그래밍이나 특정 하드웨어 구조를 다룰 때 성능과 안정성을 높이는 데 중요한 역할을 한다.

주요 추가 사항으로는 std::align_val_t 타입과 new 표현식에 대한 정렬 지정 지원, 그리고 aligned_new 기능이 있다. 새로운 오버로드된 operator new와 operator delete가 도입되어, 메모리 블록이 특정 바이트 경계(예: 32바이트, 64바이트)에 맞춰 할당되고 해제될 수 있도록 했다. 이는 SIMD 명령어 사용이나 특정 프로세서의 캐시 라인 경계에 데이터를 맞추는 등 성능 최적화에 필수적이다.

이전에는 플랫폼별 비표준 확장(예: _aligned_malloc)이나 컴파일러 관련 속성에 의존해야 했지만, C++17에서는 표준화된 방식으로 동적 메모리 할당의 정렬 요구사항을 처리할 수 있게 되었다. 이는 이식성을 크게 향상시키고, 메모리 누수 및 정렬 오류로 인한 세그멘테이션 폴트 위험을 줄여준다.

또한, std::max_align_t와 같은 기존 타입과 함께 사용되어, 사용자 정의 메모리 할당자를 구현하거나 컨테이너가 과도한 정렬 요구사항을 가진 타입을 안전하게 보관할 수 있는 기반을 마련했다.