为何Rust中impl块内定义的常量无法直接使用？

问题代码 #

pub struct Foo {}

impl Foo {
    const THREE: i32 = 3;
    pub fn mul_three(num: i32) -> i32 {
        num * THREE
    }

    pub fn sub_three(num: i32) -> i32 {
        num - THREE
    }
}

编译错误 #

编译时会触发如下错误：

error[E0425]: cannot find value `THREE` in this scope
 --> <source>:6:15
  |
6 |         num * THREE
  |               ^^^^^ not found in this scope

技术原因 #

Rust的作用域规则明确：impl块内定义的关联常量不属于方法的默认查找作用域。这些常量是类型Foo的关联项，属于类型本身，而非impl块的本地标识符。

在方法内部直接写THREE时，编译器只会在当前函数作用域、外部模块作用域查找同名变量，不会自动关联到类型的关联常量。要访问这类常量，必须通过类型名或Self关键字限定路径，比如Foo::THREE或Self::THREE。

修正后的代码 #

pub struct Foo {}

impl Foo {
    const THREE: i32 = 3;
    pub fn mul_three(num: i32) -> i32 {
        num * Self::THREE
    }

    pub fn sub_three(num: i32) -> i32 {
        num - Foo::THREE
    }
}

这种设计的核心是明确区分"类型的关联成员"和"本地作用域成员"，避免作用域歧义——关联常量本质是类型的一部分，和关联函数的访问规则保持一致，都需要通过类型路径来引用。

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