std.io

输入输出模块。提供标准输出、标准输入读取，以及“一次性读写整个文件”的便捷函数。需要按句柄增量读写文件时用 std.os。

use std.io

平台可用性

read_line 起以下函数依赖操作系统 I/O，在 wasm32 目标上不导出： read_line、read_file、write_file、append_file。 print / println / format_fallback 在所有目标上可用。

函数一览

函数	签名
print	(...args) -> Void
println	(...args) -> ()
read_line	() -> String
read_file	(path: &String) -> String
write_file	(path: &String, content: &String) -> Bool
append_file	(path: &String, content: &String) -> Bool
format_fallback	(value, type_name: &String) -> String

## 函数

print

print: (...args) -> Void

按顺序输出所有参数，不加换行。多个参数之间以单个空格分隔。

参数会被格式化：String 直接输出内容；List / Dict / Tuple 递归展开；其余值按字面量输出。

use std.io

main: () -> Void = {
    print("hello")
    print(" ")
    print("world")
    println("")
}

println

println: (...args) -> ()

同 print，但在输出末尾追加换行。

println() 不带参数时输出一个空行：

main: () -> Void = {
    println("Hello, YaoXiang!")
}

read_line

read_line: () -> String

从标准输入读取一行。

返回：读到的整行内容，已去除结尾的换行符（\n 或 \r\n）。错误：读取失败时抛出 E6007。

交互式示例无法在文档中自动运行，以下写法仅供参考。

use std.io

main: () -> Void = {
    println("请输入你的名字：")
    name = io.read_line()
    println("你好，" + name)
}

read_file

read_file: (path: &String) -> String

一次性读取整个文件内容为字符串。

• path —— 文件路径（只读借用）

返回：文件全部内容。错误：文件不存在或无权限时抛出 E6007。不返回空串。

use std.assert
use std.io
use std.os
use std.string

main: () -> Void = {
    p = "__yx_doc_read_file.txt"
    io.write_file(p, "hello")

    content = io.read_file(p)
    assert(content == "hello")

    os.remove(p)
}

write_file

write_file: (path: &String, content: &String) -> Bool

把 content 写入 path，覆盖原有内容；文件不存在时创建。

• path —— 文件路径（只读借用）
• content —— 要写入的内容（只读借用）

返回：写入成功返回 true。错误：目录不存在或无权限时抛出 E6007（不返回 false）。

use std.assert
use std.io
use std.os

main: () -> Void = {
    p = "__yx_doc_write_file.txt"
    ok = io.write_file(p, "hello")
    assert(ok)
    assert(os.exists(p))
    os.remove(p)
}

append_file

append_file: (path: &String, content: &String) -> Bool

把 content 追加到 path 末尾；文件不存在时创建。

返回：写入成功返回 true。错误：无权限时抛出 E6007。

use std.assert
use std.io
use std.os

main: () -> Void = {
    p = "__yx_doc_append_file.txt"
    io.write_file(p, "hello")
    io.append_file(p, " world")
    assert(io.read_file(p) == "hello world")
    os.remove(p)
}

format_fallback

format_fallback: (value, type_name: &String) -> String

按类型名格式化值，输出形如 int(42) / list@3 的带前缀表示。

这是内部辅助函数，供运行时的通用格式化路径回调使用，日常代码应直接用 std.convert.to_string。

• value —— 任意值
• type_name —— 类型名字符串

返回：带类型前缀的字符串表示。

use std.assert
use std.io
use std.string

main: () -> Void = {
    s = io.format_fallback(42, "int")
    assert(string.contains(s, "42"))
}

相关

• std.os —— 文件句柄、目录与环境变量
• std.convert —— 值转字符串