TypeScript：具有泛型的递归深度可变。错误：T 不可分配给 Mutable<T>

Question

我正在尝试编写一个深度递归的Mutable 类型：

Mutable<T> = ...
    // remove all "readonly" modifiers
    // convert all ReadonlyArray to Array
    // etc.
    // and do it all recursively

const mutate = <T>(val: T, mutateFn: (mutableVal: Mutable<T>) => void): T => {
  return null as any
}

只要我不使用泛型，它就可以正常工作：

// works fine
mutate([] as ReadonlyArray<string>, mutableVal => {
  mutableVal.splice(42, 0, "test");
});

但是在泛型函数中使用它时出现错误：

// Error: Argument of type 'T' is not assignable to parameter of type 'Mutable<T>'.
const doSomething = <T>(array: ReadonlyArray<T>, index: number, elem: T) => {
  mutate(array, mutableVal => {
                      // Here's the error
                      //         v
    mutableVal.splice(index, 0, elem);
  });
}

我知道，可变数组的类型是Array<Mutable<T>>，而splice 现在需要Mutable<T> 值，而不是T。但我不知道如何解决它。

你知道如何解决这个问题吗？

我创建了一个 TypeScript Playground，因此您可以使用以下代码： Link to TypeScript Playground

Answer 1

我的建议是这样做：

const doSomething = <T>(array: ReadonlyArray<T>, index: number, elem: T) => {
    mutate({ array: array, elem: elem }, mutableVal => {
        mutableVal.array.splice(index, 0, mutableVal.elem);
    });
}

这个想法是您需要 elem 是可变的，以便将其添加到深度可变数组中，但您最初的调用并没有这样做。由于您希望同时更改 array 和可能的 elem，因此最直接的解决方案是传入一个同时包含 array 和 elem 的对象，并对其进行深度可变版本的操作。

只有您知道在elem 和array 上调用mutate() 是否可以接受，因为mutate() 的实现被忽略了。我猜这会涉及到这样的断言：

const mutate = <T>(val: T, mutateFn: (mutableVal: Mutable<T>) => void): T => {
    mutateFn(val as Mutable<T>); //?‍♀️
    return val;
}

在这种情况下，我会说“谁在乎”，无论您是在 elem 上调用 mutate()，还是只是将 elem 断言到 doSomething() 内的可变对应项。另一方面，如果您的实现是涉及克隆的更高级的东西，那么您应该考虑在elem 上调用它是否有意义。

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