如果像这样注解car

const car: Car = {
    ⋯✂⋯
    color: 'something',
    ⋯✂⋯
};

那么你实际上是丢弃了初始化器中的任何更具体的信息。编译器只会知道car是Car。这将允许你对car进行任何与Car的定义一致的更改，如

car.color = "purple";

编译器甚至不会试图跟踪car.color的实际值，它只是string：

const color = car.color;
//const color: string

所以你不能用color索引car.step，因为编译器只允许你用已知的键"something" | "anotherone"索引。

const firstStep = car.step[color]; // error!

因此，如果你想让car从它的初始化值中跟踪特定的细节，那么你不能注解它。此外，如果你只是给它分配一个对象文字，编译器不会意识到你想让它注意color属性的文字类型。同样，它只会推断string，因此你可以改变它：

const car = {
    ⋯✂⋯
    color: 'something',
    ⋯✂⋯
};
car.color = "purple";
const color = car.color;
//const color: string
const firstStep = car.step[color]; // error!

哎呀。
你必须更进一步，要求编译器尽可能地将初始化器的值视为不可变或常量。你可以通过对该初始化器值使用constAssert来做到这一点：

const car = {
    ⋯✂⋯
    color: 'something',
    ⋯✂⋯
} as const;

现在，编译器将把color当作readonly属性，其类型是字符串文字"something"。现在，最后，这足以让剩下的代码工作：

const color = car.color;
// const color: "something"
const firstStep = car.step[color]; // okay

这很好，只是我们实际上根本没有使用Car，这意味着编译器不会捕获这样的错误

const car = {
    ⋯✂⋯
    age: "quite old",
    color: 'something',
    ⋯✂⋯
} as const; // no error

其中age是一个string而不是一个number。为了恢复不带注解的类型检查，我们可以使用satisfies操作符：

const car = {
    ⋯✂⋯
    age: "quite old",
    color: 'something',
    ⋯✂⋯
} as const satisfies Car; // error!
// ----------------> ~~~
// Types of property 'age' are incompatible.

错误已被捕获，我们可以更正它：

const car = {
    ⋯✂⋯
    age: 200,
    color: 'something',
    ⋯✂⋯
} as const satisfies Car; // okay

所以现在你拥有了两个世界的最佳选择！
Playground链接到代码