为什么可以将 \'any\' 类型的值传递给类型参数而不会出错？

Question

TypeScript 转译器不会为以下代码发出错误：

function test1(test: any) {
    test2(test);
}

function test2(test: string) {

}

我预计此代码会发出错误，因为如果类型为“any”的对象可以毫无错误地传递给类型为“string”的参数，那么代码可能会导致在运行时将非字符串传递给 test2 .编译器知道这里存在潜在的类型安全违规应该是微不足道的吧？

我以为 TypeScript 的重点是在编译时确保类型安全？我在这里错过了什么？我需要在 tsconfig.json 中启用一个选项吗？

编辑：

我不认为我在上面包含的通用示例能够说明我的观点。这是我实际应用程序中的 sn-p。该代码是 Google Apps 脚本应用程序的一部分，我使用的是 @google/clasp 类型。

// 'sheet' is of type GoogleAppsScript.Spreadsheet.Sheet
// The return value of this function is any[][]
// There is nothing I can do to change this, it is an import from a library
const cells = sheet.getSheetValues(2, 1, -1, -1);

for (const cell of cells) {
    const registration = cell[0]; // any
    const profileName = cell[1]; // any
    const uuid = cell[2]; // any

    //
    // The signature of this constructor is as follows:
    // constructor(aircraft: InputAircraft, profileName: string, uuid: string)
    //
    // Passing 'any' to the parameters of this constructor does not cause any 
    // warning or error, even with strict=true in my tsconfig.conf or even 
    // with eslint set up with the @typescript-eslint/no-explicit-any rule 
    // turned on.
    //

    yield new InputProfile(registration, profileName, uuid);
}

Answer 1

any 是故意留下来的大约类型检查器，用于处理遗留的非类型化 Javascript 代码。它应该只要在您有未键入或不易键入的代码的情况下使用。

使用 --strict（其中包括 noImplicitAny，除此之外），如果变量曾经出现，您将收到警告偶然类型为any。如果你写any，编译器会假定你是认真的并且知道你在做什么。如果你真的想去没有能力使用any根本，然后 no-explicit-any 是您可以打开的 ESLint 设置。