C ++ 17 jest teraz kompletny, więc jest mało prawdopodobne, aby wystąpiły duże zmiany. Przedstawiono setki propozycji dla C ++ 17.

Które z tych funkcji zostały dodane do C ++ w C ++ 17?

W przypadku korzystania z kompilatora C ++ obsługującego „C ++ 1z”, które z tych funkcji będą dostępne po aktualizacji kompilatora do C ++ 17?

Funkcje językowe:

Szablony i kod ogólny

• Odliczenie argumentu szablonu dla szablonów klas

  • Podobnie jak funkcje dedukują argumenty szablonu, teraz konstruktory mogą wywnioskować argumenty szablonu klasy
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • Reprezentuje wartość dowolnego typu (argument typu szablon inny niż typ).

• Poprawki argumentów nietypowych szablonów

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

• (Składanie + ... + wyrażenia) i Wersje

• auto x{8}; jest int

• modernizacja za usingpomocą ...i list

lambda

• constexpr lambdas

  • Jagnięta są domyślnie constexpr, jeśli się kwalifikują

• Schwytanie *thisw lambdas

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

Atrybuty

• [[fallthrough]], [[nodiscard]], [[maybe_unused]]Atrybuty

• [[attributes]]na namespaces ienum { erator[[s]] }

• usingw atrybutach, aby uniknąć konieczności powtarzania przestrzeni nazw atrybutów.

• Od kompilatorów wymaga się teraz ignorowania niestandardowych atrybutów, których nie rozpoznają .

  • Sformułowanie C ++ 14 pozwoliło kompilatorom na odrzucenie nieznanych atrybutów o zasięgu.

Czyszczenie składni

• Zmienne wbudowane

  • Podobnie jak funkcje wbudowane
  • Kompilator wybiera miejsce wystąpienia instancji
  • Przestarzała deklaracja statyczna constexpr , teraz domyślnie wbudowana.

• namespace A::B

• Prosty static_assert(expression);bez ciągu

• nie, throwchyba żethrow() i throw()jest noexcept(true).

Czystsza kontrola powrotu i przepływu

• Wiązania strukturalne

  • Zasadniczo, pierwszej klasy std::tiezauto
  • Przykład:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Tworzy zmienne iti insertedz przewidywaną typu z pairtym, że map::insertzyski.
  • Działa z krotkami / polubieniami std::arrayi względnie płaskimi strukturami
  • Właściwie nazwane strukturyzowane Wiązania w standardzie

• if (init; condition) i switch (init; condition)

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Rozciąga się if(decl)na przypadki, w których declnie można rozsądnie zamienić na bool.

• Uogólnianie oparte na zakresie dla pętli

  • Wydaje się, że jest to głównie wsparcie dla wartowników lub końcowych iteratorów, które nie są tego samego typu co iteratory początkowe, co pomaga w pętlach zakończonych zerem i temu podobnych.

• jeśli constexpr

  • Bardzo pożądana funkcja upraszczająca prawie ogólny kod.

Misc

• Szesnastkowe literały zmiennoprzecinkowe

• Dynamiczny przydział pamięci dla nadmiernie wyrównanych danych

• Gwarantowana kopia kopii

  • Wreszcie!
  • Nie we wszystkich przypadkach, ale odróżnia składnię, w której „tworzysz coś”, co nazywało się elision, od „prawdziwej elision”.

• Naprawiono kolejność oceny dla (niektórych) wyrażeń z pewnymi modyfikacjami

  • Nie wliczając argumentów funkcji, ale przeplatanie oceny argumentów funkcji jest teraz zakazane
  • Sprawia, że ​​większość zepsutego kodu działa głównie i .thendziała w przyszłości.

• Bezpośrednia inicjalizacja list wyliczeń

• Gwarancje postępu (FPG) (również FPG dla algorytmów równoległych )

  • Myślę, że to mówi „wdrożenie nie może zatrzymać wątków na zawsze”?

• u8'U', u8'T', u8'F', u8'8' literały znakowe (łańcuch już istniał)

• „noexcept” w systemie typów

• __has_include

  • Sprawdź, czy dołączony plik nagłówkowy byłby błędem
  • sprawia, że ​​migracja z wersji eksperymentalnej do standardowej jest prawie bezproblemowa

• Tablice poprawek konwersji wskaźnika

• odziedziczone konstruktory poprawki w niektórych przypadkach narożnych ( przykłady zmian zachowania znajdują się w P0136R0 )

• agregacja inicjalizacji z dziedziczeniem .

• std::launder, pisanie na klawiaturze itp

Dodatki do biblioteki:

Typy danych

• std::variant<Ts...>

  • Prawie zawsze niepuste ostatnio sprawdziłem?
  • Oznaczony typ unii
  • {niesamowite | przydatne}

• std::optional

  • Może trzyma coś
  • Śmiesznie przydatne

• std::any

  • Przechowuje jedną dowolną zawartość (którą można skopiować)

• std::string_view

  • std::string jak odniesienie do tablicy znaków lub podłańcuch
  • Nigdy więcej nie bierz string const&. Może także sprawić, że parsowanie będzie bajillion razy szybsze.
  • "hello world"sv
  • constexpr char_traits

• std::byte więcej niż mogliby żuć.

  • Ani liczba całkowita, ani znak, tylko dane

Wywoływanie rzeczy

• std::invoke
  • Wywołaj dowolne wywołanie (wskaźnik funkcji, funkcja, wskaźnik elementu) za pomocą jednej składni. Ze standardowej koncepcji INVOKE.
• std::apply
  • Pobiera krotkę funkcyjną i krotkę i rozpakowuje krotkę do wywołania.

• std::make_from_tuple, std::applyzastosowane do konstrukcji obiektu

• is_invocable, is_invocable_r,invoke_result

  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0077r2.html
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0604r0.html
  • Przestarzałe result_of
  • is_invocable<Foo(Args...), R>jest „można wywołać Fooz Args...i dostać coś zgodnego z R”, gdzie R=voidjest domyślna.
  • invoke_result<Foo, Args...>jest std::result_of_t<Foo(Args...)>jednak pozornie mniej zagmatwany?

System plików TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] i [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreams można otworzyć za pomocą paths, a także za pomocą const path::value_type*ciągów.

Nowe algorytmy

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• Dodano dla celów wątków, ujawnione, nawet jeśli nie używasz ich wątków

Gwintowanie

• std::shared_mutex

  • Untimed, który może być bardziej wydajny, jeśli go nie potrzebujesz.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Oszczędza trochę std::lockbólu podczas blokowania więcej niż jednego muteksu na raz.

• Równoległość TS v1

  • Dokument powiązany z 2014 r. Może być nieaktualny
  • Równoległe wersje stdalgorytmów i powiązanych maszyn

• sprzęt _ * _ rozmiar_zakłóceń

(części) Podstawy biblioteczne TS v1 nieuwzględnione powyżej lub poniżej

• [func.searchers] i [alg.search]
  • Algorytm i techniki wyszukiwania

• [pmr]

  • Alokator polimorficzny, jak std::functiondla alokatorów
  • I niektóre standardowe zasoby pamięci do tego .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample, próbkowanie z zakresu?

Ulepszenia kontenera

• try_emplace i insert_or_assign

  • daje lepsze gwarancje w niektórych przypadkach, w których fałszywy ruch / kopiowanie byłby zły

• Łączenie na map<>, unordered_map<>, set<>, iunordered_set<>

  • Tanio przenoś węzły między kontenerami.
  • Tanio łącz całe pojemniki.

• non-const .data()dla łańcucha.

• nieczłonkowski std::size, std::empty,std::data

  • jak std::begin/end

• Minimalne niepełne wsparcie typu w kontenerach

• Ciągła „koncepcja” iteratora

• constexpr iteratory

• emplaceRodzina funkcji teraz zwraca odwołanie do utworzonego obiektu .

Inteligentne zmiany wskaźnika

• unique_ptr<T[]>poprawki i inne unique_ptrpoprawki.
• weak_from_this i niektóre ustalone do udostępnienia z tego

Inne stdulepszenia typu danych:

• {}budowa std::tuplei inne ulepszenia
• TrivallyCopyable reference_wrapper , może zwiększyć wydajność

Misc

• Biblioteka C ++ 17 oparta jest na C11 zamiast C99

• Zarezerwowane std[0-9]+dla przyszłych bibliotek standardowych

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

  • kod narzędziowy już w większości stdujawnionych implementacji
• Specjalne funkcje matematyczne
  • naukowcy mogą je polubić
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) w przybliżeniu
• gcd i lcm
• std::uncaught_exceptions
  • Wymagany, jeśli chcesz rzucać tylko wtedy, gdy jest bezpieczny przed niszczycielami
• std::as_const
• std::bool_constant
• Cała gama _vzmiennych szablonu
• std::void_t<T>
  • Zaskakująco przydatne podczas pisania szablonów
• std::owner_less<void>
  • jak std::less<void>, ale dla inteligentnych wskaźników do sortowania według zawartości
• std::chrono Polskie
• std::conjunction, std::disjunction,std::negation Narażonych
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• Zasady noexcept wewnątrz std
• std :: is_contiguous_layout , przydatne do wydajnego mieszania
• std :: to_chars / std :: from_chars , wysoka wydajność, lokalna konwersja liczb agnostycznych; wreszcie sposób na serializację / deserializację do formatów czytelnych dla ludzi (JSON i spółka)
• std :: default_order , pośrednictwo ponad std::less. (usuwa ABI niektórych kompilatorów z powodu zmiany nazwy, usunięte).

Cechy

• zamiana
• is_aggregate
• has_unique_object_representations

Przestarzałe

• Niektóre biblioteki C ,
• <codecvt>
• memory_order_consume
• result_of, zastąpiony przez invoke_result
• shared_ptr::unique, nie jest bardzo wątkowo bezpieczny

Isocpp.org ma niezależną listę zmian od C ++ 14; został częściowo splądrowany.

Naturalnie praca TS trwa równolegle, więc niektóre TS nie są jeszcze wystarczająco dojrzałe i będą musiały poczekać na następną iterację. Celem następnej iteracji jest C ++ 20 zgodnie z wcześniejszym planem, a nie C ++ 19, jak sugerują niektóre pogłoski. C ++ 1O zostało uniknięte.

Początkowa lista zaczerpnięta z tego posta reddit i tego posta reddit , z linkami dodanymi przez googling lub z powyższej strony isocpp.org.

Dodatkowe wpisy splądrowane z listy testów funkcji SD-6 .

Lista funkcji dzyń za i biblioteka lista funkcji są obok zostać splądrowane. Nie wydaje się to wiarygodne, ponieważ jest to C ++ 1z, a nie C ++ 17.

w tych slajdach brakuje niektórych funkcji.

Chociaż nie zadawano pytania „co zostało usunięte”, oto krótka lista kilku rzeczy ((głównie?) Nieaktualnych), które zostały usunięte w C ++ 17 z C ++:

Oddalony:

• register, słowo kluczowe zastrzeżone do wykorzystania w przyszłości
• bool b; ++b;
• trygrysy
  • jeśli nadal ich potrzebujesz, są one częścią kodowania plików źródłowych, a nie częścią języka
• Aliasy iOS
• auto_ptr, stare <functional>rzeczy,random_shuffle
• podzielniki w std::function

Były przeformułowania. Nie jestem pewien, czy mają one jakikolwiek wpływ na kod, czy są to po prostu porządki w standardzie:

Dokumenty jeszcze nie zintegrowane z powyższymi:

• P0505R0 (constexpr chrono)

• P0418R2 (poprawki atomowe)

• P0512R0 (poprawki w odejmowaniu argumentów szablonu)

• P0490R0 ( poprawki strukturalne w wiązaniu)

• P0513R0 (zmiany na std::hash)

• P0502R0 (wyjątki równoległe)

• P0509R1 (aktualizacja ograniczeń dotyczących obsługi wyjątków)

• P0012R1 (uczyń specyfikacje wyjątków częścią systemu typów)

• P0510R0 (ograniczenia dotyczące wariantów)

• P0504R0 (tagi dla opcji / wariantu / dowolnego)

• P0497R0 (wspólne poprawki ptr)

• P0508R0 (uchwyty węzłów powiązań strukturalnych)

• P0521R0 (liczba używanych wskaźników wspólnych i unikalne zmiany?)

Zmiany specyfikacji:

• specyfikacje wyjątków i wyrażenia wyrzucające

Dalsze informacje:

• dokumenty pogrupowane według roku; nie wszystkie są akceptowane

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

  • Należy zaktualizować do „Modyfikacji istniejących funkcji” tutaj.