Typescript + Next.js 不类型检查函数参数/参数

如何解决Typescript + Next.js 不类型检查函数参数/参数

我正在处理一个带有 typescript 和 next.js 的项目，由于某些原因没有检查函数参数的类型。

我在下面提供了一个代码示例，我希望函数调用会抱怨我提供了 string 而不是 SExpr。

abstract class SExpr {
  abstract toString(): string
}

function parse(expr: SExpr) {
  // ...
}

parse('123') // does not complain - compiles just fine

我以前从未遇到过这样的问题，并已尽力在 tsconfig.json 中找到更改选项来解决此问题，但遗憾的是未能解决。

此时我怀疑 next.js 可能会覆盖我的 tsconfig.json 等，因为我在使用 typescript 时从未遇到任何问题。

我的tsconfig.json如下：

{
  "compilerOptions": {
    "target": "es6","lib": ["dom","dom.iterable","esnext"],"strict": true,"forceConsistentCasingInFileNames": true,"noEmit": true,"esModuleInterop": true,"module": "esnext","moduleResolution": "node","resolveJsonModule": true,"isolatedModules": true,"jsx": "preserve","baseUrl": ".","noImplicitAny": true,"allowJs": true,"skipLibCheck": true,"alwaysstrict": true,},"include": ["next-env.d.ts","**/*.ts","**/*.tsx"],"exclude": ["node_modules"]
}

解决方法

这是设计使然。

TypeScript 有一个结构类型系统，而不是名义上的类型系统。在结构类型系统中，如果 A 的所有成员都由 B 提供，则 B 是 A 的子类型。 A 的遗产不是决定因素。

在您的情况下，SExpr 只有一个成员，即一个不带参数并返回 toString 的 string 方法，并且所有 JavaScript 对象都提供这样一个成员，包括 {{1} }.

总而言之，TypeScript 的行为符合预期，您应该考虑采用不同的方法，例如使用 Discriminated Unions，而不是类层次结构来表示您的程序解析的各种表达式的类型。