Início / coding / Perguntas / 79293047
Accepted
xmllmx
Asked: 2024-12-19 11:33:25 +0800 CST

Por que usar `(void)++p` em vez de apenas `++p` nesta proposta do padrão C++?

  • 772

Em uma proposta padrão C++ , encontro um trecho de código estranho como o seguinte:

template <input_iterator I, sentinel_for<I> S, nothrow_forward_iterator I2>
constexpr auto uninitialized_copy(I first, S last, I2 d_first) -> I2 {
    using T = iter_value_t<I2>;
    I2 current = d_first;
    try {
        for (; first != last; ++first, (void)++current) {
            ::new (std::addressof(*current)) T(*first);
        }
    } catch (...) {
        std::destroy(d_first, current);
        throw;
    }
}

Por que usar (void)++current em vez de apenas ++current aqui?

c++

1 respostas

  1. Best Answer

    ++first, (void)++currentusa o operador vírgula ,.

    Se ++firstfor avaliado como um tipo Te ++currentpara um tipo Ue houver uma operator,sobrecarga viável para argumentos T/ U, então isso seria chamado de operator,sobrecarga.

    No entanto, não é pretendido que ele seja chamado. Ao fazer um dos dois operandos ter o tipo void, torna-se impossível que uma sobrecarga de ,seja escolhida e, em vez disso, ele sempre terá o significado embutido.

    É por isso que o código de biblioteca genérico deve sempre converter pelo menos um operando voidao usar o operador vírgula.

    • 9

relate perguntas