Início / coding / Perguntas / 79336530
Accepted
Daniel Walker
Asked: 2025-01-07 23:33:22 +0800 CST

Contagem de referência de um objeto não inicializado

  • 772

Tenho algum código Objective C compilado com ARC:

void func(void) {
    NSString *string;

    // Do some stuff.  Maybe return early.

    string = @"initialized";

    // Other stuff.
}

Como o ARC lida com um ponteiro de objeto não inicializado? Eu assumo que, como um ponteiro C, stringinicialmente contém lixo de pilha. Se sim, então como o ARC sabe o que fazer com ele se, digamos, eu retornasse antes de inicializar a variável?

Preciso inicializá-lo para, digamos, nil, para evitar vazamentos de memória?

Importa se a referência foi para um objeto ou bloco de despacho em vez de um NSObject?

objective-c

1 respostas

  1. Best Answer

    Presumo que, como um ponteiro C, stringinicialmente contém lixo de pilha.

    Na verdade, não é o caso. Dos documentos do Clang ARC :

    É um comportamento indefinido se o armazenamento de um objeto __strongou __weaknão for inicializado corretamente antes que a primeira operação gerenciada seja executada no objeto, ou se o armazenamento de tal objeto for liberado ou reutilizado antes que o objeto tenha sido corretamente desinicializado.

    ou seja, ponteiros de objetos de lixo são inválidos de acordo com as regras ARC

    O armazenamento para um objeto __strongou __weakpode ser inicializado corretamente preenchendo-o com a representação de um ponteiro nulo, por exemplo, adquirindo a memória com callocou usando bzeropara zerá-la. Um objeto __strongou __weakpode ser desinicializado corretamente atribuindo um ponteiro nulo a ele. Um __strongobjeto também pode ser inicializado corretamente copiando para ele (por exemplo, com memcpy) a representação de um objeto diferente __strongcujo armazenamento foi inicializado corretamente; fazer isso desinicializa corretamente o objeto de origem e faz com que seu armazenamento não seja mais inicializado corretamente.

    ou seja, strongreferências são válidas quando apontam para nilou um ponteiro de objeto válido. ( weakreferências são um pouco mais complicadas)

    O ponto crucial:

    Esses requisitos são seguidos automaticamente para objetos cuja inicialização e desinicialização estão sob o controle do ARC:

    • objetos de duração de armazenamento estático, automático e temporário
    • variáveis ​​de instância de objetos Objective-C
    • elementos de matrizes onde a inicialização e a desinicialização do objeto da matriz estão sob o controle do ARC
    • campos de tipos de struct Objective-C onde a inicialização e a desinicialização do objeto struct estão sob o controle do ARC
    • membros de dados não estáticos de tipos de classe não sindicais do Objective-C++
    • Objetos e matrizes Objective-C++ de duração de armazenamento dinâmico criados com os operadores new ou new[] e destruídos com o operador delete ou delete[] correspondente

    Eles não são seguidos automaticamente para estes objetos:

    • objetos de duração de armazenamento dinâmico criados em outra memória, como aquele retornado por malloc
    • membros do sindicato

    ou seja, quase todas as variáveis ​​são automaticamente nileliminadas pelo ARC por padrão para torná-las válidas para uso.

    Então, não , você não precisa nilexpor explicitamente uma variável local definida dessa forma porque isso será feito automaticamente (embora normalmente seja uma boa prática fornecer valores padrão explícitos para tornar o comportamento mais óbvio) e não , não importa se o objeto é um objeto de despacho, bloco ou uma subclasse de NSObject(porque todos são objetos Objective-C com o mesmo comportamento).

    Você precisa ter cuidado ao zerar corretamente os ponteiros de objetos contidos em a unionou alocados manualmente usando malloc, mas esses casos são muito incomuns.

    • 1

relate perguntas