user2220591108878

contract(契约)是一种 Kotlin 面向编译器约定的一种规则，它帮助编译器更加智能地识别某些需要特定的代码条件，为代码创建更加友好的上下文关联环境。