编辑

由于在Map类型中引入了as子句，因此可以将此类型写成：
您可以使用带有as子句的Map类型：

type InvertResult<T extends Record<PropertyKey, PropertyKey>> = {
  [P in keyof T as T[P]]: P
}

Playground链接

原始答案

你可以使用一个更复杂的Map类型来实现，它可以保留正确的值：

const o = {
    a: 'x',
    b: 'y',
} as const;

type AllValues<T extends Record<PropertyKey, PropertyKey>> = {
    [P in keyof T]: { key: P, value: T[P] }
}[keyof T]
type InvertResult<T extends Record<PropertyKey, PropertyKey>> = {
    [P in AllValues<T>['value']]: Extract<AllValues<T>, { value: P }>['key']
}
declare function invert<
    T extends Record<PropertyKey, PropertyKey>
>(obj: T): InvertResult<T>;

let s = invert(o);  // type is { x: "a"; y: "b"; }

Playground链接
AllValues首先创建一个包含所有key、value对的并集（因此对于示例，这将是{ key: "a"; value: "x"; } | { key: "b"; value: "y"; }）。在Map的类型中，我们Map联合中的所有value类型，对于每个value，我们使用Extract提取原始key。只要没有重复的值，这将工作得很好（如果有重复的值，我们将得到一个键的并集，在这里值出现）

Titian Cernicova-Dragomir的解决方案非常酷。今天，我发现了另一种用条件类型交换对象键和值的方法：

type KeyFromValue<V, T extends Record<PropertyKey, PropertyKey>> = {
  [K in keyof T]: V extends T[K] ? K : never
}[keyof T];

type Invert<T extends Record<PropertyKey, PropertyKey>> = {
  [V in T[keyof T]]: KeyFromValue<V, T>
};

使用const o测试：

const o = {
  a: "x",
  b: "y"
} as const;

// type Invert_o = {x: "a"; y: "b";}
type Invert_o = Invert<typeof o>;

// works
const t: Invert<typeof o> = { x: "a", y: "b" };
// Error: Type '"a1"' is not assignable to type '"a"'.
const t1: Invert<typeof o> = { x: "a1", y: "b" };

声明invert函数的方式与上面的答案相同，返回类型为Invert<T>。
Playground

这在TypeScript 4中变得非常简单。1对Map类型中的键重Map的支持：

const o = {
    a: 'x',
    b: 'y',
} as const;

declare function invert<
    T extends Record<PropertyKey, PropertyKey>
>(obj: T): {
    [K in keyof T as T[K]]: K
};

let s = invert(o);  // type is { readonly x: "a"; readonly y: "b"; }

Playground