Início / user-5740428

Jan Schultke's questions

Martin Hope
Jan Schultke
Asked: 2024-05-12 03:20:35 +0800 CST
  • 5

Entre o padrão C++98 e o padrão C++03 , foi feita uma mudança interessante:

struct S {
    int S;
};

Este código é válido em C++03 e versões mais recentes, mas estava mal formado em C++98. Especificamente, o [class.mem] parágrafo 13 proibiu todos os membros de dados de terem o mesmo nome da classe em C++98, mas esta regra foi flexibilizada para que, se não houver um construtor declarado pelo usuário, você possa ter um construtor não estático membro de dados com o mesmo nome.

Qual é a motivação por trás disso? Que caso de uso importante é coberto por isso que justificaria a revisão do padrão?

c++
Martin Hope
Jan Schultke
Asked: 2024-05-04 17:05:20 +0800 CST
  • 7

Eu tenho o seguinte código ( https://godbolt.org/z/K7sPbjjKE ):

#include <string>
#include <ranges>
#include <vector>

std::vector<std::string> fields;

void insert_many(std::size_t pos, std::span<std::string> keys)
{
    auto view = std::views::iota(0uz, keys.size())
      | std::views::transform([&](std::size_t i) {
        return std::move(keys[i]);
    });
    static_assert(std::ranges::input_range<decltype(view)>);
    fields.insert(fields.cbegin() + pos, view.begin(), view.end());
}

Nota: Este exemplo é simplificado demais em https://godbolt.org/z/hYTjsohTf . Eu sei, você não precisa usar std::views::iotanada aqui. A questão é por que o código em sua forma atual não funciona.

Tanto no libc++ quanto no libstdc++, os static_assertpasses. No entanto, apenas libc++ permite a chamada para insert. estou tentando ligar

template< class InputIt >
constexpr iterator insert( const_iterator pos, InputIt first, InputIt last );

Pela aparência da mensagem de erro (com libstdc++), std::ranges::transform_view::iteratornão satisfaz InputIterator , portanto a sobrecarga não pode ser chamada:

/opt/compiler-explorer/gcc-snapshot/lib/gcc/x86_64-linux-gnu/15.0.0/../../../../include/c++/15.0.0/bits/stl_vector.h:1484:2: note: candidate template ignored: requirement 'is_convertible<std::output_iterator_tag, std::input_iterator_tag>::value' was not satisfied [with >  _InputIterator = _Iterator<false>]
 1484 |         insert(const_iterator __position, _InputIterator __first,
      |         ^

Esse é o comportamento pretendido? Achei que o novo std::viewsmaterial também satisfazia os requisitos do iterador legado.

c++
Martin Hope
Jan Schultke
Asked: 2024-01-04 08:44:25 +0800 CST
  • 13

Eu tenho o seguinte código:

#include <print>
#include <vector>

int main() {
    std::vector<int> v{1, 2, 3};
    std::println("{}", v);
}

Entre os numerosos erros que isso produz, há ( clang++ -std=c++23 -stdlib=libc++, https://godbolt.org/z/3z9Tseh37 ):

[...]/format_arg_store.h:167:17: error: static assertion failed due to [...]
  167 |   static_assert(__arg != __arg_t::__none, "the supplied type is not formattable");
      |                 ^~~~~~~~~~~~~~~~~~~~~~~~

Isso me confunde porque de acordo com a página de suporte do compilador cppreference C++23 , o libc++ suporta std::printlne implementa P2286: Formatting Ranges .

Estou fazendo algo errado ou isso é um bug padrão da biblioteca?

c++