活字体ジェネリック奇妙な行動

Question

export function resize<T extends File | Blob>(input: T, w: number, h: number): Promise<T> { 
    return Promise.resolve(new File([new Blob()], 'test.jpg')) 
} 

エラー：

(48, 3) TS2322:Type 'Promise' is not assignable to type 'Promise'. Type 'File' is not assignable to type 'T'.

理由を理解することはできませんか？

Answer 1

ポイントはあなたの一般的な引数ですTは、がを継承するクラスです。FileまたはBlobです。あなたが戻ってきたのは単なる平凡なものですPromise<File>。明らかに継承された型に割り当てることはできません。私は正確にinput引数が何であるかわからないんだけど、それが出力にどのように影響するかが、戻り値の型は間違いPromise<File>次のようになります。これは私のために働いた

export function resize<T extends File | Blob>(input: T, w: number, h: number): Promise<File> { 
    return Promise.resolve(new File([new Blob()], 'test.jpg')) 
} 

Answer 2

が、これは奇妙に見える

if (isFile(input)) { 
    const f = new File([blob], input.name) 
    resolve(f as T) 
} else if (isBlob(input)) { 
    resolve(blob as T) 
} 

から：

export 
function resize<T extends Blob | File>(input: T, width: number, height: number): Promise<T> { 

    return new Promise((resolve, reject) => { 

     const image = new Image() 

     image.onload =() => { 

      const canvas = document.createElement('canvas') 
      canvas.width = width 
      canvas.height = height 

      pica.resize(image, canvas) 
       .then((result) => pica.toBlob(result, input.type, 85)) 
       .then((blob: Blob) => { 

        if (isFile(input)) { 
         const f = new File([blob], input.name) 
         resolve(f as T) 

        } else if (isBlob(input)) { 
         resolve(blob as T) 

        } 
       }) 
       .catch(err => reject(err)) 
     } 

     image.src = URL.createObjectURL(input) 

    }) 
}