在Python 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

型

我写了一个只接受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
}

型

Scala 2.13解决了这个问题：D
https://scastie.scala-lang.org/T637W491Sl2gN50ZVWAvBQ

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

字符串