Rust中如何定义自定义类型并在编译期验证值的正确性？

要实现和i32等原生类型一致的编译期取值合法性检查，核心机制是利用Rust的const上下文求值能力：把校验逻辑写成可在编译期执行的const函数，同时封闭类型的构造入口，确保任何实例生成前都必须经过校验，不合法的值直接在编译阶段触发报错，不会进入运行时。
下面以要求符合dd/mm/yy（按公历规则实现，可按需调整格式解析逻辑）格式的合法Date类型为例，给出完整实现：

第一步：编写编译期可执行的校验逻辑 #

所有校验规则必须写在const fn中，才能在常量上下文（const变量赋值、const泛型参数位）中被编译器执行，校验不通过时直接触发panic——const上下文中的panic会直接被转化为编译错误，和原生类型赋值越界的报错逻辑完全一致。

// 编译期判断闰年
const fn is_leap_year(year: u16) -> bool {
    year % 4 == 0 && (year % 100 != 0 || year % 400 == 0)
}

// 编译期日期合法性校验，合法则返回拆分后的(日,月,年)元组，不合法直接触发编译期panic
const fn validate_date(day: u8, month: u8, year: u16) -> (u8, u8, u16) {
    // 校验月份范围1-12
    if month == 0 || month > 12 {
        panic!("invalid month: must be in 1..=12");
    }

    // 匹配当月最大合法天数
    let max_day = match month {
        1 | 3 | 5 | 7 | 8 | 10 | 12 => 31,
        4 | 6 | 9 | 11 => 30,
        2 => if is_leap_year(year) { 29 } else { 28 },
        _ => unreachable!(),
    };

    // 校验日期范围
    if day == 0 || day > max_day {
        panic!("invalid day: out of valid range for current month and year");
    }

    (day, month, year)
}

第二步：定义封闭构造入口的新类型 #

类型内部字段必须设为私有，禁止外部直接构造或修改字段绕过校验，仅暴露const构造方法作为合法的实例入口：

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct Date {
    day: u8,
    month: u8,
    year: u16,
}

impl Date {
    // 编译期构造入口，所有传入值先过校验
    pub const fn new(day: u8, month: u8, year: u16) -> Self {
        let (d, m, y) = validate_date(day, month, year);
        Self { day: d, month: m, year: y }
    }

    // 仅提供只读访问方法，禁止外部修改内部字段破坏合法性
    pub const fn day(&self) -> u8 {
        self.day
    }

    pub const fn month(&self) -> u8 {
        self.month
    }

    pub const fn year(&self) -> u16 {
        self.year
    }

    // 可选：提供运行时动态传值的安全构造入口，返回Result处理错误
    pub fn try_new(day: u8, month: u8, year: u16) -> Result<Self, &'static str> {
        // 运行时复用同样的校验逻辑
        if month == 0 || month > 12 {
            return Err("invalid month: must be in 1..=12");
        }
        let max_day = match month {
            1 | 3 | 5 | 7 | 8 | 10 | 12 => 31,
            4 | 6 | 9 | 11 => 30,
            2 => if is_leap_year(year) { 29 } else { 28 },
            _ => unreachable!(),
        };
        if day == 0 || day > max_day {
            return Err("invalid day: out of valid range for current month and year");
        }
        Ok(Self { day, month, year })
    }
}

校验效果 #

这个实现的行为和原生类型的编译期检查完全一致：

• 合法的常量赋值直接编译通过：

// 编译通过：2024是闰年，2月存在29天
const LEAP_YEAR_DATE: Date = Date::new(29, 2, 2024);
// 编译通过：1月有31天
const FIRST_DAY: Date = Date::new(1, 1, 2025);

• 非法值直接在编译阶段报错，不会进入运行时：

// 编译报错：2023不是闰年，2月没有29天
const INVALID_DATE1: Date = Date::new(29, 2, 2023);
// 编译报错：月份取值不在1-12范围内
const INVALID_DATE2: Date = Date::new(1, 13, 2024);
// 编译报错：4月只有30天
const INVALID_DATE3: Date = Date::new(31, 4, 2024);

通用自定义约束类型的实现规则 #

对于任意需要加取值范围约束的自定义新类型，都可以套用这套逻辑实现编译期校验：

• 所有校验逻辑必须实现为const fn，确保可以在编译期执行
• 类型内部字段必须全私有，禁止外部直接构造、修改绕过校验
• 仅暴露const构造方法作为常量场景的入口，校验不通过直接触发编译期panic
• 如果需要支持运行时动态传入值，额外实现返回Result的try_new方法即可，校验逻辑可以和编译期版本复用
• 不要对外暴露内部字段的可变引用，避免运行时合法值被篡改为非法值

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