Question

我在Scala中遇到类声明问题：

   class Class2[
      A,
      B <: Class2[A,B,C],
      C <: Class3[A,C]
   ]


   class Class3[
      A,
      C <: Class3[A,C]
   ]

   class Class1[
      A, 
      B <: Class2[A,B,C], 
      C <: Class3[A,C]
    ](obj : B) { ... }

这是正确的声明，但每次我想创建该类的实例时，我需要手动指定参数A和C.像：

val X = Class1[Type1, Type2, Type3](correct_object_of_Type2)

如果我尝试val X = Class1(OBJ)，则会导致错误...types [Nothing, B, Nothing] do not conform to [A, B, C]...

为什么Scala不会从B推断出A型和C型？以及如何为Scala编译器声明类，以便它能够自己指定A，C？感谢

修改

我很抱歉制定，原来的任务是正确定义Class1，如：

   class Class2[
      A,
      B <: Class2[A,B,C],
      C <: Class3[A,C]
   ]


   class Class3[
      A,
      C <: Class2[A,C]
   ]

   ??class Class1(obj : Class2) { ... }??

...因此，调用val x = Class1(obj)，obj: Class2，这是正确的。当我尝试按上述方式定义时，我收到错误Class2 takes type parameters。有什么想法吗？

抱歉不准确。

Answer 1

可以通过将约束编码为隐式参数来推断类型参数：

class Class2[X, Y, Z]
class Class3[X, y]

class Class1[A, B, C](obj: B)(implicit
  evB: B <:< Class2[A, B, C],
  evC: C <:< Class3[A, C]
)

然后：

scala> class Foo extends Class3[String, Foo]
defined class Foo

scala> class Bar extends Class2[String, Bar, Foo]
defined class Bar

scala> new Class1(new Bar)
res0: Class1[String,Bar,Foo] = Class1@ff5b51f

如果您需要在B的定义中将C或Class2[A, B, C]的实例用作Class3[A, C]或Class1，则可以应用相应的证据参数（evB或evC）给他们。

您的版本不起作用，因为Scala的类型推断系统非常有限。它将首先求解A并最终得到Nothing，因为构造函数的参数中没有A。接下来，它将尝试求解B并且无法找到满足约束的值，因为已经确定A是Nothing。

因此，您必须确定类型推断是否值得额外的复杂性和运行时开销。有时它是，但根据我的经验，当你有这样的课程时，关系已经相当复杂，通常不是。

斯卡拉。通用类声明问题

1 个答案: