В учебнике scala говорится, что операция Int add на самом деле является вызовом метода: 1+1 означает 1.+(1)
Но когда я смотрю в исходный код Int.scala, кажется, что метод просто выведет сообщение об ошибке. Может ли кто-нибудь объяснить мне, как это работает?
def +(x: Int): Int = sys.error("stub")
def +(x: Int): Int = this + x
Тогда вызов + вызовет +, который будет вызывать +, который...
Scala необходимо скомпилировать методы классов значений в java-байтовые коды для сложения/вычитания/etc.
Компилятор компилирует + в байт-код java для добавления, но авторы библиотеки scala написали Int.scala с методами stub, чтобы сделать его допустимым исходным файлом scala. Эти методы заглушки никогда не вызываются.
Как говорит реализация, этот метод является заглушкой. По-видимому, его реализация обеспечивается компилятором Scala при компиляции кода, поскольку int + int является примитивной операцией, а язык Scala сам по себе не имеет примитивов - только компилятор знает о примитивах на JVM.
Важно понимать, что операторы - это методы как вопрос взаимодействия человека с языком. Такие вещи, как + on Int, действуют как любой другой метод в Scala, вместо того, чтобы быть тем, что играет по их собственным правилам.
Однако на уровне реализации они вообще не являются методами: для JVM только классы имеют методы, а подклассы AnyVal не являются классами JVM. Неудивительно, что на уровне реализации они действуют в основном как Java-примитивы.