如果我们不担心将identity用作default function argument，那么正确的类型如下所示：

function access<T extends object, K extends keyof T, R>(
  object: T, key: K, modify: (v: T[K]) => R) {
  return modify(object[key]);
}

字符串
这里我们只是添加了一个新的类型R，对应于modify的返回类型，其中modify的输入类型是indexed access typeT[K]。它的行为与预期的一样：

const object = {
  zero: 0,
  one: 1,
  two: "2",
};
function identity<T>(x: T) {
  return x;
}

const zero = access(object, "zero", Boolean); // boolean
const one = access(object, "one", identity); // number
const two = access(object, "two", Number); // number

型
当然，如果你需要的话，你需要传入identity。
当尝试使用identity作为默认参数时，它会变得更加复杂。TypeScript中存在断开连接，这使得很难使用带有默认函数参数的generics。默认类型参数并不完全符合大多数人的期望。问题与 * 调用者 * 选择类型参数的事实有关，但是在这里，我们希望 * 实现 * 选择它，如果有人没有传入modify属性。它就是不这样工作。在microsoft/TypeScript#56315有一个开放的功能请求，要求更好的东西。
除非发生这种情况，否则最简单的解决方法是使用默认的泛型类型参数（当modify是indentity时，那么上面的R应该是T[K]，所以我们默认为R = T[K]），然后Assertidentity是必要的类型(v: T[K]) => R：

function identity<T>(x: T) {
  return x;
}

function access<T extends object, K extends keyof T, R = T[K]>(
  object: T, key: K, modify = identity as (v: T[K]) => R) {
  return modify(object[key]);
}

型
这仍然是你想要的方式：

const object = {
  zero: 0,
  one: 1,
  two: "2",
};
const zero = access(object, "zero", Boolean);
const one = access(object, "one");
const two = access(object, "two", Number);

型
(The需要类型Assert的原因是没有什么能阻止疯狂的人显式地指定类型参数，
const crazy = access<type of object，“one”，string>（object，“one”）; // const crazy：string
这是一件很奇怪的事情。但是编译器不能确定这不会发生。）
Playground链接到代码

是的，在TypeScript中，您可以使用ReturnType实用程序类型定义函数的返回类型，键为引用其参数之一的属性。例如：

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
    return obj[key];
}

const person = {
    name: 'John',
    age: 30
};

const name: string = getProperty(person, 'name');
const age: number = getProperty(person, 'age');

字符串
在此示例中，getProperty函数返回与其参数的指定属性的类型匹配的类型。