将泛型类型 T 缩小为 Pick<T, U> 的类型保护

Question

我有一个类型保护，其唯一目的是检查对象中属性的存在以及它是否具有某些价值。

如果类型保护检查成功，我想对编译器说这句话：

这是一个输入对象，如果类型保护成功则输出是一个对象 具有 lineHeight 属性

对于确切的对象，它看起来像这样：

type PickedLineHeight = Pick<TextStyle, "lineHeight">
type NonNullableLineHeight = Required<PickedLineHeight>

function hasLineHeight(style: object): style is NonNullableLineHeight {
    return (
        style.hasOwnProperty("lineHeight") &&
        (style as PickedLineHeight).lineHeight !== undefined
    )
}

如何开发更通用的函数版本，例如 hasProperty(style, prop)？

我的尝试是：

function hasProperty<T extends { [key: string]: any}, U extends keyof T>(style: T, prop: U): style is Pick<T, U> {
    return (
        style.hasOwnProperty(prop) &&
        style[prop] !== undefined
    )
}

但我经常收到此错误消息，我无法消除或理解

Answer 1

我可能会这样输入hasProperty()：

function hasProperty<T extends object, K extends keyof T>(
    style: T,
    prop: K
): style is T & { [P in K]-?: Exclude<T[K], undefined> } {
    return style.hasOwnProperty(prop) && style[prop] !== undefined;
}

这应该反映出hasProperty() 将验证该属性是否存在而不是undefined。受保护的类型T & { [P in K]-?: Exclude<T[K], undefined> } 可分配给T（这是intersection T & ... 所说的）并且对K-keyed 属性有额外的限制。注意{ [P in K]-?: Exclude<T[K], undefined> }也可以写成Required<Record<K, Exclude<T[K], undefined>>，这样可能更容易理解。让我们确保它的行为符合预期：

interface Example {
    required: string;
    optional?: string;
    requiredButPossiblyUndefined: string | undefined;
    requiredButPossiblyNull: string | null;
}

function checkExample(ex: Example) {
    ex.required.toUpperCase(); // okay

    // hasProperty de-optionalizes optional properties
    ex.optional.toUpperCase(); // error, possibly undefined
    if (hasProperty(ex, "optional")) {
        ex.optional.toUpperCase(); // okay
    }

    // hasProperty removes undefined from list of possible values
    ex.requiredButPossiblyUndefined.toUpperCase(); // error, possibly undefined
    if (hasProperty(ex, "requiredButPossiblyUndefined")) {
        ex.requiredButPossiblyUndefined.toUpperCase(); // okay
    }

    // hasProperty doesn't do anything with null
    ex.requiredButPossiblyNull.toUpperCase(); // error, possibly null
    if (hasProperty(ex, "requiredButPossiblyNull")) {
        ex.requiredButPossiblyNull.toUpperCase(); // error, possibly null
    }
}

看起来不错。好的，希望有帮助。祝你好运！

Link to code

Answer 2

我偶然想到了这个解决方案，在我看来，这与显示错误的相同。

但无论如何，这是毫无怨言的：

function hasProperty<T extends object>(style: T, prop: keyof T): style is Pick<T, typeof prop> {
    return (
        style.hasOwnProperty(prop) &&
        style[prop] !== undefined
    )
}

function hasFontSize(style: TextStyle) {
    return hasProperty(style, "fontSize")
}

function hasLineHeight(style: TextStyle) {
    return hasProperty(style, "lineHeight")
}