Typescript: Typvakter fungerar inte som förväntat vid användning av nästlade skrivskyddade egenskaper

Kvalitet kan vara bra eller dålig, beroende på typen. Här fungerar typvakter bra

enum GoodBad {
    Good = 'Good',
    Bad = 'Bad'
}
interface IQuality {
    readonly type: GoodBad;
}
interface GoodQuality extends IQuality {
    readonly type: GoodBad.Good;
}
interface BadQuality extends IQuality {
    readonly type: GoodBad.Bad;
}
type Quality = GoodQuality | BadQuality;

let quality: Quality;
if (quality.type == GoodBad.Good) {
    let goodQuality: GoodQuality = quality; // No Problem. Working good.
    let badQuality: BadQuality = quality; // Throw error. Working good.
}

Men nu när jag omsluter kvalitet i Product då

interface IProduct {
    readonly quality: Quality;
}

interface GoodProduct extends IProduct {
    readonly quality: GoodQuality;
}
interface BadProduct extends IProduct {
    readonly quality: BadQuality;
}

type Product = GoodProduct | BadProduct;
let product: Product;
if (product.quality.type == GoodBad.Good) {
    let goodProduct: GoodProduct = product; // Throw error. Working Bad.
    // let badProduct: BadProduct = product; // Throw error. Working fine.
}

Typvakt fungerar inte som avsett.

  1. Vad är skillnaden mellan detta if-block och det tidigare if-blocket?
  2. let goodProduct: GoodProduct=product; varför ger det ett fel?
  3. En lösning är att skapa en annan readonly type: GoodBad på IProduct. Men detta är extra, kan detta elimineras?

Svar #1

Typvakt kommer att påverka fältet quality, inte variabeln product. Typvakter påverkar endast det fält som äger det diskriminerande fältet; det påverkar inte ägaren.

Så här fungerar det:

type Product = GoodProduct | BadProduct;
let product!: Product;
if (product.quality.type == GoodBad.Good) {
    let goodQuality: GoodQuality = product.quality; // Ok
    let badQuality: BadQuality = product.quality; // Err
    let goodProduct: GoodProduct = product; // Err, product not affected
    let badProduct: BadProduct = product; // Err, product not affected
}

Din lösning med att lägga till ett extra fält är en bra idé, en annan skulle vara att skapa en anpassad typkontroll:

function isGoodProduct(p: Product)  : p is GoodProduct {
    return p.quality.type ===  GoodBad.Good
}
if (isGoodProduct(product)) {
    let goodProduct: GoodProduct = product; // OK
    let badProduct: BadProduct = product; // Err
}

Relaterade artiklar