流泛型类型<T>‘与对象类型不兼容’

Question

下面是我试图用泛型注释时遇到的流错误的一个简化示例：

// @flow

function component<T>(state: T) {
    let model = deepFreeze(state);
    //        ^ Cannot call `deepFreeze` with `state` bound to `o` 
    //          because `T` [1] is incompatible with object type [2].

    return {
        update: (state: T) => {
        // etc.
        }
    };
}

function deepFreeze(o: Object) {
    Object.freeze(o);
    // etc.
    return o;
}

在我看来，<T>应该简单地跟踪类型，不管它是什么。

在这个例子中，我使用了我能找到的最不具体的类型，关于这个类型，文档说：“如果您需要选择退出类型检查器，并且不想一直使用任何类型，您可以使用Object”。

那么，当多态类型不可避免地以更具体的方式在其他地方使用时，如何才能使用多态类型呢？

Answer 1

缩小泛型类型将删除以下错误：

function component<T: {}>(state: T) {
    ...
}

来自文档：

...generics有一个“未知”类型。您不允许像使用特定类型一样使用泛型。

你可以添加一个类型到你的通用..。通过这种方式，您可以保持泛型的行为，同时只允许使用某些类型。