android - 修剪字符串函数中的 "it <= ' '"是什么意思

Question

我有这段 Java 代码来修剪字符串

String title = titleEt.getText().toString().trim();

当我转换为 kotlin 时，我希望这应该是 kotlin 代码来修剪前导和尾随空格。

val title = titleEt.text.toString().trim()

但是，IDE 会生成此代码

val title = titleEt.text.toString().trim { it <= ' ' }

这是什么{它<='''}？它是小于和小于''的任何字符吗？

Answer 1

Java 的 String#trim()从字符串的开头和结尾删除 '\u0000' (NUL) 和 '\u0020' (SPACE) 之间的所有代码点。

Kotlin 的 CharSequence.trim()默认情况下仅删除前导和尾随空格(匹配 Char.isWhitespace 的字符，即 Character#isWhitespace(char) )。对于与 Java 相同的行为，IDE 生成了一个谓词，该谓词与 Java 将修剪的相同字符匹配。

这些字符包括 ASCII 空格，但也包括控制字符。

'\u0000' ␀ ('\0')
'\u0001' ␁
'\u0002' ␂
'\u0003' ␃
'\u0004' ␄
'\u0005' ␅
'\u0006' ␆
'\u0007' ␇ ('\a')
'\u0008' ␈ ('\b')
'\u0009' ␉ ('\t')
'\u000A' ␊ ('\n')
'\u000B' ␋ ('\v')
'\u000C' ␌ ('\f')
'\u000D' ␍ ('\r')
'\u000E' ␎
'\u000F' ␏
'\u0010' ␐
'\u0011' ␑
'\u0012' ␒
'\u0013' ␓
'\u0014' ␔
'\u0015' ␕
'\u0016' ␖
'\u0017' ␗
'\u0018' ␘
'\u0019' ␙
'\u001A' ␚
'\u001B' ␛
'\u001C' ␜
'\u001D' ␝
'\u001E' ␞
'\u001F' ␟
'\u0020' ␠ (' ')