ten idiom pojawia się kilka razy w książce schodowych:"val a: A = nowy B", o co chodzi? (?)
val b:A = new B
lub
val b = new B
val b2:A = b
oprócz próbuje zrobić kilka punktów w książce tekstu, dlaczego chcesz, aby zadeklarować typ inny niż wywnioskowany typ czegoś?
Nawiasem mówiąc, wszelkie nazwy dla tego?
Twierdzę, że jest podobny do idiomu programowania względem interfejsów. Robiąc
val b:A = new B
upewnić się, że po tym momencie nie jesteś powołując się na cokolwiek innego niż interfejs udostępniony przez A. Oznacza to, że jeśli kiedykolwiek zdecydujesz się na zmianę na b:A = new C nic się nie zepsuje.
Uważam, że nazywa się to substytucją Liskov (http://en.wikipedia.org/wiki/Liskov_substitution_principle). – thoredge
Powiedziałbym, że jest to powiązane, ale inne. Poprzez jawne podanie typu 'b' nie gwarantuje, że zachowanie programu pozostaje takie samo, kiedy przechodzimy od' nowego B' do wypowiedzenia 'nowego C'. Zasada substytucyjna Liskov wydaje się być pojęciem bardziej koncepcyjnym/wyższym. – aioobe
Jest to nazywane _type ascription_. Deklarując 'b: A', wpisujesz _ typ' A' do wartości typu 'B'. Skutecznie mówisz: "O ile mi wiadomo, to jest po prostu A". Możesz również zapisać deklarację jako "val b = new B: A". –
Może to być użyteczne dla:
Dla bardziej złożonych wystąpień, zapewnia to, że wnioskowany typ jest właściwy. Na przykład
sealed trait Answer
case object Yes extends Answer
case object No extends Answer
scala> val a = List(Yes, Yes, No)
a: List[Product with Serializable with Answer] = List(Yes, Yes, No)
scala> val b: List[Answer] = List(Yes, Yes, No)
b: List[Answer] = List(Yes, Yes, No)
powiedziałbym jest to tzw polimorfizmu – maxmc
@maxmc ale obiekt nadal będzie polimorficzny bez niego .. –
@maxmc Chcesz rozwinąć jak dokładnie to polimorfizmy: -? Podobnie jak pst I a także wierzę, że nie jest to dokładnie to, co rozumie się pod pojęciem polimorfizmu ... –