Question

有没有办法在TS中使用类型安全复制以下JS模式？

function InputStream(input) {
    var pos = 0, line = 1, col = 0;
    return {
        next  : next,
        peek  : peek,
        eof   : eof,
        croak : croak,
    };
    function next() {
        var ch = input.charAt(pos++);
        if (ch == "\n") line++, col = 0; else col++;
        return ch;
    }
    function peek() {
        return input.charAt(pos);
    }
    function eof() {
        return peek() == "";
    }
    function croak(msg) {
        throw new Error(msg + " (" + line + ":" + col + ")");
    }
}

如果我添加类型提示，我会得到：

function InputStream(input: string) {
    var pos = 0
    var line = 1
    var col = 0

    return {
        next,
        peek,
        eof,
        croak
    }

    function next(): string {
        var ch = input.charAt(pos++);
        if (ch == "\n") line++, col = 0; else col++;
        return ch;
    }

    function peek(): string {
        return input.charAt(pos);
    }

    function eof(): boolean {
        return peek() == "";
    }

    function croak(msg):string {
        throw new Error(`${msg} (${line}:${col})`);
    }
}

TS将推断返回对象的接口，因此使用InputStream是类型安全的 - 到目前为止，非常好。

我的问题是，似乎没有任何方法可以将参数类型提示为接口的实例？

例如（当然）这不起作用：

function TokenStream(input: InputStream) {
    // ...
}

有没有办法键入提示input参数为 InputStream函数的返回类型？

我的意思是，没有明确地声明接口，这似乎是多余的，因为它能够推断出接口。

当然，我也可以将它移植到一个真实的课程中 - 这似乎更多＆＃34;正确＆＃34;，但使code like this非常冗长。

是否有其他方法可以实现类似的东西，可能还有模块？我注意到模块能够调用模块中声明的函数而不用this进行限定，并且经常希望类方法和父类可以实现，但是TS团队拒绝了该请求。 / p>

Answer 1

如果你需要在其他地方使用它的类型，你真的想输入那个InputStream返回值，它也是很好的文档。您要求的是某种类型的元数据，例如＆＃34;给我这个函数返回的类型＆＃34;，我不认为打字稿具有这种能力。

推理最好留给小型lambda函数imo。

作为参考，您可以执行以下操作：

const input = InputStream('abcd')

function TokenStream(input2: typeof input) {

}

但是你需要一个实际值来输入第二个函数的参数，这很奇怪，可能不是你想要的。

如何在Typescript中实现无原型构造函数？

1 个答案: