如何在不丟失推斷的泛型類型的情況下驗證泛型可變參數映射元組參數？
[英]How to validate generic variadic mapped tuple arguments without losing the inferred generic types?
我有一個高階函數createHandler ，它以可變映射元組的形式接受剩余參數，將它們映射到通用對象類型（我們現在稱它為ObjA<> ）。 然后可以將返回的函數傳遞給另一個高階函數useHandler ，該函數將調用它（顯然在此過程中做更多事情）。 我斷言從createHandler ...
如何推斷具有多個泛型的 Typescript 可變元組類型？
[英]How to infer Typescript variadic tuple types with multiple generics?
我無法找出使用兩個通用參數鍵入可變參數元組類型（我認為這是正確的術語）的正確方法。 Typescript 似乎能夠很好地創建從函數的通用剩余參數到另一種類型的映射類型，並將參數的類型推斷為該類型內的函數沒問題。 但是，當“其他”類型需要兩個通用參數，而不僅僅是一個時，我遇到了問題。 我認為這個問 ...
如何轉換元組 object 文字類型並使 object 文字類型的所有屬性都需要
[英]How to convert a tuple object literal type and make all properties of the object literal type required
我有一個包含多個 object 文字類型的元組類型，我們將此示例稱為Actions 。 一些 object 文字類型包含可選屬性。 我想要一個類型，它使元組類型的 object 文字中的所有屬性都成為必需的。type ClickEvent = { type: 'click-event'; n ...
如何使用鍵數組從 object 獲取元組類型
[英]How can I get tuple type from object with array of keys
使用 function 返回來自 object 的值以及來自 object 的一些鍵列表，如下所示。 我想得到結果值的確切類型，在這種情況下我的意思是["a", "b"] ，但是，使用下面的代碼，結果類型是("a" | "b" | "c" | "x")[]而不是["a", "b"] 。 我可能會在 ...
計算可變參數模板元組中的 std::optional 類型
[英]count std::optional types in variadic template tuple
我在某些 function 特征結構中將參數包保存為元組。 我怎樣才能知道這些參數中有多少是 std::optional 類型？ 我嘗試編寫一個 function 來使用折疊表達式檢查每個參數，但這不起作用，因為我只傳遞了一個模板類型，即元組本身。void foo1(){} void foo2(in ...
如何鍵入遞歸可變參數元組
[英]How to Type a Recursive Variadic Tuple
我有一個查詢元素數組，其中每個元素可以是一個術語或一個子查詢，其中包含以“AND”或“OR”開頭，后跟合法查詢元素、術語或嵌套子查詢等的數組。 例如，這些都應該是合法的輸入： const query1 = "Hello" const query2 = ["AND", "Hello", "World ...
Typescript - 添加額外的 function 參數
[英]Typescript - adding an extra function parameter
我正在嘗試創建一個可以轉換 function 類型的輔助類型 到 我發現這個答案確實有效，但是它將第一個參數命名為head ，如果我要應用我的示例，則以下參數將命名為id這是非常誤導的。 為了我的目的，我稍微改進了這段代碼 但是我仍然無法獲得解決命名問題的完整解決方案。 ...
typescript 中的通用 zip，使用 variadc 元組
[英]Generic zip in typescript, using variadc tuple
我有 python 的背景，我喜歡玩函數式語言，我正在學習 typescript，所以我想要一個zip() function，有點像 Python。 我看到 typescript 已經獲得了生成器和可變參數 generics，所以我認為這應該是可能的。 我有一些非常接近我想要的東西，但不完全是。 我 ...
TypeScript 泛型 map 可變元組值到嵌套映射類型
[英]TypeScript generic map variadic tuple values to nested mapped type
我正在嘗試制作一個助手 function，它采用嵌套的 object，如 JSON，並允許在任意深度制作嵌套值的深層副本。 我理解可變元組類型，並且可以讓它們工作來傳遞元組——但我不知道如何將它們“映射”到任意深度的嵌套 Picks（甚至可能不可能）。 這是我想出的最好的 - 但仍然限於需要為 Ge ...
處理展開的可變元組類型
[英]Dealing with Unwrapped Variadic Tuple Types
考慮以下代碼：interface Wrap<Value> { pick(): Value } class WrapConstant<Value> implements Wrap<Value> { constructor(public readonly a ...
TypeScript 可變元組類型推理問題，適用於運行一系列“結果”返回函數的 function
[英]TypeScript variadic tuple type inference issue, for function that runs a sequence of “Result”-returning functions
（TypeScript 操場中的完整代碼： 鏈接。） 我有一個Result<T, E>類型，用於計算成功並返回T類型的值或失敗並返回E類型的錯誤。type Result<T, E> = | {ok: true, value: T} | {ok: false ...
裝飾 function Typescript 定義
[英]Decorate function Typescript definition
嘗試為以下“裝飾器”function（我在我的 TS 項目中作為第 3 方依賴項）創建 TypeScrip 定義：const decorate = (...args) => { const [methods, ...decorators] = args.reverse(); retu ...
Typescript function 簽名，將數組轉換為映射類型的元組
[英]Typescript function signature that converts an array to tuple of mapped type
在 typescript 中，可以通過以下方式將數組轉換為元組 我們也可以通過 map 類型 如何將以上兩個要求合二為一？ 我試過了 但是， c 是(string|number)[]而不是[string, number]的類型。 我試過了 但得到了相同的 c。 我找到了一個使用 object 而不是 ...
Typescript 減少一個數組 function
[英]Typescript reduce an array of function
Say I have an array of function where each function accepts the return value of the previous function and I call Array#reduce on that function with ...
如何將 TypeScript 可變元組類型用於笛卡爾積 function？
[英]How to utilise TypeScript Variadic Tuple Types for a Cartesian Product function?
TypeScript 4.0 開始支持Variadic Tuple Types的概念，這是一種很好的類型構造，可用於連接函數等。 文檔中的一個示例： 我對這種類型構造是否可用於鍵入笛卡爾積function 感興趣。 然后 function 應從 arguments 推斷（混合）類型以產生其返回類 ...
如何使用具有元組類型的通用休息元素？
[英]How to use generic rest element with tuple types?
TypeScript 給我一個通用元組休息元素的錯誤 錯誤： 我在這里缺少什么？ 打字稿版本： typescript@3.1.6 不起作用，雖然這有效： ...