generics - 无法在大小通用类型的函数内使用 mem::size_of 创建常量 (E401)

Question

我有一个 Rust 程序，我一直在尝试使用 const 函数作为宏的替代方法来在编译时生成各种常量(到目前为止效果很好)，但我刚刚遇到了一个障碍，下面的代码片段不会编译，因为 size_of接受一个泛型参数，编译器说我不能使用函数签名中的那个:

const fn _IOC<T:Sized>(dir:u32, code:u8, nr:u8) -> u32 {
    // use of generic parameter from outer function (E0401)
    const 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);
    }
}

这是错误:

error[E0401]: can't use generic parameters from outer function
 --> src/lib.rs:3:48
  |
1 | const fn _IOC<T:Sized>(dir:u32, code:u8, nr:u8) -> u32 {
  |               - type parameter from outer function
2 |     // use of generic parameter from outer function (E0401)
3 |     const size: usize = ::core::mem::size_of::<T>();
  |                                                ^ use of generic parameter from outer function

我不确定我明白为什么 this specific error将适用于上面的代码。我应该将其视为该语言目前不支持的编译器边缘情况，还是有办法使这项工作我没有看到？

Answer 1

你不应该声明 size作为 const .它应该只是一个常规的不可变变量:

let size = ::core::mem::size_of::<T>();

Playground