gpt 的回答
[yyy${s}]: 3 不报错原因：

在这里，TypeScript 看到的是一个动态计算的键名 yyy${s}。尽管 s 的值是 'Foo'，它不会直接解析为 yyyFoo 。TypeScript 只知道这是一个字符串键，没有对该键进行进一步的类型检查，因此不会报错。

"yyyFoo" //编译时检查？
"yyy"+s //编译后的 js 狗都不理 ts 类型？

另外加一句，一定非要写这么奇怪的代码吗？

@civetcat typescript 对参数明明有这个能力啊？

type Suffix2 = 'Foo' | 'Bar'
let sx: Suffix2 = 'Foo'
let sxf: () => Suffix2 = () => 'Foo'
function key(a: 'xxxFoo' | 'xxxBar') {}
key(`xxx${sx}`)
key(`yyy${sx}`) // 这行错，符合预期
key(`xxx${sxf()}`)
key(`yyy${sxf()}`) // 这行错，符合预期

这个能力放到对象键上就失效了？

TS 检查对象属性的时候，只会对多余的*字面量*（ literal ）属性报错。对于*非字面量*对象，以及*非字面量*属性，会按照*协变*规则判断类型是否符合规则。
原问题里的`yyy${s}`属于计算属性，它就相当于一个*多出来*的属性，并且不是字面量，所以不会报错。

let a: { a: number } = { a: 1 }
a = { a: 1, b: 2 } //字面量多了个 b ，报错

let ab: { a: number, b: number } = { a: 1, b: 2 }
a = ab //非字面量赋值，虽然多了个 b ，但符合协变规则，不报错

a = { a: 1, [Math.random()]: 6 } //虽然多了个属性，但它不是字面量，所以不报错

因为 typescript 没你想的这么智能

let x: number | undefined = undefined;
const run = (cb: Function) => cb();
run(() => (x = 1));
const y: typeof x = 1; // Type '1' is not assignable to type 'undefined'.

另外建议没必要过于纠结 typescript 的类型体操，比如我会尽量避免复杂类型，能用 interface 就不用 type

当然你要用特性什么想用就是了，如果觉得不好用，完全可以 fork 自己改一份，虽然大多数人没那能力

还是 Typescript 类型推导还不够强大 /🐶

你如果声明一个这样的变量：

```
const obj = {
[`yyy${s}`]: 10,
};
```

你会发现 typescript 推导成：

```
{
[x: string]: number;
}
```
类型，这就解释了为什么这里 `yyy${s}` 不会报错。

你也可以像第四行那样，加上 `satisfies` 操作符来验证。

```
const obj = {
[`yyy${s}` satisfies keyof Obj]: 10,
};
```

当然，可以试试去 Github 的 Typescript 项目里问问，说不准可能是个 bug 。:)

@june4
总的来说就是如果不是字面量，都需要使用一些额外的规则工具来约束

那为啥 JAVA 那边好像没什么人讨论类型？