类型“Observable”'不可分配给类型“Observable”

Question

我们正在使用 Knockout.js (v3.5.0) 及其 TypeScript 定义。在 TypeScript 4.6.2 之前它们都工作正常。然而，问题似乎比定义文件中的问题“更深”。 TypeScript 在处理布尔类型方面似乎发生了一些变化。因此，我没有将这个问题标记为 Knockout.js 问题，而是创建了一个受 Knockout d.ts 启发的小代码示例来说明该问题：

interface Observable<T>
{
  (): T;
  (value: T): any;
}

function observable<T>(value: T): Observable<T>
{
  return undefined as any;  // the implementation is not important
}

const x: Observable<boolean> = observable(false);

此代码有一个编译问题：

Type 'Observable<false>' is not assignable to type 'Observable<boolean>'.
  Types of parameters 'value' and 'value' are incompatible.
    Type 'boolean' is not assignable to type 'false'.

当然将 false 转换为boolean 有效，但我确实认为这是黑客，而不是解决方案（显然我们需要对每次出现的 true/false 进行强制转换）。 有什么办法可以真正解决这个问题吗？

编辑：根据评论，显然某些类型检查已更改。更多示例请参见此处。 <一href="https://www.typescriptlang.org/play?#code/JYOwLgpgTgZghgYwgAgPICMDO0Bud0A2EAPACoB8AUAN6XLIAUAl AFzKkDcdjeBArhDalWyOCACeXAL6VKMPiARhgAexDIVWXPiJlyDXgKEiM2KHkIkKNblAhg+UdQoAmEGKAgvRmURI70APSByGAAFij AALYADKRREOBwymrIwL4gKmBpsSpQYGJglDKUYOIxKAAKCOIJ4ACy9mEq3gC8yADkCHCYYR3IAD6d3VAuHQGyCGqY2QAebKbalsT oKipEYuTI7ZpmFkQM8ATYTFxTIDPI4gta5jok1bWJYI3hLVs7t-sQDF09fadkJRzpcAF43Pb3YggPhRdDQADaAF0PhovvcGMjAUA" rel="nofollow noreferrer">Playground 链接。

此更改有任何信息（带解释）吗？

Edit2：根据评论中的建议，我在 https://github.com/microsoft 提交了错误报告/TypeScript/issues/48150

Answer 1

我建议改为显式指定泛型类型，例如：

const x = observable<boolean>(false);

这样做的原因是我们假设 false 暗示 boolean。通常是这样，但并非总是如此。想象一下这些类型

const x = observable<false | undefined>(false);
const y = observable(false);

（对于任何试图以任何其他方式解决打字问题的人，请确保上面的行也有效。）

Answer 2

根据已回复 Github 问题的用户 (https://github.com/microsoft/TypeScript/issues/48150) Typescript 4.6 编译错误是预期的：

我相信这是一个正确的错误，在旧版本中没有正确处理。
通用参数 T 是不变的，因为它用在协变位置 () => 和 () => 中。 T和逆变位置(值：T)＝>任何。

这确实是事实。由于用户帮助解决了问题，为了完整起见，我将尝试在这里重新表述和总结他的评论。

第一个提出的解决方案仅部分解决了问题：

function observable<T>(value: T extends infer U ? U: never): Observable<T>
{
  return undefined as any;  // the implementation is not important
}

const x: Observable<boolean> = observable(false); // no error

但是，这将产生没有类型注释的未知类型。

const bad = observable(false);
//     ^ unknown, which should be Observable<boolean>

正确的解决方案似乎是引入了另一种类型参数

declare function observable<T, U = any>(value?: T extends infer R ? R : U): 
    unknown extends T ? Observable<U> : Observable<T>

Playground 链接

由于主要问题与 Knockout.js 库有关，因此我在那里提交了该问题 (https://github.com/knockout/knockout/issues/2589)，希望有足够 Typescript 知识的人能够纠正这个问题。