C ++ 17 ahora está completo, por lo que es poco probable que experimente grandes cambios. Se presentaron cientos de propuestas para C ++ 17.

¿Cuáles de esas características se agregaron a C ++ en C ++ 17?

Cuando se utiliza un compilador de C ++ que admite "C ++ 1z", ¿cuáles de esas características estarán disponibles cuando el compilador se actualice a C ++ 17?

Características del lenguaje:

Plantillas y Código Genérico

• Deducción de argumentos de plantilla para plantillas de clase

  • Como las funciones deducen argumentos de plantilla, ahora los constructores pueden deducir los argumentos de plantilla de la clase
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • Representa un valor de cualquier tipo (argumento de plantilla sin tipo).

• Arreglos de argumentos de plantilla no tipo

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

• (Plegable + ... + expresiones) y Revisiones

• auto x{8}; es un int

• modernizando usingcon ...y listas

Lambda

• constexpr lambdas

  • Las lambdas están implícitamente constexpr si califican

• Capturando *thisen lambdas

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

Atributos

• [[fallthrough]], [[nodiscard]], [[maybe_unused]]Atributos

• [[attributes]]en namespacesyenum { erator[[s]] }

• usingen atributos para evitar tener que repetir un espacio de nombres de atributo.

• Los compiladores ahora deben ignorar los atributos no estándar que no reconocen .

  • La redacción de C ++ 14 permitió a los compiladores rechazar atributos de ámbito desconocidos.

Limpieza de sintaxis

• Variables en línea

  • Como funciones en línea
  • El compilador elige dónde se instancia la instancia
  • Desaprobar la redeclaración constexpr estática , ahora implícitamente en línea.

• namespace A::B

• Simple static_assert(expression);sin cuerda

• hay throwmenosthrow() , y throw()es noexcept(true).

Limpiador de retorno múltiple y control de flujo

• Enlaces estructurados

  • Básicamente, de primera clase std::tieconauto
  • Ejemplo:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Crea variables ity insertedcon tipo deducido a partir del pairque map::insertdevuelve.
  • Funciona con tuple / pair-likes & std::arraysy estructuras relativamente planas
  • Enlaces estructurados realmente nombrados en estándar

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

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Extiende los if(decl)casos a los que declno se puede convertir de forma sensata.

• Generalización basada en rango para bucles

  • Parece ser principalmente compatible con centinelas o iteradores finales que no son del mismo tipo que los iteradores iniciales, lo que ayuda con los bucles terminados en nulo y similares.

• si constexpr

  • Característica muy solicitada para simplificar el código casi genérico.

Misceláneos

• Literales de coma flotante hexadecimal

• Asignación de memoria dinámica para datos sobrealineados

• Copia garantizada de elisión

  • ¡Finalmente!
  • No en todos los casos, pero distingue la sintaxis en la que "solo está creando algo" que se llamó elisión, de "elisión genuina".

• Se corrigió el orden de evaluación para (algunas) expresiones con algunas modificaciones

  • Sin incluir argumentos de función, pero la intercalación de evaluación de argumentos de función ahora está prohibida
  • Hace que un montón de código roto funcione principalmente, y hace que .thenel trabajo futuro.

• Inicialización directa de listas de enumeraciones

• Garantías de avance (FPG) (también, FPG para algoritmos paralelos )

  • ¿Creo que esto dice "la implementación puede no detener los hilos para siempre"?

• u8'U', u8'T', u8'F', u8'8' literales de caracteres (la cadena ya existía)

• "noexcept" en el sistema de tipos

• __has_include

  • Probar si un archivo de encabezado incluir sería un error
  • hace que la migración de experimental a estándar sea casi perfecta

• Arreglos de arreglos de conversión de punteros

• Los constructores heredados corrigen algunos casos de esquina (ver P0136R0 para ejemplos de cambios de comportamiento)

• inicialización agregada con herencia .

• std::launder, escriba punking, etc.

Adiciones a la biblioteca:

Tipos de datos

• std::variant<Ts...>

  • Casi siempre no vacía la última vez que revisé?
  • Etiquetado tipo de unión
  • {impresionante | útil}

• std::optional

  • Tal vez tiene uno de algo
  • Ridículamente útil

• std::any

  • Tiene uno de cualquier cosa (que se puede copiar)

• std::string_view

  • std::string como referencia a matriz de caracteres o subcadena
  • Nunca tomes una string const&vez más. También puede hacer que analizar un billón de veces más rápido.
  • "hello world"sv
  • constexpr char_traits

• std::byte fuera más de lo que podían masticar.

  • Ni un entero ni un carácter, solo datos

Invocar cosas

• std::invoke
  • Llame a cualquier invocable (puntero de función, función, puntero de miembro) con una sintaxis. Del concepto INVOKE estándar.
• std::apply
  • Toma una función y una tupla, y desempaqueta la tupla en la llamada.

• std::make_from_tuple, std::applyaplicado a la construcción de objetos

• 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
  • Desaprobado result_of
  • is_invocable<Foo(Args...), R>es "se puede llamar Foocon Args...y obtener algo compatible con R", donde R=voidestá predeterminado.
  • invoke_result<Foo, Args...>es std::result_of_t<Foo(Args...)>pero aparentemente menos confuso?

Sistema de archivos TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] y [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreams se puede abrir con paths, así como con const path::value_type*cadenas.

Nuevos algoritmos

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• Agregado para propósitos de enhebrado, expuesto incluso si no los está utilizando enhebrado

Enhebrar

• std::shared_mutex

  • Sin tiempo, que puede ser más eficiente si no lo necesita.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Ahorra algo de std::lockdolor al bloquear más de un mutex a la vez.

• Paralelismo TS v1

  • El documento vinculado de 2014, puede estar desactualizado
  • Versiones paralelas de stdalgoritmos y maquinaria relacionada.

• hardware _ * _ tamaño de interferencia

(partes de) Fundamentos de la biblioteca TS v1 no cubiertos arriba o abajo

• [func.searchers] y [alg.search]
  • Un algoritmo de búsqueda y técnicas

• [pmr]

  • Asignador polimórfico, como std::functionpara los asignadores
  • Y algunos recursos de memoria estándar para acompañarlo .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample, muestreo de un rango?

Mejoras de contenedores

• try_emplace y insert_or_assign

  • da mejores garantías en algunos casos donde el movimiento / copia espurios sería malo

• Empalme de map<>, unordered_map<>, set<>, yunordered_set<>

  • Mueva nodos entre contenedores a bajo costo.
  • Fusionar contenedores enteros a bajo precio.

• no constante .data()para cadena.

• no miembro std::size, std::empty,std::data

  • como std::begin/end

• Soporte mínimo de tipo incompleto en contenedores

• "Concepto" iterador contiguo

• constexpr iteradores

• La emplacefamilia de funciones ahora devuelve una referencia al objeto creado .

Cambios de puntero inteligente

• unique_ptr<T[]>correcciones y otros unique_ptrajustes.
• weak_from_this y algunos arreglados para compartir de esto

Otras stdmejoras de tipo de datos:

• {}construcción std::tupley otras mejoras
• TriviallyCopyable reference_wrapper , puede aumentar el rendimiento

Misceláneos

• La biblioteca C ++ 17 se basa en C11 en lugar de C99

• Reservado std[0-9]+para futuras bibliotecas estándar

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

  • código de utilidad ya en la mayoría de las stdimplementaciones expuestas
• Funciones especiales de matemática
  • a los científicos les pueden gustar
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) aproximadamente
• gcd y lcm
• std::uncaught_exceptions
  • Requerido si solo desea lanzar si está a salvo de los destructores
• std::as_const
• std::bool_constant
• Un montón de _vvariables de plantilla
• std::void_t<T>
  • Sorprendentemente útil al escribir plantillas
• std::owner_less<void>
  • me gusta std::less<void>, pero para que los punteros inteligentes los ordenen en función de los contenidos
• std::chrono polaco
• std::conjunction, std::disjunction,std::negation Expuesta
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• Reglas para noexcept dentro de std
• std :: is_contiguous_layout , útil para el hash eficiente
• std :: to_chars / std :: from_chars , alto rendimiento, conversión de números agnósticos locales; finalmente una forma de serializar / deserializar a formatos legibles por humanos (JSON & co)
• std :: default_order , indirection over std::less. ( rompe el ABI de algunos compiladores debido a la eliminación del nombre, eliminado).

Rasgos

• intercambiar
• is_aggregate
• has_unique_object_representations

Obsoleto

• Algunas bibliotecas C ,
• <codecvt>
• memory_order_consume
• result_of, reemplazadas con invoke_result
• shared_ptr::unique, no es muy seguro

Isocpp.org tiene una lista independiente de cambios desde C ++ 14; ha sido parcialmente saqueado.

Naturalmente, el trabajo de TS continúa en paralelo, por lo que hay algunos TS que aún no están maduros y tendrán que esperar la próxima iteración. El objetivo para la próxima iteración es C ++ 20 como se planificó previamente, no C ++ 19 como algunos rumores implican. Se ha evitado C ++ 1O.

Lista inicial tomada de esta publicación de reddit y esta publicación de reddit , con enlaces agregados a través de google o desde la página isocpp.org anterior.

Entradas adicionales saqueadas de la lista de pruebas de características SD-6 .

lista de características de sonido metálico y la lista de funciones de la biblioteca están al lado de ser saqueado. Esto no parece ser confiable, ya que es C ++ 1z, no C ++ 17.

Estas diapositivas tenían algunas características que faltaban en otros lugares.

Si bien no se preguntó "qué se eliminó", aquí hay una breve lista de algunas cosas (¿en su mayoría? Obsoletas anteriormente) que se eliminan en C ++ 17 de C ++:

Remoto:

• register, palabra clave reservada para uso futuro
• bool b; ++b;
• trigrafos
  • si aún los necesita, ahora son parte de la codificación de su archivo fuente, no parte del idioma
• alias ios
• auto_ptr, <functional>cosas viejas ,random_shuffle
• asignadores en std::function

Hubo reformulaciones. No estoy seguro si estos tienen algún impacto en el código, o si son solo limpiezas en el estándar:

Documentos aún no integrados en lo anterior:

• P0505R0 (constexpr chrono)

• P0418R2 (ajustes atómicos)

• P0512R0 (ajustes de deducción de argumentos de plantilla)

• P0490R0 (ajustes de enlace estructurado)

• P0513R0 (cambia a std::hash)

• P0502R0 (excepciones paralelas)

• P0509R1 (actualización de restricciones en el manejo de excepciones)

• P0012R1 (hacer que las especificaciones de excepción sean parte del sistema de tipos)

• P0510R0 (restricciones en variantes)

• P0504R0 (etiquetas para opcional / variante / cualquiera)

• P0497R0 (ajustes de ptr compartidos)

• P0508R0 (manejadores de nodo de enlaces estructurados)

• P0521R0 (¿cuenta de uso de puntero compartido y cambios únicos?)

Cambios de especificaciones:

• especificaciones de excepción y expresiones de lanzamiento

Referencia adicional:

• documentos agrupados por año; no todos son aceptados

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

  • Debe actualizarse a "Modificaciones a las funciones existentes" aquí.