TypeScript：２つのオブジェクトの値における型同一性保証方法

Question

前提・実現したいこと

TypeScriptの型の使い方について質問です。

２つのオブジェクトがあり、それぞれキー名は異なるが同じ型のフィールドを持っています。
片方のフィールドの値をもう片方に代入する関数を書こうと思ったのですが、型の同一性が指定できず、anyで握りつぶす以外のやり方が思いつきませんでした。

anyを使わずに解決できる方法はありませんでしょうか。

該当のソースコード

const o1 = {
    age: 23,
    name: "hoge"
}

const o2 = {
    AGE: 31,
    NAME: "foo"
}

function set1to2(key1: keyof typeof o1, key2: keyof typeof o2): void {
    o1[key1] = o2[key2] as any;
}

set2to1("age", "AGE");
set2to1("name", "NAME");

TypeScript Playground

補足情報（FW/ツールのバージョンなど）

TypeScript3.5.1

Answer 1

先程の自己回答をもう少しだけスマートにする方法を見つけました。
異なる型のキーを使用しようとするとコンパイルエラーになります。

ただ、関数の中では型推論が賢くないため？結局anyで潰すことになります。
でも、使う側はコンパイルエラーで守られるので、一応タイプセーフな感じにはなります。

しかし、もう少しスマートなやり方があるんじゃないのかなぁという気がして仕方ないです・・・

const o1 = {
    age: 23,
    name: "hoge"
}

const o2 = {
    AGE: 31,
    NAME: "foo"
}

function set2to1<K1 extends keyof typeof o1, K2 extends keyof typeof o2>(
    key1: typeof o1[K1] extends (typeof o2)[K2] ? K1 : never, 
    key2: typeof o2[K2] extends (typeof o1)[K1] ? K2 : never
): void {
    o1[key1] = o2[key2] as any;
}

set2to1("age", "AGE");
set2to1("name", "NAME");
set2to1("name", "AGE"); // コンパイルエラー
set2to1("age", "NAME"); // コンパイルエラー

TypeScriptPlayground

Answer 2

一つ方法を思いついたので自己投稿します。
しかし、この方法だとジェネリクスを指定しないとコンパイルが通ってしまうし、ジェネリクスをつけるとすごい冗長になってしまいます。もう少しスマートな方法がありそうなものですが・・・

const o1 = {
    age: 23,
    name: "hoge"
}

const o2 = {
    AGE: 31,
    NAME: "foo"
}

function set2to1<V, K1 extends keyof typeof o1, K2 extends keyof typeof o2>(
    key1: typeof o1[K1] extends V ? K1 : never, 
    key2: typeof o2[K2] extends V ? K2 : never
): void {
    (o1[key1] as unknown as V) = o2[key2] as unknown as V;
}

set2to1<number, "age", "AGE">("age", "AGE");
set2to1<string, "name", "NAME">("name", "NAME");
set2to1<string, "name", "AGE">("name", "AGE"); // ジェネリクスで指定した型以外は指定できない
set2to1("name", "NAME"); // ジェネリクスを指定しないとコンパイルが通ってしまう

TypeScriptPlayground

Answer 3

const o1 = {
    age: 23,
    name: "hoge"
}

const o2 = {
    AGE: 31,
    NAME: "foo"
}

function set2to1<T>(key1: keyof typeof o1, key2: keyof typeof o2): void {
    ((o1[key1] as unknown) as T) = (((o2[key2] as unknown) as T));
}

set2to1<number>("age", "AGE");
set2to1<string>("name", "NAME");

のようにTを指定すれば可能だと思います。
ただし、そもそも今回のようにオブジェクトを書き換えるのは、思わぬバグの温床になりそうな気がするので個人的にはあまりやらないと思いますが…

Comments

[giwa]

回答ありがとうございます。しかし、その手法はanyで握りつぶすのとほぼ変わらないかなと思います。

const o1 = {
age: 23,
name: "hoge"
}

const o2 = {
AGE: 31,
NAME: "foo"
}

function set2to1<T>(key1: keyof typeof o1, key2: keyof typeof o2): void {
((o1[key1] as unknown) as T) = (((o2[key2] as unknown) as T));
}

set2to1<number>("age", "NAME"); // "NAME"はstring
set2to1<string>("age", "NAME"); // "age"はint

上記のように作成してもコンパイルが通るので、ジェネリクスをつけた意味がありません。

なお、オブジェクトを書き換えるのは今回は例題のために簡易例を出しただけなので、実際のコードはもうすこし現実的なシチュエーションです。（APIで受け取ったあるインタフェースのオブジェクトの値を、別のインタフェースオブジェクトに代入する汎用的なセッタをつくりたい・・・という感じのシチュエーションです。）