静态断言在自由常量、关联常量与固有常量中的差异问询

嘿，我最近在琢磨Rust里的静态断言，发现把它用在不同类型的常量里，情况还真不太一样，特意来跟大家唠唠这些差异，也想听听大家的补充～

先跟大家快速回顾下：静态断言就是咱们在编译阶段就能执行的自定义检查，要是条件不满足，直接就打断编译，把问题扼杀在运行前，这种提前兜底的方式真的挺省心的！

下面我就说说我目前摸到的、静态断言在三种常量里的不同表现：

• 自由常量（就是咱们自己随便在代码里定义的普通常量，比如const MAX: u32 = 100;这种）
  这种场景用静态断言最直接，咱们可以把断言和常量绑定在一起，比如用静态断言宏检查常量的取值范围：const MAX: u32 = 100; const _: () = assert!(MAX <= 255);。编译的时候会直接检查这个断言，一旦不满足，报错信息也会精准定位到常量定义的地方，排查起来特别方便。

• 关联常量（和 trait、结构体或者枚举绑定的常量，比如 trait 里的const DEFAULT: Self;）
  这里的静态断言就带了点“约束所有实现者”的味道。比如我在 trait 里定义了const MAX_SIZE: usize;，再加上静态断言const _: () = assert!(MAX_SIZE > 0);，那所有实现这个 trait 的类型，它的 MAX_SIZE 都必须大于 0，不然编译直接卡壳。而且不同类型的实现会分别触发检查，相当于给所有实现者统一设了个编译时门槛，约束性和灵活性都兼顾到了。

• 固有常量（语言或标准库自带的常量，比如u32::MAX这种）
  这类常量是官方定死的，咱们没法直接给它们加静态断言，但可以在自己代码里用静态断言来约束和它们相关的逻辑。比如我定义了自己的常量const MY_VALUE: u32 = 6000000000;，就可以加个断言const _: () = assert!(MY_VALUE <= u32::MAX);，确保自己的取值不会超出固有常量的范围。不过记住哦，咱们只能管自己怎么用这些固有常量，没法改它们本身的定义～

我目前大概就摸到这些，但总觉得还有没考虑全的细节，比如关联常量的静态断言在继承场景下有没有特殊表现？固有常量的使用里，静态断言还有没更巧妙的玩法？有没有大佬能帮我补补坑或者纠正下呀～

内容来源于stack exchange