Início / coding / Perguntas / 78373367
Accepted
Martin Fehrs
Asked: 2024-04-23 23:02:24 +0800 CST

Por que iter_const_reference_t não está simplesmente usando std::add_const_t?

  • 772

iterator_const_reference_t é implementado da seguinte forma:

template<std::indirectly_readable T>
using iter_const_reference_t = std::common_reference_t<const std::iter_value_t<T> &&,
                                                       std::iter_reference_t<T>>;

Mas por que? Por que não é simplesmente: std::add_const_t<std::iter_reference_t<T>>?

c++

1 respostas

  1. Best Answer

    add_const_t<int&>ainda será int&, o que não é uma referência const. Você provavelmente quer dizer const iter_value_t<T>&, mas isso pode levar a problemas pendentes.

    A fórmula na sua pergunta vem do range/v3 que existe há anos e pode lidar com quase todos os casos, incluindo referências de proxy.

    Por exemplo, a referência do zip_viewiterador de , ou seja tuple<int&, int&>, , não pode ser transformada em uma referência const apenas adicionando um constqualificador de nível superior.

    Neste caso, podemos aplicar common_referencea especialização de para tupleproduzir o tipo de referência corretotuple<const int&, const int&> , ou seja, é por isso que a fórmula de iter_const_reference_tpossui a common_referenceparte.

    • 7

relate perguntas