如何在 Kotlin 中实现验证构造函数

Question

我正在 Kotlin 中实现 vars，它可以从某些用户那里接收越界输入。 我希望能够选择性地调用（仅在这些不受信任的用户的输入上）可以返回 null 的验证构造函数，然后在输入无效的情况下使用 Elvis 运算符指定默认值，如：var myFoo = Foo.fromInt(i) ?: 1 . 我目前正在使用配套对象方法来验证输入：

open class Foo(val x:Int) {   // relies on valid x in 1..3
  companion object {
    fun fromInt(x: Int): Foo? = if (x in 1..3) Foo(x) else null
  }
}
class Bar(x:Int) : Foo(x)
fun main(args:Array<String>) {
  println(Foo.fromInt(2))    // Foo(2)
  println(Foo.fromInt(20))   // null
  // println(Bar.fromInt(2))
  // would like Bar(2) but as expected, companion isn't inherited
}

当我Foo子类时，我知道我必须重新创建伴随对象。 我尝试从抽象类继承同伴;但是，对Foo(x)的调用仍然指向Foo而不是Bar，除非我覆盖每个子类的同伴中的fromInt。 有没有更好或更 Kotlin 偶像的方法来处理这种可以返回null而不是创建请求对象的验证构造函数模式？

Answer 1

您可以使用 init 块以及require 。

open class Foo(val x:Int) {
  init {
    require(x in 1..3) {
      "relies on valid x in 1..3"
    }
  }
}
class Bar(x:Int) : Foo(x)

示例运行：

>>> open class Foo(val x:Int) {
...   init {
...     require(x in 1..3) {
...       "relies on valid x in 1..3"
...     }
...   }
... }
>>> class Bar(x:Int) : Foo(x)
>>> val b = Bar(3)
>>> val b = Bar(4)
java.lang.IllegalArgumentException: relies on valid x in 1..3
    at Line_18$Foo.<init>(Line_18.kts:3)
    at Line_19$Bar.<init>(Line_19.kts:1)
>>> b.x
res22: kotlin.Int = 3

Answer 2

您

能否简单地使用单个构造函数并始终验证其参数x并将其分配给如下所示的属性：

open class Foo (x: Int) {   // relies on valid x in 1..3
    val x: Int = if (x in 1..3) x else 1
}
class Bar(x: Int) : Foo(x) 

现在使用不在范围内的值调用构造函数，创建一个默认Foo，我认为这基本上是您想要的。在我看来，最好抛出一个IllegalArgumentException而不是在幕后创建默认值。你觉得怎么样？

Answer 3

你也可以

寻找"重载invoke（）函数进行构造函数验证"。

class Student private constructor(val rollNo: Int) {
companion object {
    operator fun invoke(rollNo: Int): Student {
        //Do your validation here
        if (rollNo < 1) {
            throw Exception() // or any default Student
        } else
            return Student(rollNo)
    }
}

}

val student1 =Student(4)
val student2 =Student(-1) // will throw exception

这种方法隐藏了构造函数（私有），并且由于语法重载，看起来我们正在进行构造函数调用。