Rust泛型const函数用mem::size_of触发E0401错误求助

你遇到的这个E0401错误，本质是Rust对const变量的编译期解析规则和const函数泛型的交互限制导致的，不是编译器的边缘情况，有明确的解决方法。

为什么会报错？ #

在Rust中，函数内部定义的const变量属于全局编译期常量——它的解析和求值是在函数定义阶段就完成的，而非函数调用时。但你的_IOC是泛型函数，T这个类型参数要到函数被具体调用（比如_IOC::<[u8;65]>(...)）时才会被确定。这就导致编译器在解析内部const size的时候，根本不知道T是什么，自然无法计算size_of::<T>()的值，所以抛出了"不能使用外部函数的泛型参数"的错误。

可行的解决方法 #

有两种简单的方式绕开这个限制：

方法1：用let代替内部const #

在const函数中，你可以使用let来定义编译期局部变量，这类变量的求值是和函数的具体实例化绑定的，允许依赖泛型参数：

const fn _IOC<T:Sized>(dir:u32, code:u8, nr:u8) -> u32 {
    let size: usize = ::core::mem::size_of::<T>();
    (dir << 30) | ((size as u32) << 16) | ((code as u32) << 8) | (nr as u32)
}

#[cfg(test)]
mod tests {
    use super::*;
    #[test]
    fn it_works() {
        let myioctl = _IOC::<[u8; 65]>(3, b'H', 0x06);
        assert_eq!(myioctl, 0xC0414806);
    }
}

方法2：直接内联size_of调用 #

如果不需要复用size变量，直接把size_of::<T>()的结果嵌入表达式中，完全避开变量定义的问题：

const fn _IOC<T:Sized>(dir:u32, code:u8, nr:u8) -> u32 {
    (dir << 30) | ((::core::mem::size_of::<T>() as u32) << 16) | ((code as u32) << 8) | (nr as u32)
}

这两种修改后的代码都能正常编译，并且保持你想要的编译期求值特性。

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