Есть ли способ объявить переменную неизменной значимым образом?

Question

До сегодняшнего дня, я думал, объявив переменную без mut, убедитесь, что она не может быть изменена после инициализации.

Я думал, что это здорово, потому что я всегда возмущался тем, что const в C и C++ ничего не гарантировал.

Я только что узнал, что я ошибся: ржавчина допускает внутреннюю изменчивость (см. std::cell). Это дает вам некоторые гарантии, но не то, что я ожидаю и желаю, когда я услышу непреложный.

Есть ли способ объявить что-то «действительно неизменным»?

Answer 1

Предотвращение внутренней изменчивости невозможно во время исполнения кода (постоянная оценка делает это легко, никакой мутации не существует). Любой тип, который вы используете, у которого нет контроля, может использовать небезопасный код для достижения внутренней изменчивости. Чтобы предотвратить наиболее распространенные случаи, вы можете использовать так называемую «маркерную черту». Эта черта не имеет других целей, но позволяет вам различать типы, которые реализуют вашу черту и типы, которые этого не делают.

#![feature(optin_builtin_traits)] 

use std::cell::{RefCell, Cell, UnsafeCell}; 
use std::sync::Mutex; 

unsafe trait ReallyImmutable {} 

unsafe impl ReallyImmutable for .. {} 
impl<T> !ReallyImmutable for RefCell<T> {} 
impl<T> !ReallyImmutable for Cell<T> {} 
impl<T> !ReallyImmutable for UnsafeCell<T> {} 
impl<T> !ReallyImmutable for Mutex<T> {} 
impl<'a, T> !ReallyImmutable for &'a mut T {} 
impl<T> !ReallyImmutable for *mut T {} 
impl<T> !ReallyImmutable for *const T {} 

Это, конечно, недостаток, требующая от вас черного списка интерьера переменчивости вместо белого перечня неизменяемых типов. Так что вы всегда можете чего-то пропустить.