Typescript 嵌套对象的类型

发布于02月02日

我正在try 使用2个键的组合从对象中的特定树叶检索数据.我在正确键入用于访问嵌套对象的键(S)时遇到问题.

给定此宾语 struct

const movies = {
  "Shawshank Redemption": {
    rating: 9,
    versions: {
      "Directors Cut": {
        length: 111,
      },
      Cinema: {
        length: 113,
      },
    },
  },
  "The Dark Knight": {
    release: 2008,
    versions: {
      Standard: {
        rating: 9,
        length: 113,
      },
    },
  },
};
type MovieKey = keyof typeof movies;

如何才能在此方法中正确键入VersionKey？这有可能吗？

function getMovieVersion(movie: MovieKey, version: VersionKey)

推荐答案

您希望getMovieVersion()是一个generic函数，其中movie‘S类型是从constrained到MovieKey的泛型类型参数K.

然后，您可以使用K作为键类型来计算index into typeof movies，然后使用"versions"作为键类型来进入结果，最后使用keyof来获得version.也就是说，如果movie是类型K，则version是类型keyof (typeof movies)[K]["versions"]:

declare function getMovieVersion<K extends MovieKey>(
    movie: K,
    version: keyof (typeof movies)[K]["versions"]
): void;

您可以验证它是否按预期工作:

getMovieVersion("Shawshank Redemption", "Cinema"); // okay
getMovieVersion("The Dark Knight", "Standard"); // okay
getMovieVersion("Shawshank Redemption", "Standard"); // error!
// -----------------------------------> ~~~~~~~~~~
// Argument of type '"Standard"' is not assignable 
// to parameter of type '"Cinema" | "Directors Cut"'

如果您还需要明确知道version的文本类型，以便获得输出的特定类型，则可以使用两个泛型类型参数，如下所示:

declare function getMovieVersion<
    MK extends MovieKey,
    VK extends keyof (typeof movies)[MK]["versions"]
>(
    movie: MK,
    version: VK
): (typeof movies)[MK]["versions"][VK];

getMovieVersion("Shawshank Redemption", "Cinema").rating; // error
getMovieVersion("The Dark Knight", "Standard").rating; // okay

Playground link to code个