从 object 属性推断类型的通用接口

Question

我有一个接口I ，目的是确保val的属性类型与fn的返回类型相同。

有问题的类型仅限于string或number 。

interface I<T extends string | number> {
  val: T;
  fn: () => T;
}

const x1: I<string> = {
  val: "hello",
  fn: () => "world",
};

const x2: I<number> = {
  val: 3,
  fn: () => 4,
};

是否有可能不必显式设置T而是推断它？ 这样我就可以这样做：

// accepted
const x1: I = {
  val: "hello",
  fn: () => "world",
};

// accepted
const x2: I = {
  val: 3,
  fn: () => 4,
};

// rejected
const x3: I = {
  val: "hello",
  fn: () => 4,
};

// rejected
const x4: I = {
  val: 3,
  fn: () => "world",
};

Answer 1

据我所知，TS 不可能为您的示例推断类型。 但是，有一种方法可以使用助手 function 实现类似的效果：

function make<T extends string|number>(input: I<T>) {
  return input;
}

// accepted
const x1 = make({
  val: "hello",
  fn: () => "world",
});

// accepted
const x2 = make({
  val: 3,
  fn: () => 4,
});

// rejected
const x3 = make({
  val: "hello",
  fn: () => 4,
});

// rejected
const x4 = make({
  val: 3,
  fn: () => "world",
});

游乐场链接