Início / coding / Perguntas / 77442537
Accepted
Luke Vo
Asked: 2023-11-08 10:38:05 +0800 CST

TypeScript apresenta erro de compilação "O objeto é possivelmente 'indefinido'." mas apenas com variável de classe e não com variáveis ​​de escopo

  • 772

No TypeScript com stricthabilitado ( TypeScript playground ):

type Foo = { a: number; b: number; }

class Bar {

    #a?: Foo;

    bar() {
        const a = this.#a?.a;
        if (!a) {return;}

        // Error: Object is possibly 'undefined'.
        const b = this.#a.b;
    }

    bar2() {
        const obj = this.#getFoo();

        const a = obj?.a;
        if (!a) {return;}

        // No error:
        const b = obj.b;       
        console.log(b);
    }

    #getFoo() : Foo | undefined {
        return undefined;
    }

}

Por que TS entende corretamente que bar2()isso obj.bnão pode ser undefined; mas não this.#a.bem bar()? Existe um caso lógico que estou perdendo?

Em bar(), se eu atribuir, const tmp = this.#aele também será compilado com sucesso.

ATUALIZAÇÃO: aparentemente tem algo a ver com a mutabilidade de uma variável. Se eu usar , o erro também let obj = this.#getFoo()aparece .obj

typescript

1 respostas

  1. Best Answer

    O compilador ts não pode garantir que o this.#avalor não mudará entre os dois acessos de propriedade porque o TypeScript assume que o valor de uma propriedade de classe pode mudar a qualquer momento, mesmo entre duas linhas consecutivas de código, ou seja, o TypeScript não pode ter certeza de que o valor de this.#apermanece o mesmo entre as duas linhas.

    No bar2()método, o valor de obj é atribuído ao resultado de this.#getFoo(), que é uma variável local. O TypeScript pode garantir que o valor de obj não mudará entre os dois acessos de propriedade, por isso não reclama.

    Na sua última atualização , quando você usa let obj = this.#getFoo(), o TypeScript assume que o valor de obj pode potencialmente mudar entre os dois acessos de propriedade, uma vez que é mutável . objComo resultado, o erro também aparece .

    Agora, para corrigir o problema, você pode atribuir this.#auma variável constante local . Algo como:

    bar() {
        const obj = this.#a; // <----Notice this
        const a = obj?.a;
        if (!a) {return;}

        // Error: Object is possibly 'undefined'.
        const b = obj.b;
    }

    PLAYGROUND TYPESCRIPT

    Referências de contexto

    • 3

relate perguntas