我正致力于在 Typescript 中实现一些我想重载的函数,这些函数也使用泛型。我对这个结果感到非常困惑:
*请注意,我已经删除了不会导致问题的代码,因此请忽略实际功能的无用。
export function persistContactData<T>(
contactData: T,
callback?: () => void
): void;
export function persistContactData<T>(
{ contactData }: { contactData: T },
callback?: () => void
): void;
export function persistContactData<T>(
{ contactData }: { contactData: T },
callback?: () => void
) {
// implementation
}
// *** Compile error: "This overload signature is not compatible with its implementation"
//
export function getPersistedContactData<T>(
contactId: string,
callback: (result?: T) => void
): void;
// No more errors, and if I remove the above signature everything is fine.
export function getPersistedContactData<T>(
{ contactId }: { contactId: string },
callback: (result?: T) => void
): void;
export function getPersistedContactData<T>(
{ contactId }: { contactId: string },
callback: (result?: T) => void
) {
// implementation
}
我对这里的问题感到困惑,但我在猜测如何使用泛型参数?但这似乎没什么区别。
(我使用的是 Typescript 3.9.3)
编辑:我更新时没有任何未知类型
答案 0 :(得分:0)
问题是泛型参数让编译器假设形状可能定义预期类型,因为实际实现将定义实际参数形状。
如果删除所有泛型并使用实际类型,则可以看到这一点。
export function persistContactData<T>(
contactData: T, // <---- What is T? ┐( ̄~ ̄)┌ Could be the right shape?
callback?: () => void
): void;
export function persistContactData<T>(
{ contactData }: { contactData: T },
callback?: () => void
): void;
export function persistContactData<T>(
{ contactData }: { contactData: T },
callback?: () => void
) {
// implementation
}
// Error
export function persistContactData(
contactData: string, // <---- string is not compatible with the implementation
callback?: () => void
): void;
export function persistContactData(
{ contactData }: { contactData: string },
callback?: () => void
): void;
export function persistContactData(
{ contactData }: { contactData: string },
callback?: () => void
) {
// implementation
}