Typescript 通用返回值推斷問題

Question

我不確定這是 TS 中的錯誤還是他們認為不受支持的功能。 MVE：

interface ColumnOptions<R> {
  valueFormatter(params: R): string;
  valueGetter(params: string): R;
}

const getColumn = function<R>(options: ColumnOptions<R>) {};

getColumn({
  valueFormatter: params => 'hello',
  valueGetter: params => ({
    nr: 1,
    str: 'hello',
  }),
});

這是針對 Ag-grid 列定義的，目標是推斷valueFormatter的參數來自valueGetter的返回類型。 valueFormatter (R) 的參數在上述情況下被推斷為unknown ，但如果我明確鍵入或刪除valueGetter的參數，如下所示：

getColumn({
  valueFormatter: params => 'hello',
  valueGetter: () => ({
    nr: 1,
    str: 'hello',
  }),
});

它正確地推斷出 R。 這就是讓我假設它可能是 TS 中的錯誤的原因，但也許它只是不受支持，如果是這樣的話，我不想在 GitHub 上提出問題。 使用 TS 3.8、3.7、3.5 和 3.0 進行測試

Answer 1

我的理解是，您的代碼創建了一個循環依賴對。

R可以從其中一個函數推斷為實體實例類型，然后用作推斷另一個函數的 function 簽名（如果它不完整或未知）的參考。

但要讓它起作用，您需要先提供至少一種實體類型，以打破循環。 當您從valueGetter中刪除param時會發生這種情況，因為您取消了 TS 推斷參數類型的請求，從而使valueGetter function 呈現為完整的實體類型。 因此，返回類型可以用作R的推斷類型。

如果您為params: string

getColumn({
  valueFormatter: params => 'hello',
  valueGetter: (params: string) => ({
    nr: 1,
    str: 'hello',
  }),
});