如何为Rust结构体中的Pin字段添加HL trait bound？

问题核心 #

你定义的Pin<P, N>方法get_x带有trait约束Self: HL，但PinWrapper的impl块未向编译器传递“其持有的Pin<P, N>满足该约束”的信息，导致编译器无法确认get_x方法的可用性。

解决方案 #

给PinWrapper的impl块添加对应的trait约束，明确告知编译器当前Pin<P, N>已实现HL：

修正后的代码 #

trait HL {}
struct Pin<const P: char, const N: u8>;

impl<const P: char> HL for Pin<P, 1> {} // 半具体化的HL实现

impl<const P: char, const N: u8> Pin<P, N>
where
    Self: HL,
{
    fn get_x(&self) -> u8 {
        22
    }
}

struct PinWrapper<const P: char, const N: u8> {
    pin: Pin<P, N>,
}

// 添加where约束，明确Pin<P, N>实现了HL
impl<const P: char, const N: u8> PinWrapper<P, N>
where
    Pin<P, N>: HL,
{
    fn test(&self) {
        println!("pin-get_x: {}", self.pin.get_x());
    }
}

// 测试示例
fn main() {
    let wrapper = PinWrapper { pin: Pin{} };
    wrapper.test(); // 正常编译运行
}

补充说明 #

如果你的PinWrapper仅需持有已实现HL的Pin实例，也可以直接在结构体定义时添加约束，从源头确保合法性：

struct PinWrapper<const P: char, const N: u8>
where
    Pin<P, N>: HL,
{
    pin: Pin<P, N>,
}

// 此时impl块无需重复约束
impl<const P: char, const N: u8> PinWrapper<P, N> {
    fn test(&self) {
        println!("pin-get_x: {}", self.pin.get_x());
    }
}

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