C ++ 17 ist jetzt vollständig, sodass es unwahrscheinlich ist, dass große Änderungen vorgenommen werden. Hunderte von Vorschlägen wurden für C ++ 17 eingereicht.

Welche dieser Funktionen wurden in C ++ 17 zu C ++ hinzugefügt?

Welche dieser Funktionen stehen bei Verwendung eines C ++ - Compilers, der "C ++ 1z" unterstützt, zur Verfügung, wenn der Compiler auf C ++ 17 aktualisiert wird?

Sprachmerkmale:

Vorlagen und generischer Code

• Abzug von Vorlagenargumenten für Klassenvorlagen

  • So wie Funktionen Vorlagenargumente ableiten, können Konstruktoren jetzt die Vorlagenargumente der Klasse ableiten
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • Stellt einen Wert eines beliebigen Typs (Nicht-Typ-Vorlagenargument) dar.

• Korrekturen von Vorlagenargumenten, die nicht vom Typ sind

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

• (Falten + ... + Ausdrücke) und Überarbeitungen

• auto x{8}; ist ein int

• Modernisierung usingmit ...und Listen

Lambda

• constexpr Lambdas

  • Lambdas sind implizit constexpr, wenn sie sich qualifizieren

• Capturing *thisin lambda

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

Attribute

• [[fallthrough]], [[nodiscard]], [[maybe_unused]]Attribute

• [[attributes]]auf namespaces undenum { erator[[s]] }

• usingin Attributen , um zu vermeiden, dass ein Attribut-Namespace wiederholt werden muss.

• Compiler müssen jetzt nicht standardmäßige Attribute ignorieren, die sie nicht erkennen .

  • Der C ++ 14-Wortlaut ermöglichte es Compilern, unbekannte Attribute mit Gültigkeitsbereich abzulehnen.

Syntaxbereinigung

• Inline-Variablen

  • Wie Inline-Funktionen
  • Der Compiler wählt aus, wo die Instanz instanziiert wird
  • Veraltete statische constexpr-Deklaration , jetzt implizit inline.

• namespace A::B

• Einfach static_assert(expression);ohne Schnur

• nein es throwsei dennthrow() und throw()ist noexcept(true).

Sauberere Mehrweg- und Durchflussregelung

• Strukturierte Bindungen

  • Grundsätzlich erstklassig std::tiemitauto
  • Beispiel:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Erzeugt Variablen itund insertedmit abgeleiteten Typ aus den , pairdass map::insertRenditen.
  • Funktioniert mit Tupel / Paar-Likes std::arrayund relativ flachen Strukturen
  • Tatsächlich benannte strukturierte Bindungen im Standard

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

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Erweitert das if(decl)auf Fälle, in denen declConvertible-to-Bool nicht sinnvoll ist.

• Verallgemeinern des Bereichs für Schleifen

  • Scheint hauptsächlich Unterstützung für Sentinels oder Enditeratoren zu sein, die nicht vom gleichen Typ wie Startiteratoren sind, was bei nullterminierten Schleifen und dergleichen hilft.

• wenn constexpr

  • Vielgefragte Funktion zur Vereinfachung von fast generischem Code.

Sonstiges

• Hexadezimale Gleitkomma-Literale

• Dynamische Speicherzuordnung für überausgerichtete Daten

• Garantierte Kopierentscheidung

  • Schließlich!
  • Nicht in allen Fällen, unterscheidet aber die Syntax, bei der Sie "nur etwas erstellen", das als Elision bezeichnet wurde, von "echter Elision".

• Die Reihenfolge der Auswertung für (einige) Ausdrücke mit einigen Änderungen wurde korrigiert

  • Ohne Funktionsargumente, aber Interleaving der Funktionsargumentbewertung jetzt verboten
  • Lässt eine Menge fehlerhaften Codes meistens funktionieren und sorgt .thenfür zukünftige Arbeiten.

• Direkte Listeninitialisierung von Enums

• Forward Progress Guarantee (FPG) (auch FPGs für parallele Algorithmen )

  • Ich denke, dies sagt "die Implementierung kann Threads nicht für immer blockieren"?

• u8'U', u8'T', u8'F', u8'8' Zeichenliterale (Zeichenfolge bereits vorhanden)

• "noexcept" im Typsystem

• __has_include

  • Testen Sie, ob ein Header-Datei-Include ein Fehler ist
  • macht die Migration von experimentell zu std nahezu nahtlos

• Arrays von Zeigerkonvertierungskorrekturen

• Beerbte Konstruktoren korrigieren einige Eckfälle ( Beispiele für Verhaltensänderungen finden Sie in P0136R0 ).

• Aggregatinitialisierung mit Vererbung .

• std::launder, Typ Punning usw.

Bibliothekserweiterungen:

Datentypen

• std::variant<Ts...>

  • Fast immer nicht leer, als ich das letzte Mal nachgesehen habe?
  • Tagged Union Typ
  • {genial | nützlich}

• std::optional

  • Vielleicht hält einer von etwas
  • Lächerlich nützlich

• std::any

  • Hält eines von allem (das kopierbar ist)

• std::string_view

  • std::string wie Referenz-auf-Zeichen-Array oder Teilzeichenfolge
  • Nie wieder nehmen string const&. Kann auch das Parsen einer Bajillion Mal beschleunigen.
  • "hello world"sv
  • constexpr char_traits

• std::byte mehr weg, als sie kauen konnten.

  • Weder eine Ganzzahl noch ein Zeichen, nur Daten

Sachen aufrufen

• std::invoke
  • Rufen Sie einen beliebigen aufrufbaren (Funktionszeiger, Funktion, Elementzeiger) mit einer Syntax auf. Aus dem Standard-INVOKE-Konzept.
• std::apply
  • Nimmt eine Funktion und ein Tupel und packt das Tupel in den Aufruf aus.

• std::make_from_tuple, std::applyangewendet auf die Objektkonstruktion

• 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
  • Veraltet result_of
  • is_invocable<Foo(Args...), R>wird „können Sie rufen Foomit Args...und etwas kompatibel R“, wo R=voidist die Standardeinstellung.
  • invoke_result<Foo, Args...>ist std::result_of_t<Foo(Args...)>aber anscheinend weniger verwirrend?

Dateisystem TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] und [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreams kann sowohl mit paths als auch mit const path::value_type*Strings geöffnet werden .

Neue Algorithmen

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• Für Threading-Zwecke hinzugefügt, auch verfügbar, wenn Sie sie nicht mit Threading verwenden

Einfädeln

• std::shared_mutex

  • Ohne Zeitangabe, die effizienter sein kann, wenn Sie sie nicht benötigen.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Spart std::lockSchmerzen, wenn mehr als ein Mutex gleichzeitig gesperrt wird.

• Parallelität TS v1

  • Das verlinkte Papier von 2014 ist möglicherweise veraltet
  • Parallele Versionen von stdAlgorithmen und verwandten Maschinen

• Hardware _ * _ Interferenzgröße

(Teile von) Library Fundamentals TS v1 , die oben oder unten nicht behandelt werden

• [func.searchers] und [alg.search]
  • Ein Suchalgorithmus und Techniken

• [pmr]

  • Polymorpher Allokator, wie std::functionbei Allokatoren
  • Und einige Standardspeicherressourcen dazu .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample, Probenahme aus einem Bereich?

Containerverbesserungen

• try_emplace und insert_or_assign

  • bietet bessere Garantien in einigen Fällen, in denen eine falsche Bewegung / Kopie schlecht wäre

• Splicing für map<>, unordered_map<>, set<>, undunordered_set<>

  • Verschieben Sie Knoten kostengünstig zwischen Containern.
  • Ganze Container billig zusammenführen.

• Nicht-Konstante .data()für Zeichenfolge.

• Nichtmitglied std::size, std::empty,std::data

  • wie std::begin/end

• Minimale unvollständige Typunterstützung in Containern

• Aneinandergrenzender Iterator "Konzept"

• constexpr Iteratoren

• Die emplaceFunktionsfamilie gibt jetzt einen Verweis auf das erstellte Objekt zurück .

Smart Pointer ändert sich

• unique_ptr<T[]>Korrekturen und andere unique_ptrVerbesserungen.
• weak_from_this und einige behoben, um daraus zu teilen

Weitere stdVerbesserungen des Datentyps:

• {}Bau std::tupleund andere Verbesserungen
• TriviallyCopyable reference_wrapper kann die Leistung steigern

Sonstiges

• Die C ++ 17-Bibliothek basiert auf C11 anstelle von C99

• Reserviert std[0-9]+für zukünftige Standardbibliotheken

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

  • Dienstprogrammcode bereits in den meisten stdImplementierungen verfügbar gemacht
• Spezielle mathematische Funktionen
  • Wissenschaftler mögen sie vielleicht
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) grob
• gcd und lcm
• std::uncaught_exceptions
  • Erforderlich, wenn Sie nur werfen möchten, wenn Sie vor Zerstörern sicher sind
• std::as_const
• std::bool_constant
• Eine ganze Reihe von _vVorlagenvariablen
• std::void_t<T>
  • Überraschend nützlich beim Schreiben von Vorlagen
• std::owner_less<void>
  • wie std::less<void>, aber für intelligente Zeiger nach Inhalt zu sortieren
• std::chrono Polieren
• std::conjunction, std::disjunction,std::negation Ausgesetzt
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• Regeln für noexcept innerhalb std
• std :: is_contiguous_layout , nützlich für effizientes Hashing
• std :: to_chars / std :: from_chars , leistungsstarke, länderspezifische agnostische Zahlenkonvertierung ; Endlich eine Möglichkeit zur Serialisierung / Deserialisierung in lesbare Formate (JSON & Co)
• std :: default_order , Indirektion vorbei std::less. ( Bricht ABI einiger Compiler aufgrund von Namensverfälschung ab, entfernt.)

Züge

• Tauschen
• is_aggregate
• has_unique_object_representations

Veraltet

• Einige C-Bibliotheken ,
• <codecvt>
• memory_order_consume
• result_of, Ersetzt mit invoke_result
• shared_ptr::uniqueist es nicht sehr threadsicher

Isocpp.org hat eine unabhängige Liste von Änderungen seit C ++ 14; es wurde teilweise geplündert.

Natürlich wird die TS-Arbeit parallel fortgesetzt, daher gibt es einige nicht ganz reife TS, die auf die nächste Iteration warten müssen. Das Ziel für die nächste Iteration ist C ++ 20 wie zuvor geplant, nicht C ++ 19, wie einige Gerüchte andeuten. C ++ 1O wurde vermieden.

Erste Liste aus diesem reddit-Beitrag und diesem reddit-Beitrag mit Links, die über googeln oder von der obigen Seite isocpp.org hinzugefügt wurden.

Zusätzliche Einträge aus der SD-6- Funktionstestliste.

Klirren der Feature - Liste und Bibliothek Feature - Liste sind neben ausgeplündert werden. Dies scheint nicht zuverlässig zu sein, da es sich um C ++ 1z und nicht um C ++ 17 handelt.

Diese Folien hatten einige Funktionen, die an anderer Stelle fehlten.

Während "Was wurde entfernt" nicht gefragt wurde, finden Sie hier eine kurze Liste einiger Dinge ((meistens?), Die zuvor veraltet waren), die in C ++ 17 aus C ++ entfernt wurden:

Entfernt:

• register, Schlüsselwort für zukünftige Verwendung reserviert
• bool b; ++b;
• Trigraphen
  • Wenn Sie sie noch benötigen, sind sie jetzt Teil Ihrer Quelldatei-Codierung und nicht Teil der Sprache
• ios Aliase
• auto_ptr, altes <functional>Zeug,random_shuffle
• Allokatoren in std::function

Es gab Umformulierungen. Ich bin mir nicht sicher, ob diese Auswirkungen auf den Code haben oder ob es sich nur um Bereinigungen im Standard handelt:

Papiere, die oben noch nicht integriert sind:

• P0505R0 (constexpr chrono)

• P0418R2 (atomare Optimierungen)

• P0512R0 ( Optimierungen beim Abzug von Vorlagenargumenten)

• P0490R0 (strukturierte Bindungsänderungen)

• P0513R0 (Änderungen an std::hash)

• P0502R0 (parallele Ausnahmen)

• P0509R1 (Aktualisierung der Einschränkungen für die Ausnahmebehandlung)

• P0012R1 (Ausnahmespezifikationen als Teil des Typsystems festlegen )

• P0510R0 (Variantenbeschränkungen)

• P0504R0 (Tags für optional / Variante / beliebig)

• P0497R0 (gemeinsame ptr-Optimierungen)

• P0508R0 ( Knotenhandles für strukturierte Bindungen)

• P0521R0 ( Anzahl der gemeinsam genutzten Zeiger und eindeutige Änderungen?)

Spezifikationsänderungen:

• Ausnahmespezifikationen und Ausdrücke

Weitere Referenz:

• Papiere nach Jahr gruppiert; nicht alle akzeptiert

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

  • Sollte hier auf "Änderungen an vorhandenen Funktionen" aktualisiert werden.