我有一个用于上传文件的组件，在该组件中，用户可以基于用户传递给该组件的multiple属性来上传单个文件或多个文件.用户还可以提供onChange功能，在该功能中它将接收已经上载的文件.如果用户上传一个文件，我将传递Change a File，如果用户上传多个文件，我将传递Change a File[].有没有一种方法可以声明一个基于布尔属性的接口，可以决定它应该是什么版本的函数？
export interface FilePickerProps {
multiple?: boolean
// something like this
onChange: multiple ? (selectedFiles: File[]) => void : (selectedFiles: File) => void
}
我希望在传递onChange属性时，我可以接收到选定文件参数的正确类型，如果它是File或File[]的话.
这种onChange对multiple的条件依赖并不能很好地用一个interface来表示.相反，使用discriminated union type会更合适，其中multiple是discriminant属性.例如:
type FilePickerProps = {
multiple: true
onChange: (selectedFiles: File[]) => void
} | {
multiple?: false
onChange: (selectedFiles: File) => void
}
现在如果multiple是true，那么onChange接受一个File的array.但如果multiple是false或缺失或undefined，则onChange只接受单个File.
让我们来测试一下:
function foo(f: FilePickerProps, files: File[]) {
if (f.multiple) {
f.onChange(files); // okay
} else {
files.forEach(file => f.onChange(file)); // okay
}
}
看上go 不错.编译器可以遵循这样的逻辑，即选中f.multiple会影响f.onChange的表观类型.