Typescript类型推断在条件类型中不起作用

是因为条件类型是一种特殊的类型，它依赖于条件表达式的结果来确定最终的类型。由于条件类型的计算是在编译时进行的，而类型推断是在编译器根据变量的使用上下文推断出变量类型时进行的，所以类型推断在条件类型中不起作用。

条件类型是Typescript中的高级类型特性，它允许我们根据条件来选择不同的类型。在条件类型中，我们可以使用条件表达式来判断某个类型是否满足特定的条件，然后根据条件的结果来确定最终的类型。

例如，我们可以定义一个条件类型来判断某个类型是否为数组类型：

type IsArray<T> = T extends Array<any> ? true : false;

在上面的例子中，如果类型T是数组类型，则条件表达式T extends Array<any>的结果为true，否则为false。根据条件表达式的结果，我们可以确定最终的类型为true或false。

然而，由于类型推断是根据变量的使用上下文进行的，它无法在条件类型中进行推断。这是因为条件类型的计算是在编译时进行的，而类型推断是在编译器根据变量的使用上下文推断出变量类型时进行的。因此，类型推断无法在条件类型中起作用。

对于这种情况，我们可以通过显式地指定类型来解决。例如，我们可以使用类型断言来告诉编译器某个变量的类型：

const myArray = [1, 2, 3] as Array<number>;

在上面的例子中，我们使用类型断言as Array<number>来告诉编译器myArray是一个数字数组类型。这样，编译器就不会再尝试推断myArray的类型了。

总结起来，Typescript类型推断在条件类型中不起作用是因为条件类型的计算是在编译时进行的，而类型推断是在编译器根据变量的使用上下文推断出变量类型时进行的。为了解决这个问题，我们可以通过显式地指定类型来解决。