Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

限制

以下 属性 影响编译时限制。

recursion_limit属性

recursion_limit 属性 可以应用于 crate 级别,以设置可能无限递归的编译时操作的最大深度,例如宏展开或自动解引用。

它使用 MetaNameValueStr 语法格式 来指定递归深度。

注意

rustc 中的默认值为 128。

#![allow(unused)]
#![recursion_limit = "4"]

fn main() {
macro_rules! a {
    () => { a!(1); };
    (1) => { a!(2); };
    (2) => { a!(3); };
    (3) => { a!(4); };
    (4) => { };
}

// 此展开失败,因为它需要的递归深度大于 4。
a!{}
}
#![allow(unused)]
#![recursion_limit = "1"]

fn main() {
// 此失败,因为它需要两个递归步骤才能自动解引用。
(|_: &u8| {})(&&&1);
}

type_length_limit属性

type_length_limit 属性 设置在单态化期间构造具体类型时允许的最大类型替换次数。

注意

rustc 仅在 nightly -Zenforce-type-length-limit 标志处于活动状态时强制执行此限制。

欲了解更多信息,请参阅 Rust PR #127670

例子

#![type_length_limit = "4"]

fn f<T>(x: T) {}

// 此编译失败,因为单态化为
// `f::<((((i32,), i32), i32), i32)>` 需要多于
// 4 个类型元素。
f(((((1,), 2), 3), 4));

注意

rustc 中的默认值为 1048576

type_length_limit 属性使用 MetaNameValueStr 语法格式。字符串中的值必须是非负数。

type_length_limit 属性只能应用于 crate 根。

注意

rustc 忽略在其他位置的使用,但会对其进行 lint 检查。这在将来可能会成为错误。

type_length_limit 上的首次使用才生效。

注意

rustc 会对首次使用之后的任何使用进行 lint 检查。这在将来可能会成为错误。