[TypeScript] タプルに対し`map()`メソッドを使った際の戻り値もタプルを維持したい

Question

実現したいこと

下記のような処理があるとします。

const tuple = [
  {value: "a"},
  {value: "b"},
  {value: "c"},
] as const;

const mappedTuple = tuple.map(e => e.value);

このとき、mappedTupleの型は["a", "b", "c"]ではなく("a" | "b" | "c")[]となります。

これを、["a", "b", "c"]で返すようなガード関数を作成したいのですが、なかなか上手く行っていません。

// こういうのを作りたい
const mapOfTuple = (tuple, callbackFn) => {
  // map（と同様の）処理
};

const mappedTuple2 = mapOfTuple(tuple, e => e.value);
// 型が`["a", "b", "c"]`になる！

これを、タプルの要素数（大きさ）が任意長の場合にも適用できるようにしたいのです。

お知恵をお借りしたく、よろしくお願いいたします。

追記:
{value: "a"}のようなオブジェクトはあくまでも一例になり、実際はあらゆる値で成り立つようにと考えております。

// 例えばこのようケースも
const tuple: [number[], string[]] = [
  [1, 2, 3],
  ["a", "b", "c"],
];

const mappedTuple = mapOfTuple(
  tuple,
  e => e.reduce((acc, val) => acc + val),
); // [number, string]

Answer 1

mapと同じ、とはなりませんが、ひとまず目的を達成するには次のようなコードでどうでしょうか。

type TupleFromValueTuple<T extends readonly { value: string }[]> = {
  [K in keyof T]: T[K] extends { value: infer V } ? V : never;
};

function extractValues<T extends readonly { value: string }[]>(input: T): TupleFromValueTuple<T> {
  return input.map(item => item.value) as TupleFromValueTuple<T>;
}

const tuple = [{ value: "a" }, { value: "b" }, { value: "c" }] as const;
const output = extractValues(tuple); // readonly ["a", "b", "c"]

ややトリッキーなのは [K in keyof T]: T[K] extends { value: infer V } ? V : never; の部分かと思います。
infer を使って具体的な value の型を取得して同じキー（0, 1, 2）に同じリテラル型が設定されるようになっています。

Comments

[yudofusan]

回答いただき有難うございます！
ちょっと書き方が足りなかったので申し訳ないです、、`{value: "a"}`のようなオブジェクトを挙げたのは一例のつもりでして、他の様々な値で汎用的な型を作りたいと思っておりました。。失礼しました...
となりますと中々難しいのでしょうかね。。

[mather]

汎用性を追求しようとすると [T1, T2, T3] のように入力の型が与えられたとき、 f : T1 -> U1 & T2 -> U2 & T3 -> U3 のようなポリモルフィックな関数が存在して [U1, U2, U3] という返り値の型が得られることになるのですが、そのような都合の良い関数 f が存在するかは T1, T2, T3 に共通する条件が必要になるかと思います。例えば、 { value: string } を部分型にもつ、 number[] のように + の演算で畳み込みができる、などです。
そのような共通性をきちんと型に折り込めば可能になるのではないでしょうか。
ちなみに、他の言語ではタプルには map が適用できないことが多いです。（値を並べたものであって、同一の型の値を持つ配列ではないため）