Rust中如何清晰反馈副作用执行结果？数独场景技术问询

针对你在数独项目中遇到的「修改单元格值时，需要明确传达是否成功」的问题，以下是几种优雅的实现方式，同时结合你的场景给出建模优化建议：

1. 返回自定义结果枚举（推荐） #

替代模糊的bool返回值，定义一个明确的枚举类型来表示操作结果，既保证类型安全，又无需拷贝结构体：

enum Value {
    Mutable(i32),
    Constant(i32),
}

struct SomeStruct {
    // 其他成员
    value: Value,
}

// 定义操作结果枚举，清晰传达失败原因
enum ChangeOutcome {
    Success,
    FailedBecauseValueIsConstant,
}

impl SomeStruct {
    fn change_value(&mut self, new_value: i32) -> ChangeOutcome {
        match &mut self.value {
            Value::Mutable(v) => {
                *v = new_value;
                ChangeOutcome::Success
            },
            Value::Constant(_) => ChangeOutcome::FailedBecauseValueIsConstant,
        }
    }
}

调用时，调用者必须显式处理两种结果，不会忽略失败情况：

let mut cell = SomeStruct { value: Value::Mutable(5) };
match cell.change_value(10) {
    ChangeOutcome::Success => println!("修改成功"),
    ChangeOutcome::FailedBecauseValueIsConstant => println!("无法修改固定值"),
}

如果需要携带更多错误上下文，可以改用Result<(), ChangeError>：

#[derive(Debug)]
enum ChangeError {
    CannotModifyConstantValue,
}

impl SomeStruct {
    fn change_value(&mut self, new_value: i32) -> Result<(), ChangeError> {
        match &mut self.value {
            Value::Mutable(v) => {
                *v = new_value;
                Ok(())
            },
            Value::Constant(_) => Err(ChangeError::CannotModifyConstantValue),
        }
    }
}

2. 用类型系统区分可变/不可变单元格（数独场景最优） #

由于数独中「固定值单元格」和「可修改单元格」的属性在初始化后不会变化，可以直接通过类型划分从根源避免错误：

// 固定值单元格：仅能读取，没有修改方法
struct ConstantCell {
    value: i32,
}

// 可修改单元格：提供修改方法
struct MutableCell {
    value: i32,
}

// 数独单元格的统一包装类型
enum Cell {
    Constant(ConstantCell),
    Mutable(MutableCell),
}

impl MutableCell {
    fn change_value(&mut self, new_value: i32) {
        self.value = new_value;
    }
}

这种方案的优势是编译期安全：你无法调用ConstantCell的修改方法，所有针对固定值的误修改都会在编译阶段被发现。使用时只需先匹配单元格类型：

let mut cell = Cell::Mutable(MutableCell { value: 5 });
if let Cell::Mutable(mutable_cell) = &mut cell {
    mutable_cell.change_value(10);
}
// 尝试修改ConstantCell会编译报错

对比你提到的其他方案 #

• C++风格的bool返回值：自定义枚举/Result类型比bool更清晰，不会让调用者困惑返回值的含义，同时强制关注失败场景。
• 函数式拷贝方案：避免了高成本的结构体拷贝，直接通过可变引用修改原数据，效率更高。

内容的提问来源于stack exchange，提问作者Agiltohr