C ++ 17 hiện đã có tính năng hoàn chỉnh, do đó không có khả năng trải nghiệm những thay đổi lớn. Hàng trăm đề xuất đã được đưa ra cho C ++ 17.

Những tính năng nào được thêm vào C ++ trong C ++ 17?

Khi sử dụng trình biên dịch C ++ hỗ trợ "C ++ 1z", những tính năng nào sẽ có sẵn khi trình biên dịch cập nhật lên C ++ 17?

Đặc điểm ngôn ngữ:

Mẫu và Mã chung

• Khấu trừ đối số mẫu cho các mẫu lớp

  • Giống như cách các hàm suy ra các đối số khuôn mẫu, bây giờ các hàm tạo có thể suy ra các đối số khuôn mẫu của lớp
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • Đại diện cho một giá trị của bất kỳ loại (đối số mẫu không loại).

• Sửa lỗi đối số mẫu không phải kiểu

• template<template<class...>typename bob> struct foo {}

• (Gấp + ... + biểu thức) và Sửa đổi

• auto x{8}; là một int

• hiện đại hóa usingvới ...và danh sách

Lambda

• constexpr lambdas

  • Lambdas hoàn toàn là constexpr nếu họ đủ điều kiện

• Chụp *thistrong lambdas

  • [*this]{ std::cout << could << " be " << useful << '\n'; }

Thuộc tính

• [[fallthrough]], [[nodiscard]], [[maybe_unused]]Thuộc tính

• [[attributes]]trên namespaces vàenum { erator[[s]] }

• usingtrong các thuộc tính để tránh phải lặp lại một không gian tên thuộc tính.

• Trình biên dịch hiện được yêu cầu bỏ qua các thuộc tính không chuẩn mà chúng không nhận ra .

  • Từ ngữ C ++ 14 cho phép trình biên dịch từ chối các thuộc tính phạm vi không xác định.

Dọn dẹp cú pháp

• Biến nội tuyến

  • Giống như các hàm nội tuyến
  • Trình biên dịch chọn nơi thể hiện được khởi tạo
  • Khấu hao khai báo constexpr tĩnh , bây giờ hoàn toàn nội tuyến.

• namespace A::B

• Đơn giản static_assert(expression);không có chuỗi

• không throwtrừ khithrow() , và throw()là noexcept(true).

Điều khiển lưu lượng và hồi lưu sạch hơn

• Cấu trúc liên kết

  • Về cơ bản, hạng nhất std::tievớiauto
  • Thí dụ:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Tạo các biến itvà insertedvới loại suy ra từ trả về pairđó map::insert.
  • Hoạt động với tuple / cặp thích & std::arrays và cấu trúc tương đối bằng phẳng
  • Trên thực tế có tên là các ràng buộc có cấu trúc trong tiêu chuẩn

• if (init; condition) và switch (init; condition)

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Mở rộng các if(decl)trường hợp declkhông chuyển đổi thành bool một cách hợp lý.

• Tổng quát hóa dựa trên phạm vi cho các vòng lặp

  • Xuất hiện chủ yếu là hỗ trợ cho các Sentinel, hoặc các trình lặp kết thúc không cùng loại với các trình vòng lặp bắt đầu, giúp các vòng lặp kết thúc null và tương tự.

• nếu constexpr

  • Nhiều tính năng được yêu cầu để đơn giản hóa mã gần như chung chung.

Linh tinh

• Chữ nổi thập lục phân

• Cấp phát bộ nhớ động cho dữ liệu được liên kết quá mức

• Đảm bảo bản sao bầu cử

  • Cuối cùng!
  • Không phải trong tất cả các trường hợp, nhưng phân biệt cú pháp trong đó bạn "chỉ tạo ra một cái gì đó" được gọi là elision, từ "elision chính hãng".

• Đã sửa lỗi thứ tự đánh giá cho (một số) biểu thức với một số sửa đổi

  • Không bao gồm các đối số chức năng, nhưng đánh giá đối số chức năng xen kẽ hiện bị cấm
  • Làm cho một loạt các mã bị hỏng hoạt động chủ yếu, và làm cho .thencông việc trong tương lai.

• Danh sách trực tiếp khởi tạo enums

• Đảm bảo tiến trình chuyển tiếp (FPG) (cũng, FPG cho các thuật toán song song )

  • Tôi nghĩ rằng điều này nói rằng "việc thực hiện có thể không trì hoãn chủ đề mãi mãi"?

• u8'U', u8'T', u8'F', u8'8' ký tự chữ (chuỗi đã tồn tại)

• "không ngoại lệ" trong hệ thống loại

• __has_include

  • Kiểm tra nếu một tệp tiêu đề bao gồm sẽ là một lỗi
  • làm cho việc di chuyển từ thử nghiệm sang tiêu chuẩn gần như liền mạch

• Mảng sửa lỗi chuyển đổi con trỏ

• các hàm tạo được kế thừa sửa một số trường hợp góc (xem P0136R0 để biết ví dụ về thay đổi hành vi)

• tổng hợp khởi tạo với thừa kế .

• std::launder, loại pucky, vv

Thư viện bổ sung:

Loại dữ liệu

• std::variant<Ts...>

  • Hầu như luôn luôn không trống cuối cùng tôi đã kiểm tra?
  • Tagged loại công đoàn
  • {tuyệt vời | hữu ích}

• std::optional

  • Có thể giữ một trong những thứ
  • Vô cùng hữu ích

• std::any

  • Giữ một trong mọi thứ (có thể sao chép)

• std::string_view

  • std::string như tham chiếu đến mảng ký tự hoặc chuỗi con
  • Không bao giờ mất một string const&lần nữa. Cũng có thể làm cho phân tích cú pháp nhanh hơn một lần.
  • "hello world"sv
  • constexpr char_traits

• std::byte nhiều hơn họ có thể nhai.

  • Không phải là số nguyên hay ký tự, chỉ là dữ liệu

Gọi công cụ

• std::invoke
  • Gọi bất kỳ cuộc gọi nào (con trỏ hàm, hàm, con trỏ thành viên) với một cú pháp. Từ khái niệm INVOKE tiêu chuẩn.
• std::apply
  • Thực hiện một chức năng giống như một tuple và giải nén tuple vào cuộc gọi.

• std::make_from_tuple, std::applyáp dụng cho xây dựng đối tượng

• is_invocable, is_invocable_r,invoke_result

  • http://www.open-std.org/jtc1/sc22/wg21/docs/ con / 2016 / p0077r2.html
  • http://www.open-std.org/jtc1/sc22/wg21/docs/ con / 2017 / p0604r0.html
  • Khấu hao result_of
  • is_invocable<Foo(Args...), R>là "bạn có thể gọi Foovới Args...và nhận được một cái gì đó tương thích với R", trong đó R=voidlà mặc định.
  • invoke_result<Foo, Args...>Là std::result_of_t<Foo(Args...)>nhưng dường như ít nhầm lẫn?

Hệ thống tệp TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] và [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreams có thể được mở bằng paths, cũng như với các const path::value_type*chuỗi.

Thuật toán mới

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• Đã thêm cho mục đích luồng, được hiển thị ngay cả khi bạn không sử dụng chúng theo luồng

Luồng

• std::shared_mutex

  • Chưa biết, có thể hiệu quả hơn nếu bạn không cần nó.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Tiết kiệm một số std::locknỗi đau khi khóa nhiều hơn một mutex cùng một lúc.

• Song song TS v1

  • Giấy được liên kết từ năm 2014, có thể đã hết hạn
  • Phiên bản song song của stdthuật toán và máy móc liên quan

• phần cứng _ * _ inter_size

(một phần của) Nguyên tắc cơ bản của Thư viện TS v1 không được đề cập ở trên hoặc dưới

• [func.searchers] và [alg.search]
  • Một thuật toán tìm kiếm và kỹ thuật

• [pmr]

  • Phân bổ đa hình, giống như std::functionphân bổ
  • Và một số tài nguyên bộ nhớ tiêu chuẩn để đi với nó .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/ con / 2016 / p0353r1.html

• std::sample, lấy mẫu từ một phạm vi?

Cải tiến container

• try_emplace và insert_or_assign

  • đảm bảo tốt hơn trong một số trường hợp di chuyển / sao chép giả sẽ xấu

• Nối cho map<>, unordered_map<>, set<>, vàunordered_set<>

  • Di chuyển các nút giữa các container giá rẻ.
  • Hợp nhất toàn bộ container với giá rẻ.

• không const .data()cho chuỗi.

• phi thành viên std::size, std::empty,std::data

  • thích std::begin/end

• Hỗ trợ loại không đầy đủ tối thiểu trong container

• Lặp đi lặp lại "khái niệm"

• constexpr vòng lặp

• Họ emplacecác hàm bây giờ trả về một tham chiếu đến đối tượng được tạo .

Thay đổi con trỏ thông minh

• unique_ptr<T[]>sửa lỗi và các unique_ptrchỉnh sửa khác .
• weak_from_this và một số cố định để chia sẻ từ này

Các stdcải tiến kiểu dữ liệu khác :

• {}xây dựng std::tuplevà cải tiến khác
• TrivivelyCopyable Reference_wrapper , có thể tăng hiệu suất

Linh tinh

• Thư viện C ++ 17 dựa trên C11 thay vì C99

• Dành std[0-9]+cho các thư viện tiêu chuẩn trong tương lai

• destroy(_at|_n), uninitialized_move(_n), uninitialized_value_construct(_n),uninitialized_default_construct(_n)

  • mã tiện ích đã có trong hầu hết các stdtriển khai
• Các hàm toán học đặc biệt
  • các nhà khoa học có thể thích chúng
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) đại khái
• gcd và lcm
• std::uncaught_exceptions
  • Cần thiết nếu bạn chỉ muốn ném nếu an toàn trước kẻ hủy diệt
• std::as_const
• std::bool_constant
• Một loạt các _vbiến mẫu
• std::void_t<T>
  • Đáng ngạc nhiên hữu ích khi viết mẫu
• std::owner_less<void>
  • thích std::less<void>, nhưng để con trỏ thông minh sắp xếp dựa trên nội dung
• std::chrono đánh bóng
• std::conjunction, std::disjunction,std::negation Tiếp xúc
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/ con / 2016 / p0353r1.html
• Quy tắc không ngoại lệ trong std
• std :: is_contigupt_layout , hữu ích để băm hiệu quả
• std :: to_chars / std :: from_chars , hiệu suất cao, chuyển đổi số bất khả tri địa phương; cuối cùng là một cách để tuần tự hóa / giải tuần tự hóa thành các định dạng có thể đọc được của con người (JSON & co)
• std :: default_order , kết thúc std::less. ( phá vỡ ABI của một số trình biên dịch do xáo trộn tên, đã xóa.)

Đặc điểm

• trao đổi
• is_aggregate
• has_unique_object_Vpresentations

Không dùng nữa

• Một số thư viện C ,
• <codecvt>
• memory_order_consume
• result_of, thay thế bằng invoke_result
• shared_ptr::unique, nó không phải là rất an toàn

Isocpp.org có một danh sách thay đổi độc lập kể từ C ++ 14; nó đã bị cướp phá một phần

Đương nhiên công việc TS tiếp tục song song, vì vậy có một số TS chưa hoàn toàn chín muồi sẽ phải chờ lần lặp tiếp theo. Mục tiêu cho lần lặp tiếp theo là C ++ 20 như kế hoạch trước đó, không phải C ++ 19 như một số tin đồn ngụ ý. C ++ 1O đã được tránh.

Danh sách ban đầu được lấy từ bài đăng reddit này và bài đăng reddit này , với các liên kết được thêm thông qua googling hoặc từ trang isocpp.org ở trên.

Các mục bổ sung được liệt kê từ danh sách kiểm tra tính năng SD-6 .

danh sách tính năng của clang và danh sách tính năng thư viện bên cạnh được đánh dấu. Điều này dường như không đáng tin cậy, vì nó là C ++ 1z, không phải C ++ 17.

những slide này có một số tính năng bị thiếu ở nơi khác.

Mặc dù "những gì đã bị xóa" không được hỏi, đây là một danh sách ngắn gồm một vài điều ((chủ yếu là?) Không dùng nữa) đã bị xóa trong C ++ 17 từ C ++:

Đã xóa:

• register, từ khóa dành riêng cho sử dụng trong tương lai
• bool b; ++b;
• ba lô
  • nếu bạn vẫn cần chúng, giờ đây chúng là một phần của mã hóa tệp nguồn của bạn, không phải là một phần của ngôn ngữ
• bí danh ios
• auto_ptr, <functional>đồ cũ ,random_shuffle
• người phân bổ trong std::function

Có sự điều chỉnh lại. Tôi không chắc chắn nếu những điều này có bất kỳ tác động nào đến mã, hoặc nếu chúng chỉ là phần dọn dẹp trong tiêu chuẩn:

Giấy tờ chưa được tích hợp vào ở trên:

• P0505R0 ( chexo chrono)

• P0418R2 (tinh chỉnh nguyên tử)

• P0512R0 (điều chỉnh khấu trừ đối số mẫu)

• P0490R0 (chỉnh sửa ràng buộc có cấu trúc)

• P0513R0 (thay đổi thành std::hash)

• P0502R0 (ngoại lệ song song)

• P0509R1 (cập nhật các hạn chế về xử lý ngoại lệ)

• P0012R1 (làm cho các thông số kỹ thuật ngoại lệ là một phần của hệ thống loại)

• P0510R0 (hạn chế về các biến thể)

• P0504R0 (thẻ cho tùy chọn / biến thể / bất kỳ)

• P0497R0 (chỉnh ptr chia sẻ)

• P0508R0 (xử lý nút liên kết có cấu trúc)

• P0521R0 (số lượng sử dụng con trỏ dùng chung và các thay đổi duy nhất?)

Thông số kỹ thuật thay đổi:

• thông số ngoại lệ và biểu thức ném

Tham khảo thêm:

• giấy tờ được nhóm theo năm; không phải tất cả được chấp nhận

• https://isocpp.org/files/ con / p0636r0.html

  • Nên được cập nhật thành "Sửa đổi các tính năng hiện có" tại đây.