解構會導致未來的錯誤嗎？

Question

Initialy我們有這樣的代碼

class Person(firstName: String, lastName: String) 

val (firstName, lastName) = person 

有人交換領域

class Person(lastName: String, firstName: String) 

val (firstName, lastName) = person 

編譯器是幸福的！

Answer 1

編譯器無法知道你交換了字段的順序，因爲分析沒有查找參數名稱。只要typer類型檢查，一切都很好。你可以做的是額外的類型：

case class FirstName(name: String) 
case class LastName(name: String) 

class Person(firstName: FirstName, lastName: LastName) 

現在交換的類型會導致編譯時錯誤。

如果你不想allocationing其他對象的額外開銷，看看shapeless tagged types：

import shapeless.tag.@@ 

trait FirstNameTag 
trait LastNameTag 

type FirstName = String @@ FirstNameTag 
type LastName = String @@ LastNameTag 

case class Person(fn: FirstName, ln: LastName) 

現在：

import shapeless.tag 

val firstName: FirstName = tag[FirstNameTag][String]("yuv") 
val lastName: LastName = tag[LastName][String]("itz") 

val person = Person(firstName, lastName) 

或@Ren指出使用value classes：

case class FirstName(name: String) extends AnyVal 
case class LastName(name: String) extends AnyVal