Início / coding / Perguntas / 77693117
Accepted
fbrereto
Asked: 2023-12-21 00:31:04 +0800 CST

Por que a resolução de sobrecarga prefere std::nullptr_t a uma classe ao passar {}?

  • 772

O código a seguir é impresso nullptrem vez de empty( godbolt link ):

#include <iostream>

class empty { };

#if 1
void f(std::nullptr_t) {
    std::cout << "nullptr\n";
}
#endif

void f(empty) {
    std::cout << "empty\n";
}

int main() {
    f({});
}

Desativar a f(nullptr_t)variante faz com emptyque ela seja impressa. Quais são as regras que o C++ está usando para selecionar a nullptr_tvariante sobre a emptyvariante quando ambas estão disponíveis?

c++

1 respostas

  1. Best Answer

    A inicialização std::nullptr_t(ou qualquer outro tipo fundamental) {}é melhor porque resulta em uma conversão de identidade, enquanto a inicialização de tipos de classe resulta em uma sequência de conversão definida pelo usuário:

    Caso contrário, se o parâmetro tiver um tipo agregado que possa ser inicializado a partir da lista de inicializadores de acordo com as regras para inicialização agregada ([dcl.init.aggr]), a sequência de conversão implícita será uma sequência de conversão definida pelo usuário cuja segunda sequência de conversão padrão é uma conversão de identidade.

    - [over.ics.list] p8

    emptyé um tipo agregado, portanto este parágrafo se aplica. std::nullptr_tnão é uma classe, então o seguinte parágrafo se aplica:

    Caso contrário, se o tipo de parâmetro não for uma classe:

    • (10.1) [...]
    • (10.2) se a lista de inicializadores não tiver elementos, a sequência de conversão implícita é a conversão de identidade.
    • [...]

    - [over.ics.list] p10

    [over.best.ics] explica qual sequência de conversão implícita é melhor, mas deve ser óbvio que uma conversão de identidade supera todo o resto.

    • 20

relate perguntas