我真的很接近了，并且確信一個有經驗的typescript開發者會很快解決這個問題。
我想創建一個接收物件的函式，以及一個擴展這個物件的可選函式。
- 如果沒有給出引數--將回傳物件。
- 如果給出了擴展函式（給出的引數與
undefined不同）--將回傳這個函式的一個新實體，該實體有一個更新的初始物件值。 - 物件也是可選的。如果你傳遞這個物件，你將覆寫物件的當前值。
使用實體：
let f1 = func(undefined, {'x': 10})
f1() // {x:10}
let f2 = func((pos: any) => ({...pos, y: 10}）, {'x': 10}) //f2 => () => {x:number,y:number}。
let f3 = f2() /f3 is {x:10,y:10}
f3 //{x:10,y:10}
let f4 = f2((pos: any) => ({...pos, y: 10}）,{})
f4() // {y:10}。
javascript實作：
function func(extend? , obj? ) {
if (extend) {
let newObj = extend(obj)
return ((extend, obj = newObj) => func（extend, obj）)
} else return obj!
}
到目前為止，javascript的結果作業得很好。所以我想創建一個typescript函式，它將遵循這個物件的確切型別。
解決了，感謝@jcalz see real usecase/a>
我自己的嘗試
這不是問題的一部分，它只是為了顯示我已經嘗試過的東西。我們需要創建一個泛型函式，如果給定一個引數，則回傳一個新的泛型
type Primitive = bigint | boolean | null | number | string | symbol | undefined。
型別 PlainObject = Record<string, Primitive>。
type genericFuncType< K extends PlainObject, Tin extends K =K, Tout extends Tin=Tin。T extends ((pos: Tin) => Tout) = undefined> = T extends undefined ? K: genericFuncType<Tout, Tout, Tout>
let o = {x:10}。
型別 ot = typeof o
到// {x: number}
type t1 = genericFuncType<ot>
t1 // {x: 數字}
type t2 = genericFuncType<ot,ot,ot,(pos:ot)=>/span>ot>
t2 //應該回傳一個新的函式，但卻回傳{x: number}。
好吧，我不能讓這個泛型完美地作業，但讓我們在函式上試試，typescript func實作：
function func< K extends PlainObject, Tin extends K, Tout extends Tin, T extends ((pos。Tin) => Tout) = undefined>(extend: T, obj: K = {}) as any) : genericFuncType<K, Tin, Tout, T> {
if (extend) {
let newObj = extend(obj as any)
return ((extend, obj = newObj) => func（extend, obj）) as any
} else return obj as any
}
let f1 = func(undefined, {'x': 10}) /f1 =>。
typeof f1 // {x:number} - good
let f2 = func((pos: any) => ({...pos, y: 10}），{'x'。10}) //f2 => () => {x:number,y:number}。
typeof f2 // {x:number} - bad
我做錯了什么？ 為什么我不能遞回地回傳一個具有擴展型別的新函式？
（僅供參考 - 這里有一個非常類似的函式的游戲場，可以深入2層作業 - 但是螺母遞回地深入）
uj5u.com熱心網友回復：
通過觀察func()的實作，我認為最好是將Func<T>介面作為過載的集。 typescriptlang.org/docs/handbook/2/functions.html#call-signatures" rel="nofollow noreferrer">call signatures，表示你可以用四種不同的方式呼叫它或它回傳的函式（帶或不帶每個extend和obj引數）以及結果應該是什么。 一個Func<T>是持有一個T型別的結果，這個結果可能會出來，也可能不會出來，這取決于你如何呼叫它：
interface Func< T extends object | undefined> {
(): T;
<U extends object>（extend: undefined, obj: U）。U;
<V extends object>(extend: (obj: T) => V)。Func<V>。
<U擴展了物件，V擴展了物件>(extend: (obj: U) => V, obj: U): Func<V>。
}
如果你呼叫一個沒有obj引數的Func<T>，那么它將對它所持有的T型別的值進行操作。 但是如果你呼叫一個帶有obj引數的Func<T>，那么它將對這個U值進行操作而不是T。
如果你呼叫一個沒有extend回呼的Func<T>，那么它將僅僅回傳其操作的值；要么是T（如果沒有傳遞obj），要么是U（如果傳遞obj）。
另一方面，如果你呼叫一個帶有extend回呼的Func<T>，該回呼將被呼叫到Func<T>操作的值上。 ...所以extend回呼要么接受T（如果沒有傳遞obj），要么接受U（如果傳遞obj）。 而無論V的extend回呼回傳什么型別，Func<T>將回傳另一個Func<V>的函式。
最后，func本身顯然是一個Func<undefined>型別的值，因為它所持有的值只是undefined（如果你呼叫func()而沒有引數，你會得到undefined出來）。
這意味著我們可以這樣寫：
。const func。Func<undefined> = function func(extend? : any, obj? : any) {
if (extend) {
let newObj = extend(obj)
return ((extend: any, obj = newObj) => func（extend, obj）)
} else return obj!
}
注意，我決定在實作中使用大量的的any型別，因為我對說服編譯器相信func實際上是一個Func<undefined>不感興趣。 我只是聲稱它是。
好吧，那么讓我們看看它的操作：
let f1 = func(undefined, { 'x': 10 }）。)
/* let f1: {
x: number;
} */
console.log(f1.x.toFixed(2) // "10.00"。
let f2 = func(<T,>(pos: T) =>（{ ...pos, y: 10 }）, { 'x': 10 })
/* let f2: Func<{ x: number;} & { y: number;}> */
const f2r = f2();
/* const f2r: { x: number; } & { y: number; }> const f2r = f2(); /* const f2r. */
console.log(f2r.y.toFixed(2)) // "10.00"
看起來不錯；編譯器完全理解了f1()和f2()的情況。
但是關于f2是如何產生的，有一個重要的說明。 extend回呼的型別是<T>(pos: T) => T & {y: number}。 我不得不把它注釋成這樣（或者至少注釋成輸入；編譯器可以推斷出回傳型別）。 這對編譯器來說是必要的，因為它知道無論輸入什么pos，都會產生一個具有額外數字y屬性的相同型別的值。 如果我只是呼叫func()和你注釋的回呼：
let f3 = func((pos: any) => /span> ({ . .pos, y: 10 }), { 'x'/span>: 10 })
/* let f3: Func< any> */
const f3r = f3()。
/* const f3r: any */.
編譯器會推斷出extend的回傳型別只是any，而extend的型別是（pos: any）=> any。 而一旦發生這種情況，就意味著f3是一個Func<any>，而編譯器已經忘記了你所關心的一切。 但這并不是編譯器的錯；將事物注釋為any往往會造成這種情況；any的感染力很強。
而且為了表明我們也可以呼叫回傳的函式：
let f4 = f2((pos) => /span> ({ . ...pos, y: 10 }）, {}）。)
//let f4: Func<{ y: number; }>
let f5 = f4()
// let f5: { y: number; }
console.log（JSON.stringify（f5））。// {"y":10}
看起來不錯！
轉載請註明出處，本文鏈接：https://www.uj5u.com/qukuanlian/330179.html
標籤：