用 typescript 写了个函数，频频报错，请教如何解决

function _merge<T extends U, U> (target: T, source: U) : T {   for (let key in source) {     if (Object.prototype.hasOwnProperty.call(source, key)) {       const value = source[key]       if (isObject(target[key]) && isObject(value)) {         target[key] = _merge(target[key], value)       } else if (isObject(value)) {         target[key] = _merge({}, value)       } else if (isArray(value)) {         target[key] = _merge([], value)       }     }   }   return target } 

Type 'U[Extract<keyof U, string>]' is not assignable to type 'T[Extract<keyof U, string>]'.  Type 'U' is not assignable to type 'T'.   'T' could be instantiated with an arbitrary type which could be unrelated to 'U'.ts(2322) 

• 主 資深大佬 : november

  求个大佬给个解决思路。

• 資深大佬 : BingoXuan

  要不看一下 Object.assign 的签名

• 資深大佬 : Justin13

  @ts-ignore

• 主 資深大佬 : november

  @BingoXuan 请问怎么查看签名？

• 資深大佬 : BingoXuan

  @november
  我在 webstorm 里面对应的签名来自 https://github.com/microsoft/TypeScript/blob/master/lib/lib.es2015.core.d.ts
  签名是 assign<T, U>(target: T, source: U): T & U;

• 資深大佬 : SxqSachin

  同等大佬回答，我自己写这类方法的时候是最后返回的时候带一个 as T
• 資深大佬 : sillydaddy

  加一个 as any，就可以解决：
  target[key] = _merge({} as any, value)
  target[key] = _merge([] as any, value)

  虽然取巧(因为没有明确类型)，但因为显而易见，所以不会造成错误。否则需要好好啃一啃 TypeScript 的类型系统。

• 資深大佬 : mxT52CRuqR6o5

  写不出类型安全的很正常，你这种情况应该就是写不出来的，用各种 any 绕过去就行了
  其他强类型语言基本都写不出这种通用的 merge 函数吧，java 如果用反射来实现保证不了类型安全吧

• 資深大佬 : chenluo0429

  你虽然用了 typescript，但是你的代码实际上一点都不 type 。_merge 的参数要求 target 的类型为 source 的子类，但是_merge({}, value)中{}怎么保证是 value 的子类？你写了不符合 type 的脏代码，要么 ts-ignore，要么就上 any

• 主 資深大佬 : november

  @BingoXuan
  我用的 vscode，我想应该是一样的。不过我这里不是函数声明的时候报错，而是内部实现时，赋值报错。

  @sillydaddy @mxT52CRuqR6o5
  对象那行用 any 可以绕过去，但是数组那行还是报错说，不能赋值给 nerver 。

• 主 資深大佬 : november

  @chenluo0429

  说得有点道理，那我改成了这样子：_merge<T, U> (target: T, source: U) : (T & U)

  但是这样的话，每次访问 T[key] 的时候，除非进行断言 (<T&U>T)[key]，否则都报错。
  Type ‘Extract<keyof U, string>’ cannot be used to index type ‘T’.ts(2536)

  另外，(<T&U>target)[key] = _merge({}, value)这一行，对于(<T&U>target)[key]依然有错误。

  Type ‘{} & U[Extract<keyof U, string>]’ is not assignable to type ‘(T & U)[Extract<keyof U, string>]’.ts(2322)

  请问这一行怎么弄？

• 資深大佬 : mxT52CRuqR6o5

  @november
  因为 array 也是 object，你这条分支是走不到的，类型就成了 never

• 主 資深大佬 : november

  @mxT52CRuqR6o5
  啊，是，你说得对。平时摸鱼太多了，一些基本知识都忽略了。。。。