打字稿，参数的类型被规避

Question

我偶然发现了以下内容

const myObject = new Object();
myObject['test'] = 'hello';

calc(myObject['test']);

function calc(x: number) {
  console.log(x * 10);
}

这是一个非常简单的案例。

我的期望是 TypeScript 至少会在编译时抱怨它找不到具体类型，但 calc 需要一个数字。

相反，TypeScript 根本不会抱怨，并且在控制台中会有 NaN。

我在使用 Angular 4 和路由数据时首先注意到了这种行为。

const routes: Routes = [
    {
        path: '**',
        data: [{error: new ApplicationError('http-status-404', '', HttpErrorStatus.NotFound)}],
        component: ApplicationErrorComponent,
        resolve: {
            error: ApplicationErrorResolve
        }
    }
];

@Injectable()
export class ApplicationErrorResolve implements Resolve<ApplicationError> {

   constructor(private applicationErrorHandler: ApplicationErrorHandler) { }

   resolve(route: ActivatedRouteSnapshot, state: RouterStateSnapshot): ApplicationError {

        if (route.data != null && route.data[0]['error'] instanceof ApplicationError) {
            this.applicationErrorHandler.addError(route.data[0]);

            return route.data[0];
        }

        return null;
    }
}

// signature of applicationErrorHandler.addError
addError(error: ApplicationError, navigateToErrorPage: boolean = true) {

}

如代码所示，我的对象ApplicationError 将驻留在route.data[0].error 而不是route.data[0]。 但是 TypeScript 再次没有抱怨，在运行时我只会有完全错误的对象（类型）

我能做些什么（除了手动检查 instanceof 或类似的东西）？ 像某种守卫或打字稿开关（如--strictNullCheck）？

来自 c# 背景，这让我非常惊讶（也有点担心）

编辑

感谢 Saravana，第一部分（简单示例）有效。 但是一旦我使用数组，它就会再次失败。即使noImplictAny = true

 const myArray = new Array<any>();
 myArray[0] = { name: 'test'};
 myArray[1] = { name: 1} ;

 // TypeScript doesn't complain 
 this.calc(myArray[0]);

 // TypeScript doesn't complain
 this.calc(myArray[0].ImActuallyNotPresent);

 function calc(x: number) {
     console.log(x * 10);
 }

我不明白。为什么这行得通？ 我知道这与any 有关，但为什么myArray 的定义会取代我的方法签名？ 这对我来说毫无意义，并且给人一种虚假的安全感。

有没有办法解决这个问题？

Answer 1

您需要在tsconfig.json 中设置"noImplicitAny": true 或将--noImplicitAny 标志传递给编译器以捕获这些问题。

如果您打开了noImplicitAny，编译器将根据calc 检查myObject['test'] 的类型。由于它已关闭，myObject['test'] 的类型被视为any，这会禁用所有类型检查，从而允许将其传递给calc。

使用"noImplicitAny": true，您的示例会引发以下错误：

元素隐式具有“任何”类型，因为“对象”类型没有 索引签名。

TypeScript 编译器选项：https://www.typescriptlang.org/docs/handbook/compiler-options.html

---

当您在示例中执行 const myArray = new Array<any>(); 时，您是在告诉编译器 myArray 可以包含任何内容的数组。编译器唯一要验证的是myArray 是一个数组。数组的内容可以是任何东西。这就是myArray[0].ImActuallyNotPresent 不会抛出任何错误的原因。因为你没有告诉编译器数组的内容。

为确保对数组内容进行类型检查，请提供数组的类型信息：

interface MyArrayContent {
  someString: string;
  someNumber: number
}

const myArray = new Array<MyArrayContent>();
myArray[0] = { someString: 'test', someNumber: 1 };
myArray[1] = { someString: "test2", someNumber: 2};

calc(myArray[0]); // Error
calc(myArray[0].ImActuallyNotPresent); // Error
calc(myArray[0].someString); // Error
calc(myArray[0].someNumber); // No error

function calc(x: number) {
  console.log(x * 10);
}

any 是 TypeScript 绕过所有类型检查并进入完整 JS 模式并忽略所有编译时检查的方法——其中包括验证 calc 是否具有 number 参数。我理解混乱。在像 C# 这样的语言中，即使所有 strings 都是 objects，当方法期望 string 没有强制转换时，您也不能传递 object 类型的变量。但是，如果您将any 视为“在使用此变量时禁用所有类型检查”的同义词，那将更有意义。

any 文档：https://www.typescriptlang.org/docs/handbook/basic-types.html#any