C++20 표준 승인

C++ 언어 표준화에 관한 ISO 위원회 승인 된 국제 표준 "C ++ 20". 격리된 경우를 제외하고 사양에 제시된 기능은 지원됨 컴파일러에서 GCC, 그 소리 и Microsoft Visual C ++. C++20을 지원하는 표준 라이브러리가 프로젝트 내에서 구현됩니다. 상승.

다음 14882개월 동안 승인된 사양은 출판을 위한 문서 준비 단계에 있을 것이며, 이 단계에서 철자 오류 및 오타에 대한 편집 수정 작업이 수행될 것입니다. 2020월 초에 최종 문서는 ISO/IEC 23:2이라는 공식 이름으로 발행되기 위해 ISO로 전송됩니다. 그 동안 위원회는 이미 다음 C++XNUMX 표준(C++XNUMXb)에 대한 작업을 시작했으며 다음 가상 회의에서 가능한 옵션을 고려할 것입니다. 혁신.

주요 특징 C ++ 20 (코드 예시):

• 컴파일 타임에 템플릿 매개변수로 허용될 수 있는 인수 집합을 제한하는 템플릿 매개변수 요구 사항 집합을 정의할 수 있는 템플릿 확장인 "개념"이 추가되었습니다. 개념은 템플릿 내에서 사용되는 데이터 유형의 속성과 입력 매개변수의 데이터 유형 속성 간의 논리적 불일치를 방지하는 데 사용될 수 있습니다.

  주형
  개념 EqualityComparable = 요구(T a, T b) {
  { a == b } -> std::boolean;
  { a != b } -> std::boolean;
  };

• 수락됨 확장 헤더 파일 대신 사용할 수 있는 모듈 작업에 사용됩니다. 모듈은 "#include"를 통해 헤더 파일을 포함하지 않고 구성 요소의 경계 정의를 기반으로 소스 코드를 구성하는 새로운 방법을 제공합니다.
• 변수 인수에 토큰이 있는지에 따라 가변 매크로를 적응형으로 확장하기 위한 매크로 __VA_OPT__.
• XNUMX방향 비교를 위해 "" 연산자를 지원합니다.
• 비트 필드에 대한 기본 요소 이니셜라이저를 지원합니다.
• 람다에서 "*this" 표현식을 캡처하는 기능.

  구조체 int_value {
  정수 n = 0;
  자동 getter_fn() {
  //나쁜:
  // return [=]() { return n; };

  // 좋은:
  return [=, *this]() { return n; };
  }
  };

• "const &" 표현식을 통해 정의된 임시 개체에 대한 포인터를 사용하여 포인터(멤버에 대한 포인터)로 요소를 호출합니다.
• 문서에 설명된 소멸자가 있는 삭제 연산자 P0722R1.
• 클래스는 유형 없이 템플릿 매개변수를 사용할 수 있습니다.

  구조체 foo {
  foo() = 기본값;
  constexpr foo(int) {}
  };

  주형
  자동 get_foo() {
  f를 반환;
  }

  get_foo(); // 암시적 생성자를 사용합니다.
  get_foo ();

• 생성자가 있는 비지속적 람다 식입니다.
• 람다 표현식에 대한 템플릿 구문 허용("auto f = [] (표준::벡터 V)").
• 템플릿 매개변수에 문자열 리터럴을 사용하는 기능.
• C 스타일 초기화 구문 지원 - 초기화 목록에 명시적으로 나열되지 않은 필드는 기본적으로 초기화됩니다.

  구조체 A {
  int x;
  정수 Y;
  정수 z = 123;
  };

  A a {.x = 1, .z = 2}; // ax == 1, ay == 0, az == 2

• 빈 데이터 구조 멤버를 지원합니다.
• 조건부 구문이 트리거될 확률에 대해 최적화 프로그램에 알리는 가능성 및 가능성 없음 속성 지원("[[likely]] if (random > 0) {").
• 범위를 사용하여 "for" 루프에서 변수 값을 초기화하는 기능

  for (auto v = std::벡터{1, 2, 3}; auto& e : v) {

• new의 배열 크기 자동 계산(“new double[]{1,2,3}”);
• 데이터가 없는 변수는 공간을 차지하지 않는 “[[no_unique_address]]” 속성입니다.
• 원자 포인터(std::atomic > 및 std::atomic >).
• 조건식에서 가상 함수를 호출하는 기능.
• 상수로만 작동할 수 있는 즉시 기능을 지원합니다.

  consteval int sqr(int n) {
  n * n을 반환;
  }

  constexpr int r = sqr(100); // 좋아요
  int x = 100;
  int r2 = sqr(x); // 오류: 'x'는 상수로 사용할 수 없습니다.

• 가상 함수("constexpr virtual int f() const { return 2; }")와 함께 constexpr을 사용할 가능성.
• 표준 라이브러리에서:
  • UTF-8 문자열에 대한 char8_t 유형에 대한 지원이 추가되었습니다.
  • 헤더 파일 비트(비트 연산) 및 버전이 추가되었습니다.
  • 이제 문자열의 접두사와 접미사(starts_with, end_with)를 확인할 수 있습니다.
  • std::remove_cvref, std::unwrap_reference, std::unwrap_decay_ref, std::is_nothrow_convertible 및 std::type_identity 특성을 추가했습니다.
  • std::midpoint, std::lerp, std::bind_front, std::source_location, std::visit, std::is_constant_evaluated 및 std::assume_aligned 함수를 추가했습니다.
  • std::make_shared에 배열에 대한 지원이 추가되었습니다.
  • 배열과 유사한 객체를 std::array로 변환하는 std::to_array 함수를 추가했습니다.
• 더욱 편리한 열거형 구문:

  enum class rgba_color_channel { 빨강, 녹색, 파랑, 알파 };

  std::string_view to_string(rgba_color_channel my_channel) {
  스위치(my_channel) {
  enum rgba_color_channel 사용;
  케이스 빨간색: "빨간색"을 반환합니다.
  녹색인 경우: "녹색"을 반환합니다.
  파란색의 경우: "파란색"을 반환합니다.
  케이스 알파: "알파"를 반환합니다.
  }
  }

• 인덱스에서는 정의되지 않은 동작으로 인해 ","("a[b,c]") 연산의 사용이 금지됩니다. 표준 유형의 "++" 및 "—" 작업을 포함하여 휘발성 키워드로 선언된 변수를 사용하는 대부분의 작업에 대한 지원이 중단되었습니다.
• 유형의 존재를 나타내기 위해 "typename"이 필요한 상황의 수가 줄었습니다.

출처 : opennet.ru