TypeScript wymuszanie typu

getSum(): Observable<number> {
   ...
  }

Jeśli nie podam typu dla Observable Intelisense mówi mi że jest wymagany. Jak napisać generyk który wymaga podania typu?
Potrafię napisać coś takiego

class List<T> {
  add(value: T): T {
    console.log(value);
    return value;
  }
}

ale tutaj jak nie podam typu to errora nie będzie....
czyli mogę zrobić tak:

const x = new List<number>();

albo tak:

const x = new List();

Masz na myśli coś takiego?

function foobar<T>(value: T): Promise<T> {
    return Promise.resolve(value);
}

const x = foobar(5);

Tutaj x będzie typu Promise<number>.

iksde napisał(a):

Masz na myśli coś takiego?

function foobar<T>(value: T): Promise<T> {
    return Promise.resolve(value);
}

const x = foobar(5);

Tutaj x będzie typu Promise<number>.

Nie, bo u Ciebie nie wymaga podania typu (intellisense nie podkreśla błędu jak wywołasz funkcję bez podania typu). A w moim przykładzie z Observable jak nie podam typu to podkreśla mi na czerwono i podaje taki komunikat:

(alias) class Observable<T>
import Observable
A representation of any set of values over any amount of time. This is the most basic building block of RxJS.

@class — Observable<T>

Generic type 'Observable<T>' requires 1 type argument(s).ts(2314)

ale tutaj jak nie podam typu to errora nie będzie....

W podanym przykładzie określiłeś typ bardzo klarownie: T.

Jak napisać generyk który wymaga podania typu?

Dlaczego chciałbyś coś takiego stworzyć?
Nie wiesz, jakiego typu jest rezultat Twojego getSum()?

Bo TypeScript jest na tyle mądry, że sam wywnioskuje, jaki typ powinien być w <>. W przypadku funkcji nie ma sensu forsowanie podania typu w <>, bo wszystkie możliwe informacje masz na wejściu. W przypadku klasy jest inaczej, bo z samego konstruktora nie zawsze jest wiadomo, jaki typ będzie pod spodem. Zobacz:

interface A { }
class B implements A { }
class C implements A { }

function foobar<T>(value: T): Promise<T> {
    return Promise.resolve(value);
}

const x = foobar(new B());
const y = foobar<A>(new C());

tutaj x jest typu Promise<B>, natomiast y - Promise<A>.

Jak napisać generyk który wymaga podania typu?

Dlaczego chciałbyś coś takiego stworzyć?
Nie wiesz, jakiego typu jest rezultat Twojego getSum()?

nie chodzi o to dlaczego tylko jak :)

iksde napisał(a):

Bo TypeScript jest na tyle mądry, że sam wywnioskuje, jaki typ powinien być w <>. W przypadku funkcji nie ma sensu forsowanie podania typu w <>,

Nie pytam o to czy jest sens tylko jak forsować podanie typu :)
Czysta ciekawość, bo Observable to robi, chcę wiedzieć jak ;)

Czysta ciekawość, bo Observable to robi, chcę wiedzieć jak

Observable robi co? :-P

Patryk27 napisał(a):

Czysta ciekawość, bo Observable to robi, chcę wiedzieć jak

Observable robi co? :-P

wymusza podanie typu

class MyObservable<T> {
}

Voilà :-)

Patryk27 napisał(a):

class MyObservable<T> {
}

Voilà :-)

wybacz ale to nie jest odpowiedź na moje pytanie. ide na stackoverflow :P

Daj znać jak dostaniesz odpowiedź, bo moim zdaniem nie da się :P

tak, Patryk 27 odpowiedział na pytanie, dzięki

Możesz do T przypisać domyślnie never:

https://www.typescriptlang.org/play/#src=class%20List%3CT%20%3D%20never%3E%20%7B%0D%0A%0D%0A%20%20add(value%3A%20T)%3A%20T%20%7B%0D%0A%20%20%20%20console.log(value)%3B%0D%0A%20%20%20%20return%20value%3B%0D%0A%20%20%7D%0D%0A%7D%0D%0A%0D%0Aconst%20x%20%3D%20new%20List()%3B%0D%0Ax.add(123)%3B