String
不可变的 Unicode 字符序列。
静态方法
format_time
navi
String.format_time(
time: int,
format: String,
timezone: String = symbol_info.timezone
): String根据提供的格式和时区,将时间戳(自纪元以来的毫秒数)格式化为字符串。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
time | int | 要格式化的时间戳(自纪元以来的毫秒数)。 | |
format | String | 转换使用的格式字符串。 | |
timezone | String | symbol_info.timezone | 格式化使用的时区。 |
返回: String
from
方法
contains
navi
String.contains(self: String, str: String): bool检查字符串是否包含指定的子字符串。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
str | String | 要搜索的子字符串。 |
返回: bool
ends_with
navi
String.ends_with(self: String, str: String): bool检查字符串是否以指定的后缀结尾。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
str | String | 要搜索的后缀。 |
返回: bool
format
navi
String.format(self: String, values: any): String将字符串作为模板进行格式化,用提供的值替换 {} 占位符。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
values | any | 要替换到模板中的可变数量的值。 |
返回: String
index_of
navi
String.index_of(self: String, str: String): int返回子字符串第一次出现的从零开始的索引,如果未找到则返回 na。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
str | String | 要搜索的子字符串。 |
返回: int
length
navi
String.length(self: String): int返回字符串的长度。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String |
返回: int
lower
navi
String.lower(self: String): String将字符串中的所有字符转换为小写。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String |
返回: String
match
navi
String.match(self: String, regex: String): String如果字符串匹配正则表达式模式,则返回匹配的子字符串,否则返回空字符串。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
regex | String | 要匹配的正则表达式模式。 |
返回: String
pad_end
navi
String.pad_end(self: String, len: int, fill: String = " "): String用 fill 在字符串右侧填充,直到长度至少为 len 个字符。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
len | int | 目标最小字符长度。 | |
fill | String | " " | 填充字符串,默认为 " "。 |
返回: String
pad_start
navi
String.pad_start(self: String, len: int, fill: String = " "): String用 fill 在字符串左侧填充,直到长度至少为 len 个字符。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
len | int | 目标最小字符长度。 | |
fill | String | " " | 填充字符串,默认为 " "。 |
返回: String
repeat
navi
String.repeat(self: String, repeat: int): String返回将字符串重复指定次数后的新字符串。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
repeat | int | 重复字符串的次数。 |
返回: String
replace
navi
String.replace(
self: String,
target: String,
replacement: String,
occurrence: int = 0
): String将目标子字符串第 N 次出现的位置替换为指定内容。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
target | String | 要被替换的子字符串。 | |
replacement | String | 替换内容。 | |
occurrence | int | 0 | 要替换的第 N 次出现(从 0 开始)。默认为 0。 |
返回: String
replace_all
navi
String.replace_all(self: String, target: String, replacement: String): String将目标子字符串的所有出现替换为指定内容。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
target | String | 要被替换的子字符串。 | |
replacement | String | 替换内容。 |
返回: String
split
navi
String.split(self: String, separator: String): Array<String>根据分隔符将字符串拆分为子字符串数组。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
separator | String | 用于拆分的分隔符字符串。 |
starts_with
navi
String.starts_with(self: String, str: String): bool检查字符串是否以指定前缀开头。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
str | String | 要搜索的前缀。 |
返回: bool
substring
navi
String.substring(self: String, begin_pos: int, end_pos: int): String返回从 begin_pos 到 end_pos(不含)的子字符串。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String | ||
begin_pos | int | 起始位置(含)。 | |
end_pos | int | 结束位置(不含)。 |
返回: String
to_number
navi
String.to_number(self: String): float将字符串转换为浮点数。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String |
返回: float — 解析后的浮点值,如果字符串无法解析则返回 na。
trim
navi
String.trim(self: String): String去除字符串首尾的空白字符。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String |
返回: String
trim_end
navi
String.trim_end(self: String): String去除字符串末尾的空白字符。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String |
返回: String
trim_start
navi
String.trim_start(self: String): String去除字符串开头的空白字符。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String |
返回: String
upper
navi
String.upper(self: String): String将字符串中的所有字符转换为大写。
参数
| 名称 | 类型 | 默认值 | 说明 |
|---|---|---|---|
self | String |
返回: String

