Однажды я потратил два дня на поиск и исправление одного идиотского бага. В системе было множество сущностей, которые временами сохранялись в базу и имели id. Были разные функции для работы с этими сущностями. Функции также ходили в базу и зачастую принимали в качестве аргументов id сущностей. Баг заключался в том, что в результате некогда проведенного рефакторинга изменился порядок аргументов и id стали передаваться в неправильном порядке.
Грубо говоря:
def joinChat ( userId : Long, chatId : Long ) {
println ( s «userId = $userId, chatId = $chatId» )
}
val userId = 123L
val chatId = 456L
joinChat ( userId, chatId )
joinChat ( chatId, userId )
Код успешно выполняется и выводит:
userId = 456, chatId = 123
Понятно, что все id-шники представляют собой Long, поэтому компилятор не может обнаружить ошибку. А теперь немного перепишем код:
class User ( )
class Chat ( )
case class Id [ A ] ( value : Long )
def joinChat ( userId : Id [ User ] , chatId : Id [ Chat ] ) {
println ( s «userId = ${userId.value}, chatId = ${chatId.value}» )
}
val userId = Id [ User ] ( 123L )
val chatId = Id [ Chat ] ( 456L )
joinChat ( userId, chatId )
// joinChat(chatId, userId)
Код стал не намного сложнее (уверен, многие согласятся со мной, что он стал еще и понятнее), но упомянутый баг в нем стало просто невозможно допустить:
found : this.Id[this.Chat]
required: this.Id[this.User]
joinChat(chatId, userId)
^
./script2.scala:15: error: type mismatch;
found : this.Id[this.User]
required: this.Id[this.Chat]
joinChat(chatId, userId)
^
two errors found
Две минуты работы могли сэкономить два дня времени, потраченных на поиск и исправления бага. Также благодаря типам вы никогда не сложите возраст с долларами, не сошлетесь на несуществующий URL и не напишите невалидный SQL запрос. Я многие годы работал с динамически типизированными языками программирования и пришел к выводу, что писать на них что-то серьезнее скрипта на 100 строк не стоит.
Перекрестная ссылка: Так ли плоха статическая типизация?
Дополнение: См также value classes .
