gpt4 book ai didi

类实现接口(interface)时 typescript 不正确的类型推断

转载 作者:行者123 更新时间:2023-12-05 03:58:03 25 4
gpt4 key购买 nike

当在 typescript 中使用组合方法而不是继承时,我想根据它们“可以”而不是它们"is"来描述我的实体。为了做到这一点,我需要创建一些复杂的接口(interface),然后为我的类(我使用类是为了不创建手动原型(prototype)链并且不破坏我认为存在于 js 引擎中的一些优化)来实现我的接口(interface)。但是当没有正确推断方法的类型时,这会导致奇怪的行为。相反,当使用对象并将它们声明为相同的接口(interface)类型时,一切都按预期工作。

所以我正在使用 VSCode 和 typescript 3.6.3。我已经为 2d 形状创建了接口(interface),它应该有方法将所有法线返回到边缘。然后我创建了实现该接口(interface)的类,我希望它需要这个方法并且它应该具有相同的返回类型(这部分有效)和相同的参数类型(这部分无效)。参数被推断为任何。我的问题是我不想手动创建原型(prototype)链只是为了获得一致的 VSCode 行为。

此外,当在控制台中运行 tsc 时,我得到相同的错误,因为参数在类方法中是“任何”类型,并且在访问不存在的属性时在对象方法中出现预期错误

interface _IVector2 {
x: number;
y: number;
}

interface _IShape2D {
getNormals: ( v: string ) => _IVector2[];
}

export class Shape2D implements _IShape2D {
getNormals( v ) {
console.log( v.g );
^ ----- no error here

return [{} as _IVector2];
}
}

export const Test: _IShape2D = {
getNormals( v ) {
console.log( v.g );
^------ here we get expected error that
^------ 'g doesn`t exist on type string'

return [{} as _IVector2];
}
};

我的 tsconfig.json

{
"compilerOptions": {
"target": "es2017",
"allowSyntheticDefaultImports": true,
"checkJs": false,
"allowJs": true,
"noEmit": true,
"baseUrl": ".",
"moduleResolution": "node",
"strict": true,
"strictNullChecks": true,
"noImplicitAny": true,
"noUnusedLocals": true,
"noUnusedParameters": true,
"noImplicitReturns": true,
"noImplicitThis": true,
"noFallthroughCasesInSwitch": true,
"jsx": "react",
"module": "commonjs",
"alwaysStrict": true,
"forceConsistentCasingInFileNames": true,
"esModuleInterop": true,
"noErrorTruncation": true,
"removeComments": true,
"resolveJsonModule": true,
"sourceMap": true,
"watch": true,
"skipLibCheck": true,
"paths": {
"@s/*": ["./src/*"],
"@i/*": ["./src/internal/*"]
}
},
"exclude": [
"node_modules"
]
}

预期:
- 类方法的参数应该被推断为字符串
实际:
- 方法的参数被推断为任何

最终我的问题如下:“这种行为在 ts 中无法实现吗,我应该求助于手写(哦,天哪……)原型(prototype)链和原型(prototype)的简单对象?”

提前致谢!

最佳答案

这是 TypeScript 的设计限制(参见 ms/TS#1373 )。已尝试在 ms/TS#6118 进行修复但它与现有的现实世界代码有一些不好的/破坏性的交互,所以他们 gave up on it . ms/TS#32082 上有一个 Unresolved 问题要求更好的东西,但目前没有任何有用的东西。

此时的建议是在实现/扩展类时手动标注参数类型;这比诉诸手写原型(prototype)链要好,尽管更烦人。

export class Shape2D implements _IShape2D {
getNormals(v: string) { // annotate here
console.log(v.g); // <-- error here as expected
return [{} as _IVector2];
}
}

请注意 v 确实可以是 anyunknown 并且 getNormals() 将是一个正确的实现:

export class WeirdShape implements _IShape2D {
getNormals(v: unknown) { // okay
return [];
}
}

这是由于 method parameter contravariance类型安全... WeirdShape 仍然是完全有效的 _IShape2D。因此,虽然将参数推断为 string很好,但没有什么不正确的,因为它更通用。

无论如何,希望对您有所帮助;祝你好运!

Link to code

关于类实现接口(interface)时 typescript 不正确的类型推断,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/58256115/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com