rust - |难以汇总匹配|

Question

我正在尝试打包列数据，以便可以将其发送到服务器。
我希望能够将任何合适的向量传递给发送函数，所以我做到了这一点(简短版本):

enum Column {
    Short(Vec<i16>),
    Int(Vec<i32>),
}

impl Column {
    fn as_bytes(&mut self) -> &[u8] {
        use Column::*; // weird
        match self {
            Short(vec) => unsafe { (vec.align_to::<u8>()).1 }, //why the ::?
            Int(vec) => unsafe { (vec.align_to::<u8>()).1 },
        }
    }
}

这样就可以了。但是，如果我用或管道重写匹配项:

impl Column {
    fn as_bytes_succinct(&mut self) -> &[u8] {
        use Column::*;

        match self {
            Short(vec) | Int(vec) => unsafe { (vec.align_to::<u8>()).1 },
        }
    }
}

我懂了

expected i16, found i32

简短的写作与显式的写作有何不同？

Answer 1

Rust是一种静态类型的语言，因此每个对象在编译时都有一个已知的类型。在上一个示例中，您的匹配项等效于以下代码:

let vec: Vec<???> = match self {
    Short(v) | Int(v) => v,
};

unsafe { vec.align_to() }.1

vec应该具有哪种类型？此外， align_to有2种不同的路径，即 <[i16]>::align_to和 <[i32]>::align_to，它们可能具有 specialization 功能的不同实现。