0

Скажите, пожалуйста, правильно ли я понимаю следующее.

У меня есть тип A. Предположим, что я хочу реализовать для такого типа оператор A& operator=(const A& a) со строгой гарантией относительно исключений. То есть, в случае отказа, оператор исключение кидает, но объект типа A остается в исходном состоянии.

Проблема - тип A содержит много полей, которые в свою очередь состоят из других полей, и где-то там внутри есть поле типа Z. Тысячи лет тип Z обеспечивал строгую гарантию относительно исключений своего оператора Z& operator=(const Z& z), но вот одним ужасным днем эта гарантия была разрушена, и никто этого не увидел.

Вопросы следующие.

  1. Действительно композиция настолько хрупка?
  2. Как обнаружить, что поле типа Z стало нарушать гарантии того, что в рамках выполнения оператора A& operator=(const A& a) во всех цепочках операций обеспечивается строгая гарантия исключений?
  3. Можно ли побороть эту хрупкость, если вместо композиции значений уйти в сторону композиции указателей (умных)? Ведь в таком случае объекты можно копировать путем вызова метода Type::Uptr Type::Clone() const. Перемещение реализовать еще проще - достаточно поменять значение указателя. Мне кажется, что это намного проще анализировать и отслеживать, но уверенности у меня в этом нет.
8
  • 1
    @HolyBlackCat, все верно. Несколько раз упрощал вопрос, чтобы совсем уж людей не запутывать. И остался рудимент. Спасибо.
    – MGNeo
    21 дек 2020 в 19:45
  • 2
    @KoVadim Я так понимаю, речь не про параметр, а про this, который он может оставить в наполовину измененном состоянии. 21 дек 2020 в 19:58
  • 2
    ну тогда человечество уже давно придумало решения - swap idiom
    – KoVadim
    21 дек 2020 в 20:01
  • 1
    swap не поможет, если в Z нарушена гарантия в swap. Хотя согласен, что чтобы нарушить гарантию в swap надо наделать глупых ошибок. 21 дек 2020 в 22:27
  • 1
    полностью защитится вряд ли получится. Но обеспечить хорошую гарантию можно. Хочется супер контроля - пишите код сами (хотя не факт, что сделаете лучше или быстрее).
    – KoVadim
    22 дек 2020 в 8:48

1 ответ 1

1

Да, вы правы: умный указатель даёт гарантию даже не опираясь на гарантии полей. Сам класс A с указателем сохраняет тот же интерфейс что и реализация без указателя:

class A {
public:
    A& operator=(const A& a) {
        impl.reset(new Impl(*a.impl));
        return *this;
    }
private:
    struct Impl {
        Z z;
    };
    std::unique_ptr<Impl> impl;
};

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

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