typescript:分割代入での変数上書きで型を保証する書き方について

Question

こちらの記事と関連するかもしれないのですが、
分割代入したときの型の保持について質問させてください。
TypeScriptで関数の引数に分割代入したときの型指定方法

前提・実現したいこと

分割代入での変数上書きで型をしたい。
またはおすすめの書き方があればご教示いただきたい。

該当のソースコード

export class hoge {
  foo:string = "hoge:foo"
  ver:string = "hoge:ver"
  baz:string = "hoge:baz"
}
export class fuga {
  baz:string = "fuga:foo"
}

function myUnion(input:fuga) : hoge {
  let ret = new hoge()
  ret = {...ret,...input}
  return ret
}

const myHoge = new hoge()
console.log(myHoge)
console.log(myHoge instanceof hoge)
//hoge { foo: 'hoge:foo', ver: 'hoge:ver', baz: 'aaa' }
//true

const expectMyHoge:hoge = myUnion(new fuga())
console.log(expectMyHoge)
console.log((expectMyHoge as hoge) instanceof hoge) 
//{ foo: 'hoge:foo', ver: 'hoge:ver', baz: 'fuga:foo' }
//false

function myUnion の中でclass hogeをnewして、引数に渡された差分だけを更新して、hoge型を返却したいです。
プロパティが少量であれば、以下のようなコードで実現できるのですが

function myUnion(input:fuga) : hoge {
  let ret = new hoge()
  ret.baz = input.baz
  return ret
}

プロパティが大量にあることを想定した場合、分割代入が便利かと考えています。
このようなコードでは、型情報が飛んでしまうものでしょうか。
またこういった要件の場合、どう書くのがおすすめでしょうか。

お手数をおかけしますが、よろしくお願いもうしあげます。

Comments

[hoshi-takanori]

クラスオブジェクトに対しては ret = { ...ret, ...input } はできないというか、クラス情報が消えてしまうのでは…。

[UnripeTomato]

回答ありがとうございます。
トランスパイル後、以下のようになるので、、、こういうパターンの時どう書けばベターかなと悩んでおりまして・・・
function myUnion(input) {
var ret = new hoge();
ret = { ret: ret, input: input };
return ret;
}

Answer 1

このようなコードでは、型情報が飛んでしまうものでしょうか。

型情報どころか、オブジェクトが別物になっています（JavaScriptで書いても変わりません）。myUnionの返り値は、{...ret,...input}で新しく作られたオブジェクトです。

既存のオブジェクトに上書きしたいのなら、Object.assignを使ってみてはどうでしょうか。

function myUnion(input:fuga) : hoge {
  // オブジェクト自体の破壊的変更しかしないので、constで問題なし
  const ret = new hoge()
  Object.assign(ret, input);
  return ret
}

Comments

[UnripeTomato]

ありがとうございます。
Object.assign({}, obj) と { ...obj } の挙動の違いについて確認し、理解できました。

typescriptだけでなく、本来のJavaScriptも学びつつ、回答できるようになっていきたいと思います。