Czy typy generyczne maszynopisu używają typu wymazywania do implementacji generycznych?

Question

To znaczy, że nie możesz użyć czegoś takiego?

class Helpers 
{ 
    static ObjectAs<T>(val: any): T { 
     if (!(val instanceof T)) { 
      return null; 
     } 

     return <T>val; 
    } 
} 

Jakiekolwiek obejście, aby uzyskać podstawowy rodzaj zgłoszenia?

Aktualizacja 1:

Jak wspomniano Ryan Cavanaugh, po opracowaniu, cały system typu są usuwane, bardziej jak wdrożenie Java Generics. Wierzę, że .Net implementacja Generics do zachowania informacji o typie w skompilowanym kodzie jest lepsza niż Java. Jednak nie mogę pomóc, ale zastanawiam się, dlaczego nie jest możliwe zezwolenie na pełną introspekcję runtime typów ogólnych i ogólnych typów parametrów w TypeScript? Dlaczego projektanci TypeScript zdecydowali się usunąć wszystkie ogólne informacje o typie w czasie wykonywania?

następujący kod maszynopis:

function As<T>(n: any): T { 
    if (n instanceof T) { 
     return n; 
    } else { 
     return null; 
    } 
} 

var obj: Object = 1; 
var x = As<number>(obj); 

można przetłumaczyć do tego kodu JavaScript:

function As(n, T) { 
    if (n instanceof T) { 
     return n; 
    } else { 
     return null; 
    } 
} 

var obj = 1; 
var x = As(obj, Number); 

Zachowanie informacji o typie w czasie wykonywania i zgodności z kodem js!

Aktualizacja 2: ja pisał tę kwestię na CodePlex, chcąc dostać więcej od maszynopis ludzi https://typescript.codeplex.com/discussions/550262

Answer 1

System typ jest całkowicie wymazane. Możesz to zobaczyć w wygenerowanym kodzie dla dowolnej ogólnej funkcji.

To powiedziawszy, dla klas nadal pozostało trochę informacji o czasie pracy. można napisać tak:

class A { } 
class B { } 
function As<T>(n: any, type: { new(...args: any[]): T }): T { 
    if(n instanceof type) { 
     return n; 
    } else { 
     return null; 
    } 
} 

var x = new A(); 
var y = new B(); 
console.log(As(x, A)); 
console.log(As(x, B));