Typescript 泛型是否使用类型擦除来实现泛型？

Question

意思是你不能用这样的东西？

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

        return <T>val;
    }
}

获取泛型声明的基础类型的任何解决方法？

更新 1：

正如 Ryan Cavanaugh 所提到的，在编译时，整个类型系统都会被擦除，更像是 Java 的泛型实现。我相信在编译代码中保留类型信息的泛型的 .Net 实现比 Java 更好。 但是，我不禁想知道，为什么不能在 TypeScript 中允许对泛型类型和泛型类型参数进行完整的运行时自省？为什么 TypeScript 的设计者决定在运行时移除所有泛型类型信息？

以下 TypeScript 代码：

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

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

可以翻译成这段 JavaScript 代码：

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

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

在运行时保留类型信息并与js代码兼容！

更新 2： 我已经在 CodePlex 上发布了这个问题，希望能从 TypeScript 人那里得到更多 https://typescript.codeplex.com/discussions/550262

Answer 1

类型系统被完全删除。您可以在任何通用函数的生成代码中看到这一点。

也就是说，对于类，还剩下一些运行时信息。你可以这样写：

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));