Quais são os novos recursos do C ++ 17?

Características da linguagem:

Modelos e Código Genérico

• dedução de argumento de modelo para modelos de classe

  • Como as funções deduzem argumentos de modelo, agora os construtores podem deduzir os argumentos de modelo da classe
  • http://wg21.link/p0433r2http://wg21.link/p0620rhttp://wg21.link/p0512r

• template <auto>

  • Representa um valor de qualquer tipo (argumento de modelo sem tipo).

• Correções de argumentos de modelo não tipificados

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

• (Folding + ... + expressões) e Revisões

• auto x{8}; É UM intNAME _

• modernizando usingcom ... e listas

Lambda

• constexpr lambdas

  • Lambdas são implicitamente constantes se eles se qualificam

• Capturando *this em lambdas

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

Atributos

• [[fallthrough]] , [[nodiscard]] , [[maybe_unused]] atributos

• [[attributes]] EM namespaceNAME__S E enum { erator[[s]] }

• usingnos atributos para evitar ter que repetir um namespace de atributo.

• Compiladores agora são obrigados a ignorar atributos não padrão que eles não reconhecem .

  • A formulação do C++ 14 permitiu que os compiladores rejeitassem atributos com escopo desconhecido.

Limpeza de sintaxe

• variáveis ​​inline

  • Como funções inline
  • Compilador escolhe onde a instância é instanciada
  • Deprecate redeclaration constexpr static , agora implicitamente inline.

• namespace A::B

• Simples static_assert(expression); sem string

• não throwa menos throw() e throw() é noexcept(true).

Controle multi-retorno e fluxo mais limpo

• ligações estruturadas

  • Basicamente, std::tie de primeira classe com autoname__
  • Exemplo:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Cria variáveis ​​ite insertedcom tipo deduzido do pairque map::insert retorna.
  • Funciona com Tuple/par-gostos e std::arrays e estruturas relativamente planas
  • Na verdade, chamado ligações estruturadas no padrão

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

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Estende o if(decl) para casos em que declnão é convertible-to-bool sensatamente.

• Generalizando os loops baseados em intervalo

  • Parece ser principalmente suporte para sentinelas ou fim de iteradores que não são do mesmo tipo que os iteradores de início, o que ajuda com loops com terminação nula e similares.

• se constexpr

  • Muito recurso solicitado para simplificar código quase genérico.

Misc

• literais de ponto flutuante hexadecimal

• alocação de memória dinâmica para dados alinhados

• Elisão de cópia garantida

  • Finalmente!
  • Não em todos os casos, mas distingue a sintaxe onde você está "apenas criando algo" que foi chamado de elisão, de "elisão genuína".

• Ordem de avaliação fixa para (algumas) expressões com alguma modificações

  • Não incluindo argumentos de função, mas intercalação de avaliação de argumento de função agora banido
  • Faz um monte de código quebrado funcionar principalmente e faz .then no trabalho futuro.

• lista direta-inicialização de enums

• Garantias de progresso para frente (FPG) (também, FPGs para algoritmos paralelos )

  • Eu acho que isso está dizendo "a implementação não pode parar os threads para sempre"?

• u8'U', u8'T', u8'F', u8'8' literais de caracteres (a string já existia)

• "noexcept" no sistema de tipos

• __has_include

  • Teste se um arquivo de cabeçalho incluir seria um erro
  • faz a migração de experimental para std quase sem costura

• Arrays de correções de conversão de ponteiro

• construtores herdados correções para alguns casos de canto (veja P0136R para exemplos de mudanças de comportamento)

• inicialização agregada com herança .

• std::launder, tipo punting, etc

Adições de biblioteca:

Tipos de dados

• std::variant<Ts...>

  • Quase sempre não vazio pela última vez que verifiquei?
  • Tagged union type
  • {awesome | útil}

• std::optional

  • Talvez tenha algo de
  • Ridiculamente útil

• std::any

  • Detém um de qualquer coisa (que é copiável)

• std::string_view

  • std::string como matriz de referência para caractere ou substring
  • Nunca tome um string const& novamente. Também pode fazer a análise um bajillion vezes mais rápido.
  • "hello world"sv
  • constexpr char_traits

• std::byte fora mais do que eles poderiam mastigar.

  • Nem um inteiro nem um caractere, apenas dados

Invocar coisas

• std::invoke
  • Chame qualquer callable (ponteiro de função, função, ponteiro de membro) com uma sintaxe. Do conceito padrão INVOKE.
• std::apply
  • Toma um tipo de função e um Tuple e descompacta o Tuple na chamada.

• std::make_from_Tuple , std::apply aplicado à construção 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
  • Deprecia result_of
  • is_invocable<Foo(Args...), R> é "você pode chamar Foocom Args... e obter algo compatível com Rname__", onde R=void é o padrão.
  • invoke_result<Foo, Args...> é std::result_of_t<Foo(Args...)> mas aparentemente menos confuso?

Sistema de arquivos TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

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

• [fs.ops.funcs]

• fstreamname__s pode ser aberto com pathname__s, assim como com const path::value_type* strings.

Novos algoritmos

• for_each_n

• reducename__

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• Adicionado para fins de segmentação, expostos, mesmo se você não estiver usando os encadeados

Threading

• std::shared_mutex

  • De duração indeterminada, que pode ser mais eficiente se você não precisar.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Salva alguma dor std::lock ao bloquear mais de uma exclusão mútua de cada vez.

• Paralelismo TS v1

  • O documento vinculado de 2014 pode estar desatualizado
  • Versões paralelas de algoritmos stde máquinas relacionadas

• hardware _ * _ interference_size

(partes de) Library Fundamentals TS v1 não coberto acima ou abaixo

• [func.searchers] e [alg.search]
  • Um algoritmo de busca e técnicas

• [pmr]

  • Alocador polimórfico, como std::function para alocadores
  • E alguns recursos de memória padrão para acompanhar .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample , amostragem de um intervalo?

Melhorias no Contêiner

• try_emplace e insert_or_assign

  • dá melhores garantias em alguns casos em que o movimento/cópia espúria seria ruim

• Splicing para map<>, unordered_map<>, set<> e unordered_set<>

  • Mova os nós entre os contêineres de forma barata.
  • Mesclar contêineres inteiros de forma barata.

• non-const .data() para string.

• não membro std::size, std::empty, std::data

  • como std::begin/endname__

• suporte de tipo incompleto mínimo em contêineres

• Contínuo iterador "conceito"

• constexpriterators

• A família de funções emplaceagora retorna uma referência ao objeto criado .

Mudanças de ponteiro inteligentes

• unique_ptr<T[]> corrige e outros unique_ptr ajustes.
• weak_from_this e alguns corrigidos para compartilhado a partir deste

Outras melhorias do tipo de dados stdname__:

• {} construção de std::Tuple e outras melhorias
• TriviallyCopyable reference_wrapper , pode ser um aumento de desempenho

Misc

• C + + 17 biblioteca é baseada em C11 em vez de C99

• std[0-9]+ reservado para futuras bibliotecas padrão

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

  • código do utilitário já na maioria das implementações stdexpostas
• Funções matemáticas especiais
  • os cientistas podem gostar deles
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) aproximadamente
• gcdNAME__ E lcmNAME _
• std::uncaught_exceptions
  • Necessário se você quiser jogar somente se estiver protegido contra destruidores
• std::as_const
• std::bool_constant
• m monte de variáveis ​​de modelo _v
• std::void_t<T>
  • Surpreendentemente útil ao escrever modelos
• std::owner_less<void>
  • como std::less<void>, mas para os ponteiros inteligentes classificarem com base no conteúdo
• std::chrono polish
• std::conjunction, std::disjunction, std::negation exposto
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• Regras para noexcept dentro de stdname __
• std :: is_contiguous_layout , útil para hashing eficiente
• std :: to_chars/std :: from_chars , alto desempenho, conversão de número agnóstico de localidade; finalmente, uma maneira de serializar/desserializar para formatos legíveis por humanos (JSON & co)
• std :: default_order , indireto sobre std::less. ( quebra ABI de alguns compiladores devido ao nome mangling, removido.)

Traços

• troca
• is_aggregate
• has_unique_object_representations

Descontinuada

• Algumas bibliotecas C ,
• <codecvt>
• memory_order_consume
• result_of , substituído por invoke_result
• shared_ptr::unique , não é muito thread-safe

Isocpp.org tem tem uma lista independente de alterações desde o C++ 14; foi parcialmente saqueado.

Naturalmente, o trabalho em TS continua em paralelo, então existem alguns TS que não estão bem maduros e que terão que esperar pela próxima iteração. O alvo para a próxima iteração é o C++ 20 como planejado anteriormente, e não o C++ 19 como alguns rumores implicaram. C++ 1O foi evitado.

Lista inicial tirada de este post do reddit e este post do reddit , com links adicionados via googling ou da página isocpp.org acima.

Entradas adicionais saqueadas de SD-6 lista de testes de recursos.

lista de recursos do clang e lista de recursos da biblioteca estão próximos de serem pilhados. Isso não parece ser confiável, pois é C++ 1z, não C++ 17.

esses slides tinha alguns recursos faltando em outro lugar.

Enquanto "o que foi removido" não foi perguntado, aqui está uma pequena lista de algumas coisas ((principalmente?) Anteriores descontinuadas) que são removidas em C++ 17 do C++:

Removido:

• registerNAME _ , palavra-chave reservada para uso futuro
• bool b; ++b;
• trigramas
  • se você ainda precisar deles, eles agora fazem parte da codificação do arquivo de origem, não fazem parte do idioma
• aliases do ios
• auto_ptr, old <functional> stuff, random_shuffle
• alocadores em std::function

Houve reescritos. Não tenho certeza se eles têm algum impacto no código ou se são apenas limpezas no padrão:

Trabalhos ainda não integrados:

• P0505R (chromono constexpr)

• P0418R2 (ajustes atômicos)

• P0512R (ajustes de dedução de argumento de modelo)

• P0490R (ajustes de ligação estruturada)

• P0513R (muda para std::hash)

• P0502R (exceções paralelas)

• P0509R1 (atualizando restrições no tratamento de exceções)

• P0012R1 (faça especificações de exceção serem parte do sistema de tipos)

• P0510R (restrições às variantes)

• P0504R (tags para opcional/variante/qualquer)

• P0497R (tweaks ptr compartilhados)

• P0508R (identificadores de nó de ligações estruturadas)

• P0521R (contagem de uso de ponteiro compartilhado e alterações exclusivas?)

Alterações de especificação:

• exceções e expressões

Referência adicional:

• trabalhos agrupados por ano; nem todos aceitos

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

  • Deve ser atualizado para "Modificações para recursos existentes" aqui.