CODEWITHSUNDEEP
typescripttypescript-generics
luky
luky

Reputation: 2370

Typescript conditional generic type in return type

How to condition the generic of return type if value is not present?

type Foo = {};

class Bar<P extends Foo> {
    static make<P extends Foo>(a?: P): Bar<P> {
        return new Bar();
    }
}

Bar.make() // return Bar<Foo>

But I need to do something like:

class Bar<P extends Foo> {
    static make<P extends Foo>(a?: P): Bar<P extends undefined ? never : Foo> {
        return new Bar();
    }
}

Bar.make() // return Bar<never>
Bar.make({}) // return Bar<Foo>

Upvotes: 0

Views: 106

Answers (1)

pascalpuetz
pascalpuetz

Reputation: 5428

You need to apply a default type never.

type Foo = {test: number}; // Example implementation of foo, used in test cases below

class Bar<P extends Foo> {
  // Allow P to extend from Foo, then assign never as the default
  static make<P extends Foo = never>(a?: P): Bar<P> {
    return new Bar();
  }
}

const t1 = Bar.make(); // Bar<never>
const t2 = Bar.make({ test: 2 }) // Bar<{test: 2}> (subtype of Foo)
const t3: Bar<Foo> = Bar.make({ test: 2 }); // Bar<Foo> (explicit typecasting to Bar<Foo>)
const t4 = Bar.make({ bazz: 0 }); // Type error, { bazz: 0 } is not assignable to Foo

Here a TypeScript Playground link to showcase the different outcomes.

Upvotes: 1

Related Questions