当前基于控制流的收缩（如switch/case或if/else块）不能很好地处理generics。问题是，虽然检查key === KeyEnum.VK会缩小key的类型，但它不会影响泛型类型参数。（在您的示例中是T）。这被认为是一个缺失的特性，正如microsoft/TypeScript#33014中所要求的那样。除非实现了它，否则您需要解决它。
现在，如果你想使用一个泛型函数并返回一个ReturnTypes[T]这样的indexed access type，你需要实际执行一个索引操作：也就是说，获取一个ReturnTypes类型的对象，并读取T类型的键处的属性。从概念上讲，你的例子看起来像这样：

const fetchTemplate = <T extends KeyEnum>(key: T): ReturnTypes[T] => {
  return {
    [KeyEnum.VK]: { vk: 'someString' },
    [KeyEnum.VIBER]: { viber: 1 }
  }[key]
}; // okay

字符串
一个可能的问题是，它需要你预先计算每一个可能的返回值。如果你调用fetchTemplate(KeyEnum.VK)，对象仍然会计算{viber: 1}，然后把它扔掉。对于这样一个简单的情况，这可能没什么大不了的，但是如果你的代码有副作用或者计算起来很昂贵，那么你可以重构为使用getters，这样只有相关的代码才能运行：

const fetchTemplate = <T extends KeyEnum>(key: T): ReturnTypes[T] => {
  return {
    get [KeyEnum.VK]() {
      return { vk: 'someString' };
    },
    get [KeyEnum.VIBER]() {
      return { viber: 1 };
    }
  }[key]
};

型
在这里，如果调用fetchTemplate(KeyEnum.VK)，只有KeyEnum.VK的getter永远不会运行。
希望有一天microsoft/TypeScript#33014能够实现，因为这种重构虽然功能强大，但可能会引起混淆。
Playground链接到代码

你可能需要的是函数重载，在你的例子中看起来像这样：

enum KeyEnum {
  VK = 'VK',
  VIBER = 'VIBER',
}

type VkResponse = {vk: string};
type ViberResponse = {viber: number};

function fetchTemplate(key: KeyEnum.VIBER): ViberResponse;
function fetchTemplate(key: KeyEnum.VK): VkResponse;
function fetchTemplate(key: KeyEnum) {
  if (key === KeyEnum.VK) {
    return { vk: 'someString' };
  }

  if (key === KeyEnum.VIBER) {
    return { viber: 1 }
  }
}

const vkRes: VkResponse = fetchTemplate(KeyEnum.VK);
const viberRes: ViberResponse = fetchTemplate(KeyEnum.VIBER);

字符串