Início / coding / Perguntas / 79565215
Accepted
Adrian McCarthy
Asked: 2025-04-10 03:37:51 +0800 CST

std::format manipula o tipo definido pelo usuário se for iterável‽

  • 772

Atualizei alguns códigos mais antigos para usar std::formate fiquei surpreso ao descobrir que funcionava, apesar de eu ter esquecido de fornecer uma std::formatterespecialização para esse tipo.

Imediatamente fiz um pequeno programa de teste para tentar reproduzir isso, mas eles sempre apresentavam um erro de compilação, como eu esperava.

Depois de horas de depuração, descobri que, se o tipo personalizado tiver métodos públicos begine end, a biblioteca formatará a sequência como uma lista separada por vírgulas entre colchetes.

P: Isso é um recurso definido por padrões std::formatou um bug de implementação? (Ou outra coisa?)

Aqui está uma reprodução independente:

#include <array>
#include <print>

class MyType {
    public:
        MyType() : m_values{1, 2, 3, 4} {}

        using internal_type = std::array<int, 4>;
        using const_iterator = typename internal_type::const_iterator;

        const_iterator cbegin() const { return m_values.cbegin(); }
        const_iterator cend()   const { return m_values.cend();   }
        const_iterator begin()  const { return cbegin(); }
        const_iterator end()    const { return cend();   }

    private:
        internal_type m_values;
};

int main() {
    MyType foo;
    // Since MyType is a user-defined type, I would not
    // expect this print statement to compile without a
    // specialization of std::formatter, but because
    // it's iterable, it prints: "foo = [1, 2, 3, 4]\n".
    std::print("foo = {}\n", foo);
    return 0;
}

Estou usando o MS VC++ do Visual Studio 17.12.15 e compilando com /std:c++latest.

c++

1 respostas

  1. Best Answer

    A biblioteca padrão define uma std::formatterespecialização para intervalos que começam em C++23:

    template< ranges::input_range R, class CharT >
    requires (std::format_kind<R> != std::range_format::disabled) &&
              std::formattable<ranges::range_reference_t<R>, CharT>
struct formatter<R, CharT>;

    Existem algumas variações diferentes deste formatador de intervalo para sequências, conjuntos, mapas e strings. As regras padrão para cada um deles são:

    • Se R::key_typee R::mapped_typesão definidos e std::remove_cvref_t<std::range_reference_t<R>>é uma especialização de std::pairou std::tuplecom tamanho 2, então é um mapa
    • Caso contrário, se R::key_typefor válido e um tipo, então é um conjunto
    • Caso contrário, é uma sequência

    Você pode controlar qual será selecionado por padrão, especializando o std::format_kindmodelo para o seu tipo, ou seja

    namespace std {
    template <>
    constexpr range_format format_kind<MyType> = range_format::set;
}

    Você pode selecionar explicitamente a string (com ou sem aspas e sequências de escape) ou o tipo de formato do mapa por meio da sua string de formato usando os especificadores s, ?s, e , respectivamente:m

    std::println("{:s}", std::array{'?', '\t', '?'});
// prints ? ?
std::println("{:?s}", std::array{'?', '\t', '?'});
// prints "?\t?"
std::println("{:m}", std::array{std::pair{'a', 1}, std::pair{'b', 2}});
// should print {'a': 1, 'b': 2}, but seems to not work in the current libc++ at least

    Além disso, o especificador de formato pode ser usado para omitir os colchetes para tipos de intervalo diferentes de string. Isso também npode ser combinado com o especificador:m

    std::print("{:n}", std::views::iota(1, 5));
// prints 1, 2, 3, 4
std::print("{:nm}", std::array{std::pair{'a', 1}, std::pair{'b', 2}});
// should print 'a': 1, 'b': 2

    Demonstração ao vivo

    Observe que, no momento da redação deste artigo (9 de abril de 2025), a libstdc++ (a biblioteca padrão usada pelo GCC) ainda não implementou essa funcionalidade.

    • 5

relate perguntas