用于检查 typeof 的 keyof 原型的静态泛型函数...？

Question

有没有更好的方法来做到这一点？我正在尝试编写一个静态工厂函数，它接受两个参数：一个通用对象和一个类类型，并返回给定类类型的一个新实例（或部分）。我想要检查通用对象的属性是否违反了类的公共属性的类型或名称。

由于它是一个静态函数，我无法在工厂类中定义新的返回类型。所以我试图依赖访问 ['prototype'] 就好像它是一个枚举。这是一个明智的方法吗？此外，似乎我需要扩展某些东西的 typeof 以使编译器能够访问“原型”属性。我想知道是否可以在保持导入函数静态的同时以更好的方式编写...？

export class emptyClass {
    //intentionally empty. Can we get rid of this somehow? If so, what would T extend?
}
export class Person {
    public id:number; 
    public name:string;
}

export class ImportObject<A> {
    public static ImportCastStatic<U,T extends typeof emptyClass>( 
            untypedObject:{[K in keyof T['prototype']]?:T['prototype'][K]}, 
            targetType:T)
            :T['prototype'] {
        let typedObject:T['prototype'] = <T['prototype']>new targetType();
        return (typedObject);
    }
}

export class Main {
    constructor() {
    //This is how I want to call it.
        let q = ImportObject.ImportCastStatic({name:"Alice",id:3}, Person);
    }
}

Answer 1

我可能会这样做：

// removing unused generic A from ImportObject<A>
export class ImportObject {
    // removing unused generic U from ImportCastStatic<U, T>
    // reinterpret T to be the instance type, not the constructor type
    public static ImportCastStatic<T>(
        untypedObject: Partial<T>, // Partial of T
        targetType: new () => T) // zero-arg constructor of T objects 
        : T {
        let typedObject = new targetType(); // no annotation/assertion required
        return Object.assign(typedObject, untypedObject); // do something with untypedObject
    }
}

这里的重要一点是我将您的T 更改为引用 instance 类型而不是 constructor 类型。给定T，您可以通过newable 类函数类型new()=>T（或{new(): T}）描述T-objects 的零参数类型。您可以将 T 保留为构造函数类型，但是要引用实例类型，您必须执行 T['prototype']（这很好）或使用 built-in 类型别名 InstanceType<T>（这可能会更好)...不过，这是更冗长乏味的代码。裸T 多次和一个new()=>T 比一个裸T 和InstanceType<T> 多次更好。

不太重要但仍然值得注意：

• 我删除了 A 和 U 类型，因为您在示例代码中没有对它们做任何事情。一般来说，未使用的泛型参数是bad idea，应该避免使用。

• 我假设你想用untypedObject 做某事，对吧？我通过Object.assign() 将其属性合并到构造的typedObject 中。

• 有一个built-in类型别名叫做Partial<T>，和{[K in keyof T]?: T[K]}是一样的，所以就用它了。

• 一旦您将T 作为实例类型，您就不必将typedObject 注释为T 或断言new targetType() 是T。编译器将从typedObject 的已知类型推断为构造函数。

好的，希望对您有所帮助；祝你好运！