TypeScript 版本： 3.8.2
搜索词： structure, resolve, compare, equality, type, mismatch, circular, tuple, cycle, recursive
代码
我试图在运行时表示一些类型信息。我定义了以下枚举：
enum Type {Int = "Int",List = "List",}
然后我定义了一个 Codec 类型：一个元组，其中第一个元素是给定的 Type 枚举值，第二个元素(可选)是另一个 Codec:
type Codec<T extends Type,C extends Codec<Type> | undefined = undefined> = C extends undefined ? [T] : [T, C];
我可以像预期的那样分配 Codec:
const c1: Codec<Type.Int> = [Type.Int];const c2: Codec<Type.List, Codec<Type.Int>> = [Type.List, [Type.Int]];
我还为 Type.Int 和 Codec 创建了辅助函数：
type IntCodec = Codec<Type.Int>;const createIntCodec = (): IntCodec => [Type.Int];const intCodec = createIntCodec(); // signature is `[Type.Int]`
然而，我无法为嵌套其他 Codec 的 Codec 创建辅助函数：
type ListCodec<C extends Codec<Type>> = Codec<Type.List, C>;const createListCodec = <C extends Codec<Type>>(of: C): ListCodec<C> => [Type.List, of]; // error
这导致了一个错误：Type '[Type.List, C]' is not assignable to type 'Codec<Type.List, C>'. ts(2322)。
Playground 链接
任何想法都将非常感谢！谢谢！
3条答案
按热度按时间icomxhvb1#
这可能是由 #35741 修复的。
rsaldnfx2#
weswigham,太棒了！
关于这个场景，我还想指出一件事：
上述代码会产生错误：
...尽管
Codec类型具有1个或2个元数。希望这对解决方法有所帮助。&感谢你为4.0里程碑做出的贡献！slhcrj9b3#
我想要将这个问题转化为一个新的问题对。这个问题更容易被看作是约束传播失败的问题
这个例子写成这样...
...对我们来说更难分析，因为其正确行为取决于知道任何可以合法扩展
Codec<Type>的东西都不可能扩展undefined,但这种反事实分析在大多数情况下很难做到百分之百准确，除非我们能够轻松地重写这些边缘情况。我有一个本地分支来复制约束到受限制的示例化，但它在太复杂的项目中导致了新的类型约束循环错误，无法在合理的时间内进行分析。