我正在尝试编写一个断言函数来检查给定对象是否属于类型T：
@UseExperimental(ExperimentalContracts::class)
inline fun <reified T> assertIsInstance(value: Any?) {
contract {
returns() implies (value is T)
}
Assertions.assertThat(value).isInstanceOf(T::class.java)
}
该函数使用 AssertJ 进行具体断言，但我愿意让编译器知道在其执行之后，valueis 的类型T以便可以进行智能转换。这似乎不起作用，因为：
Error in contract description: references to type parameters are forbidden in contracts
还有另一种方法可以实现这种行为吗？这里有什么问题？这最终会成为可能吗？
（使用 Kotlin v1.3）
在某些时候，对于在 IDE 中支持此类构造存在一些（深度技术性的）担忧，但这种限制可能会在未来放宽。
这一直困扰着我几个小时，特别是因为这是可能的：
val x: Any = "string"
require(x is String)
val len = x.length
编译器显然能够理解这些，因此这可能是合约本身的限制。
我现在花了一段时间试图想出一些解决方法。以供参考：
@UseExperimental(ExperimentalContracts::class)
inline fun <reified T> assertIsInstance(value: Any?) {
contract {
returns() implies T::class.isInstance(value))
}
if(value !is T){
throw java.lang.IllegalArgumentException("Incorrect type");
}
}
“不支持的构造”
@UseExperimental(ExperimentalContracts::class)
inline fun <reified T> assertIsInstance(value: Any?, condition: Boolean = value is T) {
contract {
returns() implies condition
}
if(!condition)
throw IllegalArgumentException("Incorrect type");
}
编译，但不启用智能转换。其背后的最初动机是在合约前面放置一个布尔值，但合约必须是函数的第一部分，这使得这是不可能的。你还不如取消合约；在这种情况下它是没用的。
这是我最后一次尝试：
@UseExperimental(ExperimentalContracts::class)
inline fun assertIsInstance(value: Any?, cls: KClass<out Any>) {
contract {
returns() implies (cls.isInstance(value))
}
if(!cls.isInstance(value))
throw IllegalArgumentException("");
}
另一个“不受支持的构造”。
不知何故，我最终得到了这个：
@UseExperimental(ExperimentalContracts::class)
inline fun assertIsInstance(value: Any?) {
contract {
returns() implies (value.hashCode() == 0)
}
if(value.hashCode() != 0)
throw java.lang.IllegalArgumentException();
}
但这给出了一个新错误：only references to parameters are allowed in contract description.
看起来你不能。像我在第二个示例中所做的那样潜入它不会触发智能转换，并且由于各种编译器错误，其余部分不起作用。
至少目前看来，没有办法。你当然可以在 Kotlin 存储库中打开一个问题并要求这样的东西，但目前看来，这似乎是不可能的。
as运算符不这样做吗？
fun main() {
val x: Any = "string"
x as String
val len = x.length
println(len)
}