9

我有一个围绕数组的新类型包装器。我假设我可以使用size_of而不是手动传递数组的大小，但编译器认为我错了。

use std::mem::{size_of, size_of_val};

#[repr(C, packed)]
struct BluetoothAddress([u8, ..6]);

fn main() {
    const SIZE: uint = size_of::<BluetoothAddress>();

    let bytes = [0u8, ..SIZE];
    println!("{} bytes", size_of_val(&bytes));
}

（游戏围栏链接）

我正在使用每晚：rustc 0.13.0-nightly (7e43f419c 2014-11-15 13:22:24 +0000)

此代码失败并出现以下错误：

broken.rs:9:25: 9:29 error: expected constant integer for repeat count, found variable
broken.rs:9     let bytes = [0u8, ..SIZE];
                                    ^~~~
error: aborting due to previous error

Rust Reference on Array Expressions让我认为这应该可行：

在[expr ',' ".." expr]表单中，后面的表达式".."必须是可以在编译时求值的常量表达式，例如字面量或静态项。

4

1 回答 1

6

你的SIZE定义不合法；只是其中的错误发生在数组构造错误之后。如果您更改[0u8, ..SIZE]为[0u8, ..6]仅使该部分起作用，您会发现SIZE声明存在问题：

<anon>:7:24: 7:53 error: function calls in constants are limited to struct and enum constructors [E0015]
<anon>:7     const SIZE: uint = size_of::<BluetoothAddress>();
                                ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<anon>:7:24: 7:51 error: paths in constants may only refer to items without type parameters [E0013]
<anon>:7     const SIZE: uint = size_of::<BluetoothAddress>();
                                ^~~~~~~~~~~~~~~~~~~~~~~~~~~

你现在根本不能那样打电话size_of。

另一种方法是颠倒事物，这SIZE是规范定义，其他地方使用它：

use std::mem::{size_of, size_of_val};

const SIZE: uint = 6;

#[repr(C, packed)]
struct BluetoothAddress([u8, ..SIZE]);

fn main() {
    let bytes = [0u8, ..SIZE];
    println!("{} bytes", size_of_val(&bytes));
}

更新：在 Rust 1.0 中，这个问题已经被有效地淘汰了，编译器错误消息也得到了改进，使它们更加清晰。

此外，随着#42859最近登陆，rustc nightly 将允许size_of在恒定的上下文中使用，只要箱子有#![feature(const_fn)]（当#43017登陆时，也不再需要它，然后它将过滤到稳定）。

换句话说，语言的改进使这不再是一个问题。

于 2014-11-17T15:50:31.337 回答