Typescript и типы по условиям. Как правильно поступить?

Question

[sanex3339]

Есть несколько интерфейсов ITreeNode и наследуемые от него IIdentifierNode и еще несколько других т.п.

Есть код:

estraverse.replace(catchClauseNode.param, {
            leave: (node: ITreeNode, parentNode: ITreeNode) => {
                switch (node.type) {
                    case 'Identifier':
                        this.catchClauseParam.set(node.name, Utils.getRandomVariableName());
                        node.name = this.catchClauseParam.get(node.name);

                        break;

                    default:
                        return estraverse.VisitorOption.Skip;
                }
            }
        });

В 1-й case попадет нода, которая будет реализовывать интерфейс IIdentifierNode, но поскольку в параметре arrow function указано `node: ITreeNode` то компилятор будет ругаться на св-во `node.name`.
И вот тут бы скастовать внутри `case` ITreeNode в IIdentifierNode, но кастовать придется в трех местах, что хреново.

Как красиво разрулить данную ситуацию, кроме как выставив `node: any`?

Comments

[copal]

есть три фрукта - яблоко, груша и т.п. Но есть проблема, когда я кладу ананас в кофеварку, микроволновка начинает ругаться, ведь орехи она не моет. Блять, че делать? И я призываю Вас найти ответ. Вот такая херня у меня в голове после Вашего вопроса. Нахер я его читал? Да лучше бы и не читал чтобы мозг не засервать. Но нет, ведь искренне хочешь помочь.

[sanex3339]

Только вот в моем случае у меня яблоко, зеленое яблоко, синее яблоко и желтое яблоко. И все это в соковарке.

Answer 1

[sanex3339]

Сделал пока через user defined guard functions:
https://github.com/Microsoft/TypeScript/issues/1007

public static isIdentifierNode (node: ITreeNode): node is IIdentifierNode {
    return node.type === 'Identifier';
}

estraverse.replace(catchClauseNode.param, {
    leave: (node: ITreeNode, parentNode: ITreeNode) => {
        if (NodeUtils.isIdentifierNode(node)) {
            this.catchClauseParam.set(node.name, Utils.getRandomVariableName());
            node.name = this.catchClauseParam.get(node.name);

            return;
        }

        return estraverse.VisitorOption.Skip;
    }
});

Comments

[sanex3339]

в TS 2.1 сделают, кстати, type quards для switch-case