官术网_书友最值得收藏!

Contracts on a function return value

With a such a contract in place, the Kotlin compiler knows that if the target function returns, then the condition defined is satisfied. This is what the previous example demonstrated. In the preceding scenario, the compiler knows now that if the function returns then the command parameter cannot be null.

In the ContractBuilder interface, defining the syntax to use for contracts, you will find two other variations of returns, as follows:

@ContractsDsl public fun returns(value: Any?): Returns

@ContractsDsl public fun returnsNotNull(): ReturnsNotNull

Using the first function, you can place a condition on the return value for the target function. While the returns takes a parameter of the Any? type, you can only use true, false, or null. In other words, if the function returns true, false, or null, then the effect is considered. The second function listed sets the condition on the target function returning a non-nullable value.

Let's revisit the previous example, this time setting a condition on the return value as follows:

data class Command(val timestamp: Long)

@ExperimentalContracts
fun process(any: Any?) {
if (isCommand(any)) {
println(any.timestamp)
}
}

@ExperimentalContracts
fun isCommand(any: Any?): Boolean {
contract {
returns(true) implies (any is Command)
}
return any is Command
}

While you will never write the code like that, it serves the purpose of demonstrating how you could help the compiler to do a smart cast in the process function. This time, the function takes an Any? parameter, and if the isCommand function returns true then the parameter is of a Command type. Because of this effect, the compiler knows the any parameter is a command, and, therefore, allows you to call any.timestamp.

A contract block is not restricted to one contract. The following code shows how you can set multiple effects on the same code contract:


@ExperimentalContracts
fun compute(any: Any?): Unit {
if (stringOrNumber(any)) {
println("String length:${any.length}")
} else {
for(i in 0..any){
println(i)
}
}
}

@ExperimentalContracts
fun stringOrNumber(value: Any?): Boolean {
contract {
returns(true) implies (value is String)
returns(false) implies (value is Int)
returns() implies (value != null)
}
return when (value) {
is String -> true
is Int -> false
else -> throw IllegalArgumentException()
}
}

Here, a compute method takes an Any? parameter. The stringOrNumber function returns true if the parameter is String or false if the parameter is Int; otherwise, it will throw an exception. This contract allows the body of compute to treat any as  String if the method returns true, or as Int if it returns false.

Before moving on to the next contract type, let's close this section with a contract handling more than one argument at once. Consider a stringIntAndBool function taking three Any? arguments and setting a contract for each parameter. When the function returns true, the effect is that the first parameter is String, the second one is Int, and the third one is a Boolean. The following is the code for it:

@ExperimentalContracts
fun stringIntAndBool(val1: Any?, val2: Any?, val3: Any?): Boolean {
contract {
returns(true) implies (
val1 != null && val1 is String &&
val2 != null && val2 is Int &&
val3 != null && val3 is Boolean
)
}
return (val1 is String && val2 is Int && val3 is Boolean)
}
主站蜘蛛池模板: 胶州市| 涿州市| 习水县| 丹棱县| 金川县| 长沙市| 阿拉善左旗| 上思县| 新巴尔虎右旗| 保定市| 临邑县| 定襄县| 乐昌市| 图片| 喀什市| 蕲春县| 文水县| 固镇县| 勐海县| 洪洞县| 呼伦贝尔市| 贵阳市| 加查县| 泽州县| 翁牛特旗| 江都市| 高州市| 湘阴县| 沽源县| 成都市| 盐边县| 建始县| 肥乡县| 武隆县| 米林县| 湟源县| 皋兰县| 微山县| 密山市| 什邡市| 深水埗区|