是否可以相互依赖声明2个静态可变变量？

Question

我试图声明两个静态可变变量,但我有一个错误:

static mut I: i64 = 5;
static mut J: i64 = I + 3;

fn main() {
    unsafe {
        println!("I: {}, J: {}", I, J);
    }
}

错误:

error[E0133]: use of mutable static is unsafe and requires unsafe function or block
 --> src/main.rs:2:21
  |
2 | static mut J: i64 = I + 3;
  |                     ^ use of mutable static
  |
  = note: mutable statics can be mutated by multiple threads: aliasing violations or data races will cause undefined behavior

这不可能吗？我也尝试在声明上加上一个unsafe块,但它似乎是不正确的语法:

static mut I: i64 = 5;

unsafe {
    static mut J: i64 = I + 3;
}

Answer 1

是的.

在您的情况下,只需删除mut,因为静态全局变量可以安全访问,因为它们无法更改,因此不会受到所有不良属性的影响,例如非同步访问.

static I: i64 = 5;
static J: i64 = I + 3;

fn main() {
    println!("I: {}, J: {}", I, J);
}

如果您希望它们是可变的,您可以使用unsafe访问不安全变量的位置(在本例中I).

static mut I: i64 = 5;
static mut J: i64 = unsafe { I } + 3;

fn main() {
    unsafe {
        println!("I: {}, J: {}", I, J);
    }
}