回答

无。

分析

  1. // lib.es5.d.ts源码
  3. /**
  4.  * Make all properties in T optional
  5.  */
  6. type Partial<T> = {
  7.     [P in keyof T]?: T[P];
  8. };
  10. /**
  11.  * Make all properties in T required
  12.  */
  13. type Required<T> = {
  14.     [P in keyof T]-?: T[P];
  15. };
  17. /**
  18.  * Make all properties in T readonly
  19.  */
  20. type Readonly<T> = {
  21.     readonly [P in keyof T]: T[P];
  22. };
  24. /**
  25.  * From T, pick a set of properties whose keys are in the union K
  26.  */
  27. type Pick<T, K extends keyof T> = {
  28.     [P in K]: T[P];
  29. };
  31. /**
  32.  * Construct a type with a set of properties K of type T
  33.  */
  34. type Record<K extends keyof any, T> = {
  35.     [P in K]: T;
  36. };
  38. /**
  39.  * Exclude from T those types that are assignable to U
  40.  */
  41. type Exclude<T, U> = T extends U ? never : T;
  43. /**
  44.  * Extract from T those types that are assignable to U
  45.  */
  46. type Extract<T, U> = T extends U ? T : never;
  48. /**
  49.  * Construct a type with the properties of T except for those in type K.
  50.  */
  51. type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>;
  53. /**
  54.  * Exclude null and undefined from T
  55.  */
  56. type NonNullable<T> = T extends null | undefined ? never : T;
  58. /**
  59.  * Obtain the parameters of a function type in a tuple
  60.  */
  61. type Parameters<T extends (...args: any) => any> = T extends (...args: infer P) => any ? P : never;
  63. /**
  64.  * Obtain the parameters of a constructor function type in a tuple
  65.  */
  66. type ConstructorParameters<T extends new (...args: any) => any> = T extends new (...args: infer P) => any ? P : never;
  68. /**
  69.  * Obtain the return type of a function type
  70.  */
  71. type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;
  73. /**
  74.  * Obtain the return type of a constructor function type
  75.  */
  76. type InstanceType<T extends new (...args: any) => any> = T extends new (...args: any) => infer R ? R : any;
  78. /**
  79.  * Marker for contextual 'this' type
  80.  */
  81. interface ThisType<T> { }

参考资料

  1. TypeScript 强大的类型别名 [https://juejin.im/post/6844903753431138311]