基于uom库实现任意维度带单位向量类型的问题

问题背景 #

尝试实现一个Coordinate类型，以指定维度的基本单位数组作为底层存储：构造函数将输入值转换为基本单位存储，getter方法返回对应维度的Quantity。但代码出现编译错误，核心问题是Quantity::new方法找不到，以及dyn Dimension未实现Debug。

错误原因分析 #

1. new方法找不到：
   代码中直接指定Quantity<D, SI<f64>, f64>::new<U>，但SI<f64>是动态trait对象（dyn Units），uom的Quantity针对动态单位类型并未提供new关联函数。new函数仅针对具体的单位类型存在，动态单位需要通过其他方式构造。
2. dyn Dimension未实现Debug：
   Coordinate派生了Debug，但泛型参数D被声明为Dimension + ?Sized，导致PhantomData<D>中的D是动态trait对象，而dyn Dimension没有实现Debug，无法满足派生要求。

修复后的代码 #

use anyhow::Result;
use core::marker::PhantomData;
use uom::si::{
    Dimension, Quantity, Unit,
    length::{Dimension as Length, meter}
};

#[derive(Debug)]
// 去掉?Sized，使用具体的Dimension类型，确保D能实现Debug
struct Coordinate<D: Dimension + 'static> {
    buf: [f64; 2],
    dim: PhantomData<D>,
}

impl<D: Dimension + 'static> Coordinate<D> {
    pub fn new<U: Unit<Dimension = D>>(x: f64, y: f64) -> Self {
        // 先创建对应单位的Quantity，再转换为基本单位
        let x_base = Quantity::new::<U>(x).into_base_units().value;
        let y_base = Quantity::new::<U>(y).into_base_units().value;
        
        Self {
            buf: [x_base, y_base],
            dim: PhantomData,
        }
    }

    // 返回基本单位的Quantity
    pub fn x(&self) -> Quantity<D, <D as Dimension>::Units, f64> {
        Quantity::from_base_units(self.buf[0])
    }

    pub fn y(&self) -> Quantity<D, <D as Dimension>::Units, f64> {
        Quantity::from_base_units(self.buf[1])
    }

    // 可选：添加转换到目标单位的方法
    pub fn x_in<U: Unit<Dimension = D>>(&self) -> Quantity<D, U, f64> {
        self.x().into()
    }

    pub fn y_in<U: Unit<Dimension = D>>(&self) -> Quantity<D, U, f64> {
        self.y().into()
    }
}

fn main() -> Result<()> {
    let coord = Coordinate::<Length>::new::<meter>(1.0, 2.0);
    println!("Coordinate: {:?}", coord);
    println!("X in meters: {:?}", coord.x_in::<meter>());
    // 示例：转换为千米
    use uom::si::length::kilometer;
    println!("X in kilometers: {:?}", coord.x_in::<kilometer>());
    Ok(())
}

关键修复点说明 #

1. 泛型参数调整：
   将D: Dimension + ?Sized改为D: Dimension + 'static，使用具体的Dimension类型而非动态trait对象，既解决了Debug实现问题，也符合uom对具体维度的使用习惯。
2. 正确构造基本单位值：
   不再直接操作Quantity的内部字段，而是先通过Quantity::new::<U>创建对应单位的量，再调用into_base_units()转换为基本单位，最后取出value存储。这是uom推荐的单位转换方式，避免直接依赖内部实现。
3. 正确返回Quantity：
   使用Quantity::from_base_units从基本单位值构造Quantity，替代手动初始化Quantity结构体的方式，避免违反uom的封装性，同时保证类型安全。
4. 添加单位转换方法：
   新增x_in/y_in方法，支持将存储的基本单位值转换为任意目标单位，更符合设计初衷。

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