Не передавайте указатель или ссылку, полученные из псевдонима умного указателя

Причина

Нарушение этого правила является главной причиной потери счётчика ссылок и возникновения висячих указателей. Функции должны предпочитать передавать сырые указатели и ссылки по цепочке вызовов. На вершине дерева вызовов, где вы получаете сырой указатель или ссылку из умного указателя, удерживающего объект живым, нужно убедиться, что умный указатель не может быть случайно сброшен или переприсвоен внутри дерева вызовов ниже.

Примечание

Иногда для этого нужно взять локальную копию умного указателя, которая гарантирует, что объект живёт на протяжении всей функции и дерева вызовов.

Пример

Рассмотрим следующий код:

// глобальный (статический или в куче) или псевдоним локального ...
shared_ptr<widget> g_p = ...;

void f(widget& w)
{
    g();
    use(w);  // A
}

void g()
{
    g_p = ...; // ой, если это был последний shared_ptr на widget — уничтожает widget
}

Следующее не должно пройти код-ревью:

void my_code()
{
    // ПЛОХО: передаётся указатель или ссылка, полученные из нелокального умного указателя,
    //      который может быть случайно сброшен внутри f или её вызываемых функций
    f(*g_p);

    // ПЛОХО: та же причина, просто передаётся как указатель this
    g_p->func();
}

Исправление простое — возьмите локальную копию указателя:

void my_code()
{
    // дёшево: 1 инкремент покрывает всю эту функцию и все деревья вызовов ниже
    auto pin = g_p;

    // ХОРОШО: передаётся указатель или ссылка из локального умного указателя
    f(*pin);

    // ХОРОШО: та же причина
    pin->func();
}

Контроль

(Простой) Предупреждать, если указатель или ссылка, полученные из переменной умного указателя (Unique_pointer или Shared_pointer), нелокальной или локальной, но потенциально являющейся псевдонимом, используются в вызове функции. Если умный указатель — Shared_pointer, предлагать взять локальную копию умного указателя и получить из неё указатель или ссылку.

ES: Выражения и операторы

Выражения и операторы — это наиболее низкоуровневый и прямой способ выражения действий и вычислений. Объявления в локальных областях видимости являются операторами.

Правила именования, комментирования и отступов смотрите в NL: Именование и оформление.

Общие правила:

Правила объявлений:

Правила для выражений:

Правила для операторов:

Правила для арифметики:

Открыть на isocpp.github.io →