某个 SQL DSL 接收 String 并把它插入查询。Kotlin 类型检查证明了什么？

某个 SQL DSL 接收 String 并把它插入查询。Kotlin 类型检查证明了什么？

1. 只能证明实参具有可接受的 Kotlin 类型，不能证明它已安全编码
2. 字符串不可能包含 SQL 元字符
3. @DslMarker 会自动参数化查询
4. 尾随 lambda 会在执行前转义所有值