RPN évaluation de court-circuit

Question

Je suis en train de faire un simple interpréteur bytecode qui utilise RPN pour la notation d'expression et la notation vraiment postfix pour quoi que ce soit, mais maintenant je suis à la question: est-ce que l'évaluation de court-circuit peut être utilisé sur les expressions postfixes? Par exemple lors de l'évaluation de l'expression (false & & (factorial (7)> ​​factorial (5))) C++ connaît le résultat de l'opérateur & & sur les deux opérandes évalue à false avant même d'arriver au second opérande, puisque (false & & quoi que ce soit) est toujours égal à false. Maintenant, quand vous mettez cela dans RPN, vous obtenez (false (7 factorielle 5 factorielle>) & &). Je voulais construire un analyseur d'expression RPN efficace, donc le problème est le suivant: comment faire un analyseur d'expression RPN efficace avec une évaluation de court-circuit?

Answer 1

Vous évalueriez une expression RPN en deux phases. Phase 1: analyser le RPN et construire une représentation arborescente du RPN. Ainsi, dans cet arbre, par exemple, le nœud && a deux nœuds enfants, pour chaque moitié de l'expression. La construction de cet arbre est un processus presque identique à l'évaluation du RPN, à l'exception de la partie évaluation, qui est remplacée par l'opération de construction d'un nouveau nœud, et de lier ses nœuds fils à leur nouveau nœud parent, puis repoussant le nœud parent sur RPN pile d'évaluation. Phase 2: évaluer l'arbre construit, en utilisant la descente récursive. À ce stade, l'évaluation de court-circuit devient triviale: évaluez l'enfant de gauche d'un &&, puis décidez si vous voulez réellement évaluer l'enfant de droite.

Même chose pour le nœud ||, etc ...