Scala：对单例类型进行“泛化”吗？

Question

在Scala中，值和对象具有单独分配给它们的单例类型。 所以我们可以有：

val x = 1
type X = x.type
val y = 2
type Y = y.type

• 我可以写一个只用x作为参数的方法吗？

我试过了：

val x = 1
def foo(i: x.type ) = println(x.toString)

但这给我一个错误。 我认为这是关于类型未知的事实的抱怨。 有没有一种方法可以指定i应该是一个int的事实，以便我们可以在其上使用.tofloat ？

• 上面的X和Y （即1和2的单例类型）是否有一个共同的祖先，因此我可以编写一个涉及单例类型（例如Int值）的通用代码。

• 同样的，

如果我有例如

 val list = [1,2,3]

有没有一种方法可以编写泛化这些代码的代码，而这些代码只能被提供给这些值之一？

Answer 1

在2.12.5中，它仅适用于装箱的非基本整数：

val x: java.lang.Integer = 42
def foo(i: x.type): Unit = println(i.toFloat)

我不知道为什么它不适用于val x: Int 。 在Dotty中，它也适用于基本类型：

val x: Int = 42
def foo(i: x.type): Unit = println(x.toFloat)

对于一个以上的值（列表），您可以进行枚举，或者简单地使用私有构造函数创建一个小类，然后实例化伴随类中的所有有效值：

class SmallInt private(value: Int) {
  def asFloat = value.toFloat
}

object SmallInt {
  val one = new SmallInt(1)
  val two = new SmallInt(2)
  val three = new SmallInt(3)
}

这将无法编译：

val foo = new SmallInt(345678) // forbidden

Answer 2

我写了一个只用x作为参数的方法？

如果只能接受一个参数，则不需要

val x = 1
def f() = println(x.toString)

上面的X和Y，即1和2的单例类型是否有一个共同的祖先，因此我可以编写一个通用代码，其中涉及说Int值的单例类型...

我不明白 具有函数的一种方法是将一组任意类作为输入，这是使用隐式转换

trait CanUse{
    def use(): Int
}

def f[A](a: A)(implicit cvt: (A) => CanUse): Int = cvt(a).use() + 1

然后为每个可接受的输入类型定义隐式转换器

implicit class UsableInt(i: Int) extends CanUse{
   def use() = i
}