打字稿解構和隱式任何

Question

當我努力理解為什么在編譯這兩個實現時會有區別的時候，請把我轉到一些文檔中：

  function getPropImplicitAny<T, K extends keyof T>(p: K, buffer: T): T[K] {
    const { [p]: value } = buffer; // element implicitly has an 'any' type
                                   // because T has not index signature
    return value;
  }
  function getPropTyped<T, K extends keyof T>(p: K, buffer: T): T[K] {
    const value = buffer[p]; // value:T[K]
    return value;
  }

在我看來，兩個函數對T類型的結構及其與K關系都了解相同。 他們兩個都通過索引語法訪問T的成員。 但是第一個無法以嚴格模式進行編譯。 為什么？

Answer 1

您描述的問題已在打字稿3.2中修復。 該問題描述了您的確切問題，並且已包含在打字稿3.2中