Início / coding / Perguntas / 79207099
Accepted
Alexey S. Larionov
Asked: 2024-11-20 19:55:32 +0800 CST

& (endereço-do-operador) pode retornar nullptr?

  • 772

Parece uma pergunta trivial a julgar pelo uso típico do &operador, mas há uma garantia do padrão de que address-of-operator não pode retornar nullptrao tentar obter um endereço?

c++

2 respostas

  1. Best Answer

    Não há garantia de que operator&não seja possível retornar nullptr, por exemplo, sobrecarregando este operador.

    Aqui está um exemplo artificial:

    #include <iostream>

struct foo  { foo* operator& ()  { return nullptr; }  };

int main()
{
    foo f;
    
    if (&f == nullptr) {  std::cout << "nullptr detected\n";  }
    
    std::cout << "the true address is " << std::addressof(f) << "\n";
}

    Demonstração

    • 7

  2. A pergunta do OP é específica para &x(como o OP mencionou em um comentário).

    & (endereço-do-operador) pode retornar nullptr?

    Não para tipos internos e não para tipos definidos pelo usuário, se o operador &não estiver sobrecarregado. Caso contrário, para tipos definidos pelo usuário, você pode sobrecarregar &o operador e então o comportamento será baseado na sua implementação de operator&, onde você pode retornar nullptrtambém.

    De C++17 (8.3.1) Operadores unários [ênfase minha] :

    3 O resultado do operador unário & é um ponteiro para seu operando. O operando deve ser um lvalue ou um qualified-id. Se o operando for um qualified-id nomeando um membro não estático ou variante m de alguma classe C com tipo T, o resultado tem o tipo “ponteiro para membro da classe C do tipo T” e é um prvalue designando C::m. Caso contrário, se o tipo da expressão for T, o resultado tem o tipo “ponteiro para T” e é um prvalue que é o endereço do objeto designado (4.4) ou um ponteiro para a função designada. [ Nota: Em particular, o endereço de um objeto do tipo “cv T” é “ponteiro para cv T”, com a mesma qualificação cv. — nota final ] Para fins de aritmética de ponteiros (8.7) e comparação (8.9, 8.10), um objeto que não é um elemento de array cujo endereço é obtido dessa forma é considerado pertencente a um array com um elemento do tipo T.

    EDITAR:

    A parte abaixo serve para justificar a alegação de que o endereço do operador &não pode retornar nullptrpara um operando de tipo definido pelo usuário (que não tenha &operador sobrecarregado).

    As referências abaixo são do C++17.

    De conversões de ponteiros 7.11

    1 Uma constante de ponteiro nulo é um literal inteiro (5.13.2) com valor zero ou um prvalue do tipo std::nullptr_t. Uma constante de ponteiro nulo pode ser convertida em um tipo de ponteiro; o resultado é o valor de ponteiro nulo desse tipo e é distinguível de qualquer outro valor de ponteiro de objeto ou tipo de ponteiro de função. ....

    De 8.10 Operadores de igualdade

    2 Se pelo menos um dos operandos for um ponteiro, conversões de ponteiro (7.11), conversões de ponteiro de função (7.13) e conversões de qualificação (7.5) são realizadas em ambos os operandos para trazê-los ao seu tipo de ponteiro composto (Cláusula 8). A comparação de ponteiros é definida como segue:
    (2.1) — Se um ponteiro representa o endereço de um objeto completo, e outro ponteiro representa o endereço um após o último elemento de um objeto completo diferente,88 o resultado da comparação não é especificado.
    (2.2) — Caso contrário, se os ponteiros forem ambos nulos, ambos apontarem para a mesma função, ou ambos representarem o mesmo endereço (6.9.2), eles são comparados iguais.
    (2.3) — Caso contrário, os ponteiros são comparados desiguais.

       A *obj1 = nullptr;
   A obj2;

    É garantido que a expressão obj1 == &obj2será avaliada como false.

    • 4

relate perguntas