实例化 TypeScript 泛型类而不指定类型

Question

如果我创建一个泛型类

class Generic<T> {
     prop: T;
}

如果没有在类型中指定T，它将不允许我输入内容

// Generic type 'Generic<T>' requires 1 type argument(s).
const val: Generic = new Generic(); 

但是如果我使用类型推断，它不会抱怨，它让我实例化它

const val = new Generic();
// field prop is not of type any, we can't access any properties on it
// val.prop.anything -> Compiler error
// val.prop.toString() -> No error, is it a string?
// val.prop.length -> Compiler error, not a string, just assumes that everything has a toString (based on boxing)

是否指定了此行为？这背后的原因是什么？

背景

Angular2 有一个EventEmitter，它需要事件的参数类型。但是，对于某些事件，您不传递任何参数，在这种情况下，我们一直使用EventEmitter<void>。但是，我只是注意到您可以在不指定类型的情况下定义发射器，new EventEmitter() 可以工作。这种方法的缺点是如果您将参数传递给emitter.emit('something')，编译器不会抱怨。这不是我感兴趣的，只是背景，以便读者了解问题的来源。

游乐场 https://www.typescriptlang.org/play/#src=class%20Generic%3CT%3E%20%7B%0D%0A%20%20%20%20prop%3A%20T%3B%0D%0A%7D%0D%0A%0D%0Aconst%20val%3A%20Generic%20%3D%20new%20Generic()%3B%0D%0A%0D%0Aconst%20val2%20%3D%20new%20Generic()%3B%0D%0A%0D%0Aval2.prop.test%20%3D%201%3B

Answer 1

以下两个语句是等价的……

const val: Generic<{}> = new Generic();
const val2 = new Generic();

在第一种情况下，右侧省略的类型参数是从左侧的类型推断出来的。

在第二种情况下，您最终得到一个对象类型，因为无法推断出更具体的类型。

这里的规则是变量的类型必须满足泛型类型参数。当您使用const val: Generic = new Generic(); 时，类型参数不满足 - 您不能要求推断它，因为您已决定对变量进行注释。

所以两种允许的情况是：

1. 使用类型注释自己指定（整个）类型
2. 允许编译器推断（整个）类型

要使后面的示例正常工作，您有两个选择。

选项1...如果您真的不想限制类型，请使用动态...

const val2 = new Generic<any>();
val2.prop.test = 1;

或者...选项2...如果您确实想限制类型，请指定它。

const val2 = new Generic<{ test: number }>();
val2.prop.test = 1;

最后，在许多情况下，您不需要指定类型参数，因为它可以根据上下文进行推断。