明确赋值断言和环境声明有什么区别？

Question

在类中断言某个字段被明确初始化时，

!

（感叹号，明确赋值断言）和

declare

修饰符有什么区别？

以下代码在严格模式下是错误的，因为 TS 不确定该字段是否已初始化。

class Person {
    name: string; // Error: Property 'name' has no initializer and is not definitely assigned in the constructor.
}

我见过两种处理方法：

1. 明确赋值断言：

   class Person {
       name!: string;
   }
   

2. 环境声明：

   class Person {
       declare name: string;
   }
   

我看不出这两种技术之间的区别。它们都可以修复错误，它们都不会发出代码，它们都不允许初始化器。 ambient declaration（在 v3.7 中发布）是否只是过时了 definite assignment（在 v2.7 中发布）？是否应尽可能使用

declare

代替

!

？

Answer 1

Declare 主要用于在使用类型系统时模拟值。在生产代码中，它很少被使用。

---

declare name: string;

这对编译器说：

“有一个名为

name

的

string

属性。我不应该向你证明

name

确实存在，但我还是想使用它。”

declare

关键字通常用于类型定义文件中，这些文件为 Typescript 无法从中获取类型信息的文件（例如纯 JS 文件）提供类型。因此，如果我正在阅读您的代码，我会假设

name

正在从某处的某个 JS 文件中进行猴子修补，而您在这里注意到了这一点。

我会错的。

---

name!: string;

这对编译器说：

“有一个名为

name

的属性，其类型为

string | undefined

。它以

undefined

的值开头。但是每次我获取或设置该属性时，我都想将其视为

string

类型。 “

使用这种形式，任何阅读代码的人都清楚

name

一开始是未定义的，但无论如何都被视为字符串。这意味着它必须在这个文件的某个地方设置，只是可能不在构造函数中。

根据你所说的，我的这些假设是正确的。

---

实际上，在这种特殊情况下，结果几乎相同。在这两种情况下，您都拥有一个无需实际初始化的字符串属性。但是，我认为

name!: string

对实际发生的事情要清楚得多。

另外，

declare

never 发出代码。它使某些东西只存在于类型系统中。 （感谢您提到这个@NoelDeMartin）

class Foo {
    bar!: string;
    declare baz: string;
}

let bar: string
declare let baz: string

编译为：

class Foo {
    constructor() {
        Object.defineProperty(this, "bar", {
            enumerable: true,
            configurable: true,
            writable: true,
            value: void 0
        });
    }
}
let bar;

请注意，

baz

完全不存在于输出中。

---

最后，我不得不提一下，你应该重构你的代码，这样你就可以在构造函数中分配属性。这两种方法都不是类型安全的，因为您可能会将未初始化的值视为

string

，如果发生这种情况可能会导致崩溃。