TypeScript Generics：用联合定义类型交集

Question

我正在构建一个 TypeScript 库，它利用了另一个库中的一些接口。 我试图从泛型类型和我不控制的接口的交集定义一个类型，并结合void之间的联合，这在依赖库中具有特殊含义。

我试图为我所面临的问题创建一个最小的表示。

export type AllProps<Props> = (Props & IDependecyProps) | void;

interface MyProps {
  disableCache: boolean;
}

function doTheThing(props: AllProps<MyProps>) {
  // Property 'disableCache' does not exist on type 'AllProps'.
  //  Property 'disableCache' does not exist on type 'void'.ts(2339)
  console.log(props.disableCache);
}

我的目标是AllProps应该允许您指定disableCache和IDependecyProps中的任何属性，或者类型导致void 。 我所依赖的库对void类型有特殊的意义，这使得它很有用。

编辑：我使代码示例太简单了，忘记添加泛型类型。

Answer 1

您可以在道具上使用类型断言并检查属性是否存在，因为您的示例是boolean我们需要检查它是否undefined

在这里阅读更多

interface IDependecyProps {
    something: number
}
export type AllProps = (MyProps & IDependecyProps) | void;

interface MyProps {
  disableCache: boolean;
}

function doTheThing(props: AllProps) {

  if ( typeof((props as MyProps).disableCache)!=='undefined' )
  console.log((props as MyProps).disableCache);
}
doTheThing({ disableCache: false, something:1})

操场

Answer 2

简单的if将改进类型并排除void ：

function doTheThing(props: AllProps) {
  if (props) {
    console.log(props.disableCache); // props is narrowed to MyProps & IDependecyProps
  }
}

控制流分析将内部props if类型缩小到MyProps & IDependecyProps 。

此外if无论如何都需要在运行时防止错误（ props参数可以根据其类型定义undefined ）。

操场