C ++ 17 è ora completo di funzionalità, quindi è improbabile che subisca grandi cambiamenti. Centinaia di proposte sono state avanzate per C ++ 17.

Quali di queste funzionalità sono state aggiunte a C ++ in C ++ 17?

Quando si utilizza un compilatore C ++ che supporta "C ++ 1z", quale di queste funzionalità sarà disponibile quando il compilatore si aggiorna a C ++ 17?

Caratteristiche del linguaggio:

Modelli e codice generico

• Deduzione argomento modello per modelli di classe

  • Come il modo in cui le funzioni deducono gli argomenti del modello, ora i costruttori possono dedurre gli argomenti del modello della classe
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • Rappresenta un valore di qualsiasi tipo (argomento modello non di tipo).

• Correzioni di argomenti del modello non di tipo

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

• (Piegatura + ... + espressioni) e Revisioni

• auto x{8}; è un int

• modernizzando usingcon ...e liste

Lambda

• constexpr lambdas

  • Le lambda sono implicitamente constexpr se si qualificano

• Catturare *thisin lambdas

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

attributi

• [[fallthrough]], [[nodiscard]], [[maybe_unused]]Attributi

• [[attributes]]su se namespaceeenum { erator[[s]] }

• usingnegli attributi per evitare di dover ripetere uno spazio dei nomi degli attributi.

• I compilatori devono ora ignorare gli attributi non standard che non riconoscono .

  • La formulazione C ++ 14 consentiva ai compilatori di rifiutare attributi con ambito sconosciuto.

Pulizia della sintassi

• Variabili incorporate

  • Come le funzioni in linea
  • Il compilatore seleziona la posizione dell'istanza
  • Deprecare la redeclaration di constexpr statica , ora implicitamente in linea.

• namespace A::B

• Semplice static_assert(expression);senza stringa

• non throwmeno chethrow() , ed throw()è noexcept(true).

Più pulito ritorno e controllo del flusso

• Attacchi strutturati

  • Fondamentalmente, di prima classe std::tieconauto
  • Esempio:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Crea variabili ite insertedcon tipo dedotto da pairquello map::insertrestituito.
  • Funziona con tuple / pair-like & se std::arraycon strutture relativamente piatte
  • Attacchi strutturati nominati in realtà in standard

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

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Estende i if(decl)casi in cui declnon è sensibilmente convertibile in bool.

• Generalizzazione basata su range per loop

  • Sembra essere principalmente il supporto per le sentinelle o per gli iteratori finali che non sono dello stesso tipo degli iteratori iniziali, il che aiuta con loop a terminazione nulla e simili.

• se constexpr

  • Funzione molto richiesta per semplificare il codice quasi generico.

Varie

• Letterali esadecimali in virgola mobile

• Allocazione dinamica della memoria per dati troppo allineati

• Elisione della copia garantita

  • Finalmente!
  • Non in tutti i casi, ma distingue la sintassi in cui "stai semplicemente creando qualcosa" che si chiamava elisione, da "elisione genuina".

• Risolto l'ordine di valutazione per (alcune) espressioni con alcune modifiche

  • Non includendo gli argomenti di funzione, ma l'interleaving di valutazione degli argomenti di funzione ora è vietato
  • Fa funzionare principalmente un sacco di codice non funzionante e funziona .thenin futuro.

• Inizializzazione diretta di elenchi di enumerazioni

• Forward Progress Guarantee (FPG) (anche FPG per algoritmi paralleli )

  • Penso che questo stia dicendo "l'implementazione potrebbe non bloccare i thread per sempre"?

• u8'U', u8'T', u8'F', u8'8' caratteri letterali (stringa già esistente)

• "noexcept" nel sistema dei tipi

• __has_include

  • Verifica se un file di intestazione include sarebbe un errore
  • rende la migrazione da sperimentale a standard quasi perfetta

• Matrici di correzioni per la conversione del puntatore

• correzioni dei costruttori ereditate in alcuni casi angolari (vedere P0136R0 per esempi di cambiamenti di comportamento)

• inizializzazione aggregata con ereditarietà .

• std::launder, tipo di punzonatura ecc

Aggiunte alla biblioteca:

Tipi di dati

• std::variant<Ts...>

  • Quasi sempre non vuoto per ultimo ho controllato?
  • Tipo di unione con tag
  • {Impressionante | utile}

• std::optional

  • Forse contiene uno di qualcosa
  • Ridicolmente utile

• std::any

  • Contiene uno di tutto (che è copiabile)

• std::string_view

  • std::string come riferimento a array di caratteri o sottostringa
  • Non prenderlo mai string const&più. Inoltre può velocizzare l'analisi di un bajillion volte.
  • "hello world"sv
  • constexpr char_traits

• std::byte più di quanto potessero masticare.

  • Né un numero intero né un carattere, solo dati

Invoca roba

• std::invoke
  • Chiamare qualsiasi richiamo (puntatore a funzione, funzione, puntatore a membro) con una sintassi. Dal concetto INVOKE standard.
• std::apply
  • Accetta una funzione simile a una tupla e disimballa la tupla nella chiamata.

• std::make_from_tuple, std::applyapplicato alla costruzione di oggetti

• 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
  • depreca result_of
  • is_invocable<Foo(Args...), R>è "puoi chiamare Foocon Args...e ottenere qualcosa di compatibile con R", dove R=voidè l'impostazione predefinita.
  • invoke_result<Foo, Args...>è std::result_of_t<Foo(Args...)>apparentemente meno confuso?

File System TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] e [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreams può essere aperto con paths, nonché con const path::value_type*stringhe.

Nuovi algoritmi

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• Aggiunto a scopo di threading, esposto anche se non li stai usando thread

Threading

• std::shared_mutex

  • Untimed, che può essere più efficiente se non ne hai bisogno.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Salva un po 'di std::lockdolore quando si blocca più di un mutex alla volta.

• Parallelismo TS v1

  • Il documento collegato del 2014 potrebbe non essere aggiornato
  • Versioni parallele di stdalgoritmi e relativi macchinari

• hardware _ * _ interference_size

(parti di) Library Fundamentals TS v1 non trattati sopra o sotto

• [func.searchers] e [alg.search]
  • Un algoritmo di ricerca e tecniche

• [pmr]

  • Allocatore polimorfico, come std::functionper gli allocatori
  • E alcune risorse di memoria standard da abbinare .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample, campionamento da un intervallo?

Miglioramenti al contenitore

• try_emplace e insert_or_assign

  • offre migliori garanzie in alcuni casi in cui mosse / copie spurie sarebbero cattive

• Splicing per map<>, unordered_map<>, set<>, eunordered_set<>

  • Spostare i nodi tra i contenitori in modo economico.
  • Unisci interi contenitori a buon mercato.

• non const .data()per stringa.

• terzo std::size, std::empty,std::data

  • come std::begin/end

• Supporto di tipo incompleto minimo nei contenitori

• "Concetto" iteratore contiguo

• constexpr iteratori

• La emplacefamiglia di funzioni ora restituisce un riferimento all'oggetto creato .

Modifiche al puntatore intelligente

• unique_ptr<T[]>correzioni e altre unique_ptrmodifiche.
• weak_from_this e alcuni riparati per condividere da questo

Altri stdmiglioramenti del tipo di dati:

• {}costruzione std::tuplee altri miglioramenti
• TriviallyCopyable reference_wrapper , può essere un aumento delle prestazioni

Varie

• La libreria C ++ 17 si basa su C11 anziché su C99

• Riservato std[0-9]+alle future librerie standard

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

  • codice di utilità già presente nella maggior parte delle stdimplementazioni esposte
• Funzioni matematiche speciali
  • agli scienziati potrebbero piacere
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) approssimativamente
• gcd e lcm
• std::uncaught_exceptions
  • Richiesto se si desidera lanciare solo se al sicuro dai distruttori
• std::as_const
• std::bool_constant
• Un sacco di _vvariabili modello
• std::void_t<T>
  • Sorprendentemente utile quando si scrivono modelli
• std::owner_less<void>
  • come std::less<void>, ma per i puntatori intelligenti ordinare in base al contenuto
• std::chrono polacco
• std::conjunction, std::disjunction,std::negation Esposto
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• Regole per noexcept all'interno std
• std :: is_contiguous_layout , utile per un hashing efficiente
• std :: to_chars / std :: from_chars , conversione numero agnostico locale ad alte prestazioni; finalmente un modo per serializzare / deserializzare in formati leggibili dall'uomo (JSON & co)
• std :: default_order , indirection over std::less. ( interrompe l'ABI di alcuni compilatori a causa della modifica del nome, rimosso.)

Tratti

• scambiare
• is_aggregate
• has_unique_object_representations

Obsoleto

• Alcune librerie C ,
• <codecvt>
• memory_order_consume
• result_of, sostituito con invoke_result
• shared_ptr::unique, non è molto sicuro

Isocpp.org ha un elenco indipendente di modifiche dal C ++ 14; è stato parzialmente saccheggiato.

Naturalmente il lavoro di TS continua in parallelo, quindi ci sono alcuni TS che non sono abbastanza maturi che dovranno aspettare la prossima iterazione. L'obiettivo della prossima iterazione è C ++ 20 come precedentemente pianificato, non C ++ 19 come suggerito da alcune voci. C ++ 1O è stato evitato.

Elenco iniziale tratto da questo post reddit e da questo post reddit , con collegamenti aggiunti tramite google o dalla pagina isocpp.org sopra.

Voci aggiuntive rubate dall'elenco dei test di funzionalità SD-6 .

elenco delle caratteristiche di clang e Lista funzione di libreria sono accanto a essere saccheggiati. Questo non sembra essere affidabile, in quanto è C ++ 1z, non C ++ 17.

queste diapositive avevano alcune caratteristiche mancanti altrove.

Mentre "cosa è stato rimosso" non è stato chiesto, ecco un breve elenco di alcune cose ((principalmente?) Precedenti deprecate) che sono state rimosse in C ++ 17 da C ++:

Rimosso:

• register, parola chiave riservata per uso futuro
• bool b; ++b;
• trigraph
  • se ne hai ancora bisogno, ora fanno parte della codifica del tuo file sorgente, non della lingua
• alias ios
• auto_ptr, <functional>roba vecchia ,random_shuffle
• allocatori in std::function

Ci sono state riformulazioni. Non sono sicuro se questi abbiano alcun impatto sul codice o se siano solo ripuliture nello standard:

Documenti non ancora integrati in precedenza:

• P0505R0 (constexpr chrono)

• P0418R2 (modifiche atomiche)

• P0512R0 (modifiche alla deduzione dell'argomento modello)

• P0490R0 (modifiche di rilegatura strutturate)

• P0513R0 (cambia in std::hash)

• P0502R0 (eccezioni parallele)

• P0509R1 (aggiornamento restrizioni sulla gestione delle eccezioni)

• P0012R1 (rendere le specifiche di eccezione parte del sistema di tipi)

• P0510R0 (restrizioni sulle varianti)

• P0504R0 (tag per facoltativo / variante / qualsiasi)

• P0497R0 ( ottimizzazioni ptr condivise)

• P0508R0 (handle di nodo di binding strutturati)

• P0521R0 (conteggio utilizzo puntatore condiviso e modifiche univoche?)

Modifiche alle specifiche:

• specifiche di eccezione ed espressioni di lancio

Ulteriore riferimento:

• documenti raggruppati per anno; non tutti accettati

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

  • Dovrebbe essere aggiornato a "Modifiche alle funzionalità esistenti" qui.