5

Есть такой код на C++:

#include <iostream>

struct Foo {
    int * ptr;
public:
    Foo() {
        ptr = new int;
        std::cout << "Foo constructor" << std::endl;
    }
    ~Foo() {
        delete ptr;
        std::cout << "Foo destructor" << std::endl;
    }
};

auto foo = Foo();

int main() {
    std::cout << "Hello" << std::endl;
    return 0;
}

Он компилируется и исполняется без каких-либо проблем. В нём до вызова main создаётся объект, выделяется память. Но если сделать что-то подобное в Rust, то компилятор не даст этого сделать:

pub static foo: Foo = Foo::new("Hello".to_string());

Ему не нравится функция to_string(), которая выделяет память. Почему Rust так разработан ? Что в этом безопасного(Rust позиционируется как безопасный системный язык программирования)?

2
  • 1
    Скорее надо задаться вопросом, почему в С++ так разрешено (чью голову посетила сия "гениальная" мысль и как ему удалось убедить остальных)?
    – avp
    9 мая 2020 в 19:08
  • Вопрос недостаточно конкретен. В чем, по-вашему, состоит безопасность выполнения произвольного кода в конструкторах статических объектов в неопределенном порядке до того, как контроль передается в основную точку входа программы? В Rust статические объекты могут быть инициализированы только константными выражениями, которые вычисляются на этапе компиляции (т.е. результат запекается в секции данных исполняемого файла как содержимое статической константы или, реже, переменной). Никакой код до main не выполняется, и это так задумано.
    – mzabaluev
    13 мая 2020 в 7:15

1 ответ 1

5

Это связано с тем, что статические выражения в Rust являются constexpr в терминах С++, constexpr-выражения тоже запрещают выделение памяти.

Причина тут не столько в безопасности, сколько в принципе "не платить за то, что не используется". Если разрешить произвольные функции при инициализации статических переменных - то одна из них может создать новый поток, который может обратиться к другой статической переменной перед её инициализацией. В итоге понадобится по мьютексу на каждую переменную (и в том же С++ так и делается!), что приедет к куче расходов на многопоточность даже в однопоточных программах.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.