为什么打字稿函数参数类型推断失败？

Question

class Base<T> {
    public state = {} as T;
    public getState(): T {
        return this.state
    }
    public setState(v: T) {
        this.state = v
    }
}

interface DogProps {
    name: 'hello';
    age: 123;
}

class Dog extends Base<DogProps> {
    public sayName() {
        console.log('name: ', this.state.name);
    }
    public sayAge() {
        console.log('age: ', this.state.age);
    }
}

function test<U, T extends Base<U>>(Cor: new () => T): [U, T] {
    const dog = new Cor();
    const state = dog.getState();
    return [state, dog];
}

const [state1, dog1] = test(Dog); // state1 is unknow

const [state2, dog2] = test<DogProps, Dog>(Dog); // verbose but right

demo playground

我是打字稿的新手。
我认为我写的代码是对的。但它没有按预期工作。
为什么 state1 的类型未知？
没有test<DogProps, Dog>(Dog)，我能得到正确的类型吗？

非常感谢！！！

Answer 1

这是泛型解析如何工作的副作用，typescript 看到参数中引用了T，因此它尝试解析它，但约束基于U，因此它首先尝试解决它。因为U 没有出现在参数列表中的任何位置，所以它无法解析它，所以它以unknown 结束

如果您确保 U 出现在参数列表中，您可以确保 typescript 能够通过仅查看输入来解决它，而无需首先弄清楚 T：

function test<U, T extends Base<U>>(Cor: new()=>(T & Base<U>)): [U, T] {
                                                 // ^here^
}

这应该可以解决问题:)