Typescript 3 和数组类型节点

Question

我最近从 typescript@2.9.x 更新到 typescript@3.0.3，现在我的转译器程序出现错误。您可以在 Github.

找到源代码

转译器使用带有 ts.createProgram(...) 和 program.getTypeChecker() 的打字稿 API 来检查当前节点的实际类型。您可以在 src/compiler/Compiler.ts.

中查看转译设置

我的测试仍然有效，但数组类型测试停止工作。这是Travis CI link查看测试输出。

我的猜测是 Types.isArray() 中的函数 src/transpiler/Types.ts return 是错误的布尔值。在 typescript@3 之前，此函数接收语法类型元素 ts.SyntaxKind.ArrayType 和 ts.SyntaxKind.TupleType。当我使用数组类型代码调试我的测试时：

const testArray: number[] = [1,2,3,4]
const secondIndex: number = testArray[2];

Types.isArray() 将接收一个语法类型为 ts.SyntaxKind.TypeLiteral 的节点。

Typescript 已修改元组类型元素以启用泛型。这是 TypeLiteral 吗？此重大更改可能会也可能不会影响我的代码。

如果有任何其他问题，请提出，我会尽力更新post。

感谢您的帮助！

Answer 1

我刚刚发现，可以通过变量的符号获取变量的类型。测试变量时，必须在某处声明它。这个声明应该有一个类型，这个类型可以用来检测这是一个数组还是元组类型。

我重构了 isArray(...) 函数以反映变量声明类型。这是新功能：

public static isArray(node: ts.Node, typeChecker: ts.TypeChecker): boolean {

    // get the node type
    const type = typeChecker.getTypeAtLocation(node);
    const nodeType = typeChecker.typeToTypeNode(type);
    const symbol = typeChecker.getSymbolAtLocation(node);

    let typeLiteralArrayTypes: ts.SyntaxKind[];

    // at typescript >= 3 array types can be type literals
    if (symbol && symbol.declarations && nodeType.kind === ts.SyntaxKind.TypeLiteral) {

        typeLiteralArrayTypes = symbol.declarations.map(dec => {
            return (dec as any).type.kind;
        });
    }

    // make the test
    return nodeType
        // is an array literal
        && ts.isArrayLiteralExpression(node)
        // is a typescript 3 type literal
        || (typeLiteralArrayTypes
            && typeLiteralArrayTypes.every(typeLiteral => typeLiteral === ts.SyntaxKind.ArrayType || typeLiteral === ts.SyntaxKind.TupleType)
        )
        // normal types (typescript < 3)
        || (nodeType.kind === ts.SyntaxKind.ArrayType || nodeType.kind === ts.SyntaxKind.TupleType);
}

我确定这不是解决方案，但此更改满足了我的测试用例。如果您有更好的解决方案，请分享！

Typescript 3 和数组类型节点

Typescript 3 and array type nodes

typescript

typescript3.0