TypeScript Crash when defining Array type via [] syntax

gk7wooem 于 10个月前发布在 TypeScript

关注(0)|答案(5)|浏览(86)

🔎 搜索词

数组类型定义崩溃

🕗 版本与回归信息

这是一次崩溃

⏯ Playground链接

https://www.typescriptlang.org/dev/bug-workbench/?noLib=true#code/PTAEAEDsHsBkEsBGAuUAXATgVwKYCg0BPABx1AEEMMBDQgHgBUA+UAXlAYG0BdAbjyA

💻 代码

// @noLib: true
type Array<T> = T[];

🙁 实际行为

Typescript崩溃：

createDeferredTypeReference@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:52280:42
getTypeFromArrayOrTupleTypeNode@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:52908:93
getTypeFromTypeNodeWorker@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:54875:20
getTypeFromTypeNode@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:54828:45
getDeclaredTypeOfTypeAlias@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:49869:33
tryGetDeclaredTypeOfSymbol@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:49955:18
getDeclaredTypeOfSymbol@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:49948:16
getTypeOfGlobalSymbol@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:52644:45
getGlobalType@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:52678:42
initializeTypeChecker@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:75719:27
createTypeChecker@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:42674:7
getTypeChecker@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:101959:46
synchronizeHostDataWorker@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:121935:17
synchronizeHostData@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:121830:11
getProgram@https://typescript.azureedge.net/cdn/5.4.0-dev.20240110/monaco/dev/vs/language/typescript/tsWorker.js:121997:9
updateFile@https://www.typescriptlang.org/17821066377c4486a980330106160c805ea5b4a9-5466acbcf54af90f679c.js:1:25348
G@https://www.typescriptlang.org/17821066377c4486a980330106160c805ea5b4a9-5466acbcf54af90f679c.js:1:17599
F@https://www.typescriptlang.org/17821066377c4486a980330106160c805ea5b4a9-5466acbcf54af90f679c.js:1:17638
A@https://www.typescriptlang.org/component---src-pages-dev-bug-workbench-tsx-6a9bdea3e00be7d97087.js:1:40663
9796/M/

🙂 预期行为

我期望看到一个错误信息。

关于问题的附加信息

无响应*

typescript

来源：https://github.com/microsoft/TypeScript/issues/57009

5条答案

按热度按时间

qybjjes11#

为了澄清，这不会起作用。

赞(0）回复(0）举报 10个月前

xmjla07d2#

为了澄清，这不会起作用。我知道。我将重现示例从类似于type Array<T> = T[] & { push: (t: T) => number }(也是错误的)的东西减少了。我希望这段代码会给出一个关于循环类型引用的错误，就像我写的type Array<T> = Array<T>一样。

赞(0）回复(0）举报 10个月前

fcg9iug33#

似乎在这次崩溃之前发生了内部故障。这不是我对 Array 类型的特定定义有问题，而是使用类型别名来定义 Array 本身：

// @noLib: true
// okay with this definition of Array:
// interface Array<T> {
//   [i:number]:T
// }
// okay with this definition of Array, too:
// class Array<T> {
//   [i:number]:T
// }
// With this definition, things fail and number[] is not the same type as Array<T> anymore:
type Array<T> = {
  [i:number]:T
}
[1,2,3] satisfies {[i:number]:any}
declare const x:number[]
//            ^?
x satisfies Array<number>

Workbench Repro

展开查看全部

赞(0）回复(0）举报 10个月前

lb3vh1jj4#

你好，我是 Repro bot 。我可以协助缩小范围并跟踪编译器错误！此评论反映了当前运行在夜间 TypeScript 的重现情况。

@rotu 的评论
❌ 失败：-

Type '{}' does not satisfy the expected type '{ [i: number]: any; }'. Index signature for type 'number' is missing in type '{}'.
Type '{}' does not satisfy the expected type 'Array'. Index signature for type 'number' is missing in type '{}'.

历史信息
| 版本 | 重现输出 | 时间 |
| ------------ | ------------ | ------------ |
| 5.0.2 | ❌ 失败：-* Type '{}' does not satisfy the expected type '{ [i: number]: any; }'. Index signature for type 'number' is missing in type '{}'.* Type '{}' does not satisfy the expected type 'Array'. Index signature for type 'number' is missing in type '{}'. | |
| 4.9.3, 5.1.3, 5.2.2, 5.3.2 | ❌ 失败：-* Type '{}' does not satisfy the expected type '{ [i: number]: any; }'. Index signature for type 'number' is missing in type '{}'.* Type '{}' does not satisfy the expected type 'Array'. Index signature for type 'number' is missing in type '{}'. | ⚠️ 更慢 |

展开查看全部

赞(0）回复(0）举报 10个月前

yvgpqqbh5#

看起来在这次崩溃之前发生了内部故障。这不是我对 Array 类型的特定定义有问题，而是使用类型别名来定义 Array 本身
已将此问题移动到独立问题 #57564

赞(0）回复(0）举报 10个月前

我来回答

TypeScript Crash when defining Array type via [] syntax

🔎 搜索词

🕗 版本与回归信息

⏯ Playground链接

💻 代码

🙁 实际行为

🙂 预期行为

关于问题的附加信息

5条答案

相关问题

热门标签

最新问答