Dlaczego pierwsza lista parametrów klasy nie może być niejawna?

Question

scala> class A(implicit a: Int); 
defined class A 

scala> class B()(implicit a: Int); 
defined class B 

scala> new A()(1) 
res1: A = A@159d450 

scala> new B()(1) 
res2: B = B@171f735 

scala> new A(1) 
<console>:7: error: too many arguments for constructor A:()(implicit a: Int)A 
     new A(1) 

Dlaczego Scalac wstawia pustą listę parametrów przed niejawną listą parametrów podaną w deklaracji klasy?

To wydaje się być cechą, a nie błąd, sądząc po commentary in the scalac sources:

// konwersji (niejawny ...) do () (niejawny ...), jeżeli jego jedynym parametr sekcja

Jestem ciekawy, dlaczego tak się dzieje. Uważam, że jest to dość zaskakujące.

Answer 1

Sposób, w jaki widzę, to to, że lista niejawnych parametrów nie zastępuje zwykłej listy (ów). Ponieważ dla definicji konstruktorów potrzebna jest co najmniej jedna lista parametrów, jeśli nic nie jest wyraźnie wskazane, generowane jest "()".

Chociaż może to być rzeczywiście zagadkowe, jest to zgodne z generowaniem pustego konstruktora, gdy nie ma żadnych list parametrów.

Answer 2

Dobra, z pomocą @ venechki answer, myślę, że to wymyśliłem.

Przy zwykłych klasach, Scala wnioskuje i pusta lista parametrów, albo w deklaracji klasy (class B) lub w punkcie klasy instancji (new A i new B):

scala> class A() 
defined class A 

scala> new A 
res19: A = A@12cdd20 

scala> new A() 
res20: A = A@1c37b8f 

scala> class B 
defined class B 

scala> new B 
res21: B = B@12801c5 

scala> new B() 
res22: B = B@79a340 

Tak aby być w zgodzie z ta zasada określa pustą listę parametrów przed niejawną listą parametrów (class D(implicit ...)).

scala> class C()(implicit a: Int = 0) 
defined class C 

scala> new C 
res23: C = C@9d1714 

scala> new C() 
res24: C = C@b38dba 

scala> new C()(0) 
res25: C = C@1677979 

scala> class D(implicit a: Int = 0) 
defined class D 

scala> new D 
res26: D = D@1a0d111 

scala> new D() 
res27: D = D@14e3372 

scala> new D()(0) 
res28: D = D@1609872