Параллельные назначения Scala только в объявлениях

#scala #variable-assignment

#scala #переменная-назначение

Вопрос:

Имея:

 def f () = {
    (1, "two", 3.0)
}
  

Почему это нормально

 var (x, y, z) = f()
  

но не

 
var i = 0
var j = "hello"
var k = 0.0

// use i, j, k
...
//then
(i, j, k) = f() // ; expected but = found
  

?

Ответ №1:

Здесь вы видите ограниченную версию сопоставления с шаблоном при инициализации переменных. Обратите внимание, что это работает не только для кортежей:

 val a :: b = List(1,2,3)
println(a) //1
println(b) //List(2, 3)
  

Эта функция, похоже, заимствована непосредственно из Haskell, где вы также можете использовать шаблоны для инициализации:

 let (a,b) = getTuple 
in a*b
  

Поскольку в Haskell нет изменяемых данных, нет способа что-либо назначить.

В Scala вы могли бы сделать что-то подобное, но, я думаю, это было сочтено слишком запутанным или, возможно, слишком сложным для реализации. Вы всегда можете использовать match выражение как обычно, и часто вам нужно просто case , например List((1,2),(3,4)).map{ case (a,b) => a*b } .

Ответ №2:

Я подозреваю, что без «var» или «val» слева от кортежа имен переменных компилятор обрабатывает кортеж как кортеж. То есть вы действительно пытаетесь присвоить значение экземпляру Tuple3 , а не трем переменным, и это не имеет смысла для компилятора.

Кстати, использование функции и различных типов данных в вашем примере не имеет значения. Вот более простой пример:

 scala> var ( i, j, k ) = ( 1, 2, 3 )
i: Int = 1
j: Int = 2
k: Int = 3

scala> ( i, j, k ) = ( 4, 5, 6 )
<console>:1: error: ';' expected but '=' found.
       ( i, j, k ) = ( 4, 5, 6 )
                   ^