O C ++ 17 agora está completo, portanto é improvável que ocorram grandes alterações. Centenas de propostas foram apresentadas para o C ++ 17.

Quais desses recursos foram adicionados ao C ++ no C ++ 17?

Ao usar um compilador C ++ que suporte "C ++ 1z", quais desses recursos estarão disponíveis quando o compilador for atualizado para o C ++ 17?

Características da linguagem:

Modelos e código genérico

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

  • Assim como as funções deduzem argumentos de modelo, agora os construtores podem deduzir os argumentos de modelo da classe
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • Representa um valor de qualquer tipo (argumento de modelo que não seja do tipo).

• Correções de argumentos de modelo não-tipo

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

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

• auto x{8}; é um int

• modernizando usingcom ...e listas

Lambda

• constexpr lambdas

  • Lambdas são implicitamente consideradas se qualificam

• Capturando *thisem lambdas

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

Atributos

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

• [[attributes]]no namespaces eenum { erator[[s]] }

• usingem atributos para evitar a repetição de um espaço para nome de atributo.

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

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

Limpeza de sintaxe

• Variáveis ​​em linha

  • Como funções embutidas
  • O compilador escolhe onde a instância é instanciada
  • Preterir redeclaração estática de constexpr , agora implicitamente embutida.

• namespace A::B

• Simples static_assert(expression);sem corda

• nãothrowthrow() , a menos e throw()seja noexcept(true).

Controle multi-retorno e fluxo mais limpo

• Ligações estruturadas

  • Basicamente, de primeira classe std::tiecomauto
  • Exemplo:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Cria variáveis ite insertedcom tipo deduzido do pairque map::insertretorna.
  • Funciona com tuplas / curtidas e std::arraycombinações relativamente simples
  • Ligações estruturadas realmente nomeadas no padrão

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

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Estende os if(decl)casos em que declnão é sensivelmente conversível em bool.

• Generalizando baseado em intervalo para loops

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

• se constexpr

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

Diversos

• Literais de ponto flutuante hexadecimal

• Alocação dinâmica de memória para dados superalinhados

• Garantia de cópia garantida

  • Finalmente!
  • Nem sempre, mas distingue a sintaxe em que você está "apenas criando algo" que foi chamado elision, de "elision genuíno".

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

  • Não incluindo argumentos de função, mas intercalação de avaliação de argumento de função agora banida
  • Faz com que um monte de códigos quebrados funcione principalmente e faça .thentrabalhos futuros.

• Inicialização direta da lista de enumerações

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

  • Eu acho que isso está dizendo "a implementação pode não 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 incluído seria um erro
  • torna a migração do experimental para o padrão quase perfeita

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

• construtores herdados corrigem alguns casos de canto (consulte P0136R0 para exemplos de mudanças de comportamento)

• inicialização agregada com herança .

• std::launder, digite punição, etc

Adições à biblioteca:

Tipos de dados

• std::variant<Ts...>

  • Quase sempre não está vazio da última vez que verifiquei?
  • Tipo de união marcado
  • {awesome | útil}

• std::optional

  • Talvez tenha um de algo
  • Ridiculamente útil

• std::any

  • Contém um dos itens (que podem ser copiados)

• std::string_view

  • std::string como referência a matriz de caracteres ou substring
  • Nunca tome de string const&novo. Também pode tornar a análise um bajilhão de vezes mais rápida.
  • "hello world"sv
  • constexpr char_traits

• std::byte mais do que podiam mastigar.

  • Nem um número inteiro nem um caractere, apenas dados

Invocar coisas

• std::invoke
  • Ligue para qualquer número que possa ser chamado (ponteiro de função, função, ponteiro de membro) com uma sintaxe. Do conceito padrão do INVOKE.
• std::apply
  • Toma uma tupla semelhante a uma função e descompacta a tupla na chamada.

• std::make_from_tuple, std::applyaplicado à construção do objeto

• 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
  • Descontinua result_of
  • is_invocable<Foo(Args...), R>é "você pode chamar Foocom Args...e obter algo compatível com R", onde R=voidé padrão.
  • invoke_result<Foo, Args...>é std::result_of_t<Foo(Args...)>aparentemente 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]

• fstreams pode ser aberto com paths, assim como com const path::value_type*strings.

Novos algoritmos

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

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

Rosqueamento

• std::shared_mutex

  • Temporal, que pode ser mais eficiente se você não precisar.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Economiza um pouco de std::lockdor ao bloquear mais de um mutex por vez.

• Paralelismo TS v1

  • O artigo vinculado de 2014 pode estar desatualizado
  • Versões paralelas de stdalgoritmos e máquinas relacionadas

• hardware _ * _ interference_size

(partes de) Fundamentos da biblioteca TS v1 não cobertos acima ou abaixo

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

• [pmr]

  • Alocador polimórfico, como std::functionpara 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 em contêineres

• try_emplace e insert_or_assign

  • oferece melhores garantias em alguns casos em que movimentação / cópia espúria seria ruim

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

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

• não-const .data()para string.

• terceiro std::size, std::empty,std::data

  • curtir std::begin/end

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

• Iterador contíguo "conceito"

• constexpr iteradores

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

Alterações inteligentes do ponteiro

• unique_ptr<T[]>correções e outros unique_ptrajustes.
• weak_from_this e alguns corrigidos para compartilhados a partir deste

Outras stdmelhorias no tipo de dados:

• {}construção std::tuplee outras melhorias
• TriviallyCopyable reference_wrapper , pode aumentar o desempenho

Diversos

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

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

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

  • código utilitário já na maioria das stdimplementações expostas
• 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
• gcd e lcm
• std::uncaught_exceptions
  • Necessário se você quiser jogar apenas se estiver protegido contra destruidores
• std::as_const
• std::bool_constant
• Um monte de _vvariáveis de modelo
• std::void_t<T>
  • Surpreendentemente útil ao escrever modelos
• std::owner_less<void>
  • como std::less<void>, mas para que ponteiros inteligentes classifiquem com base no conteúdo
• std::chrono polonês
• std::conjunction, std::disjunction,std::negation Exposta
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• Regras para não exceção dentro std
• std :: is_contiguous_layout , útil para hash eficiente
• std :: to_chars / std :: from_chars , alto desempenho, conversão de número independente de localidade; finalmente, uma maneira de serializar / desserializar para formatos legíveis por humanos (JSON & co)
• std :: default_order , indireto sobre std::less. ( quebra a ABI de alguns compiladores devido ao nome incorreto, removido.)

Traits

• 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 seguro

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

Naturalmente, o trabalho com TS continua em paralelo; portanto, existem alguns TS que ainda não estão maduros e terão que esperar pela próxima iteração. O destino para a próxima iteração é C ++ 20, conforme planejado anteriormente, não C ++ 19, como alguns rumores implicavam. C ++ 1O foi evitado.

Lista inicial retirada deste post do reddit e deste post do reddit , com links adicionados via googling ou na página isocpp.org acima.

Entradas adicionais saqueadas da lista de teste de recursos do SD-6 .

lista de recursos do clang e lista de recurso de biblioteca estão ao lado de ser saqueada. Isso não parece confiável, pois é C ++ 1z, não C ++ 17.

esses slides tinham alguns recursos ausentes em outro lugar.

Embora "o que foi removido" não tenha sido solicitado, aqui está uma pequena lista de algumas coisas ((principalmente?) Anteriores descontinuadas) que foram removidas no C ++ 17 do C ++:

Removido:

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

Houve reformulações. Não tenho certeza se isso tem algum impacto no código ou se são apenas limpezas no padrão:

Artigos ainda não integrados acima:

• P0505R0 (cronógrafo constexpr)

• P0418R2 (ajustes atômicos)

• P0512R0 (ajustes na dedução do argumento do modelo)

• P0490R0 (ajustes de ligação estruturados)

• P0513R0 (muda para std::hash)

• P0502R0 (exceções paralelas)

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

• P0012R1 (faça com que as especificações de exceção façam parte do sistema de tipos)

• P0510R0 (restrições sobre variantes)

• P0504R0 (tags para opcional / variante / qualquer)

• P0497R0 (ajustes de ptr compartilhados)

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

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

Alterações nas especificações:

• especificações de exceção e expressões de lançamento

Referência adicional:

• papéis agrupados por ano; nem todos aceitos

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

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