Precedente real para operadores de infijo en Scala

Question

El 24 de mayo de 2011 Scala Language Specification tiene un error tipográfico en la sección 6.12.3 como se descubrió here. Esto fue acknowledged en la lista de correo.

¿Cuál es la precedencia real para los operadores de infijo?

Answer 1

Pensé que sería divertido averiguarlo probándolo, escribí el siguiente código para ser ejecutado en el REPL. Dado:

val ops = List(
    "letter", "|", "^", 
    "&", "<", ">", "!", 
    "+", "-", "*", "/", "%", "?", 
    "=?", // add ? to prevent assignment 
    ":?" // add ? to prevent right-association 
) 

Primero genere un archivo scala intermedio que use y pruebe los operadores.

import java.io._ 

// generate a class with all ops operators defined 
// where operator combines in a way we can figure out the precedence 
val methods = ops.map("""def %s(o: Op) = Op("["+o.v+v+"]")""".format(_)) 
val body = methods.mkString("\n") 
val out = new PrintWriter(new FileWriter("Op.scala")) 
out.println("case class Op(v: String) {\n%s\n}".format(body)) 

// generate tests for all combinations and store in comps 
// Op(".") op1 Op(".") op2 Op(".") v returns "[[..].]" when op2 > op1 
// returns "[.[..]]" when op1 <= op2 
def test(op1: String, op2:String) = { 
    """("%s","%s") -> (Op(".") %s Op(".") %s Op(".")).v.startsWith("[[")""". 
    format(op1, op2, op1, op2) 
} 
val tests = for (op1 <- ops; op2 <- ops) yield { test(op1, op2) } 
out.println("val comps = Map[(String, String), Boolean](%s)".format(
    tests.mkString(",\n"))) 
out.close 

A continuación, cargar la clase Op, las pruebas realizadas y la carga comps

:load Op.scala 

// order operators based on tests 
val order = ops.sortWith((x,y) => comps(x -> y)) 

// if op1 or op2 don't have higher precedence, they have the same precedence 
def samePrecedence(op1: String, op2: String) = 
    !comps(op1 -> op2) && !comps(op2 -> op1) 

def printPrecedenceGroups(list: List[String]): Unit = { 
    if (list != Nil) { 
    val (same, rest) = list.span(op => samePrecedence(op, list.head)) 
    println(same.mkString(" ")) 
    printPrecedenceGroups(rest) 
    } 
} 

printPrecedenceGroups(order) 

Esta impresora:

letter 
| 
^ 
& 
! =? 
< > 
:? 
+ - 
*/% 
? 

Así que la principal diferencia con la especificación es < > hay que activar con = !.