面试题：Kotlin契约系统中如何定义简单契约

Question

在Kotlin中，假设你有一个函数`fun calculateSum(a: Int, b: Int): Int`，请使用契约系统来确保该函数返回值始终大于0（假设`a`和`b`都大于0），请写出相应的代码实现。

Answer 1

fun calculateSum(a: Int, b: Int): Int {
    require(a > 0 && b > 0) { "a和b必须都大于0" }
    val result = a + b
    contract {
        returns() implies (result > 0)
    }
    return result
}