Dyon开发常见问题分类

错误类别	常见场景	调试难度
语法解析错误	括号不匹配、关键字拼写错误	高
类型系统错误	类型不匹配、空值解包	中
运行时异常	数组越界、并发资源竞争	较高

一、数组操作常见问题

索引越界示例:

// 索引越界示例
主函数() {
    数据序列 := [10, 20, 30]
    输出(数据序列[3]) // 索引3超出有效范围(0-2)
}

解决方案:

// 使用长度检查
若 索引 < 长度(数据序列) {
    输出(数据序列[索引])
} 否则 {
    输出("索引超出有效范围")
}

// 指定明确类型
数值组 := [1.5, 2.8, 3.2] as [浮点数]

二、对象属性访问问题

未定义属性示例:

主函数() {
    点坐标 := {x轴: 5.0, y轴: 8.0}
    输出(点坐标.z轴) // 属性z轴未定义
}

安全访问方案:

// 安全访问操作符
z值 := 点坐标?.z轴?

// 类型验证
若 包含(点坐标, "z轴") && 类型名(点坐标.z轴) == "浮点数" {
    输出(点坐标.z轴 + 2.5)
}

三、Option与Result处理

空值解包问题:

获取数据() -> {
    可能值 := 空值()
    返回 确定(可能值?) // 解包空值导致异常
}

安全处理模式:

匹配 可选值 {
    有值(实际值) => 输出(实际值),
    空值() => 输出("数值不存在")
}

读取配置() -> 结果<配置, 字符串> {
    文件 := 打开("配置.dyon")?;
    内容 := 读取文本(文件)?;
    解析配置(内容)
}

四、模块加载问题

模块加载异常处理:

数学模块 := 加载("数学工具.dyon")
若 是错误(数学模块) {
    输出("模块加载失败: " + 错误信息(数学模块))
    返回
}
数学模块 := 解包(数学模块)

五、并发编程问题

线程安全处理:

对于 线程 在 线程组 {
    匹配 等待结束(线程) {
        确定(值) => 总和 += 值,
        错误(异常) => 输出("线程异常: " + 异常)
    }
}

// 使用互斥锁
使用 同步::互斥锁;

主函数() {
    计数器 := 互斥锁::新建(0)
    线程组 := 筛选 i 在 4 {
        异步 增加计数(可变 计数器)
    }
    // ...
}

增加计数(可变 计数器: 互斥锁<整型>) {
    设 可变 数值 = 计数器.锁定().解包();
    *数值 += 1;
}

六、类型与生命周期问题

类型标注解决方案:

主函数() {
    输出(计算(2.5)) // 传递浮点类型
}

计算(参数: 浮点数) = 参数 + 3.5

// 生命周期标注
取最大值(文本1: 'a 字符串, 文本2: 'a 字符串) -> 'a 字符串 {
    若 长度(文本1) > 长度(文本2) {文本1} 否则 {文本2}
}

七、错误处理策略

防御式编程示例:

除法运算(被除数: 浮点数, 除数: 浮点数) -> 结果<浮点数, 字符串> {
    若 除数 == 0.0 {
        返回 错误("除数不能为零")
    }
    确定(被除数 / 除数)
}