Для получения триального ключа
заполните форму ниже
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Мне интересно попробовать плагин на:
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

Storage duration

24 Янв 2022

Storage duration – это свойство идентификатора, определяющее правила, в соответствии с которыми объект будет создан и разрушен. Существуют 4 вида storage duration: automatic, static, thread local и dynamic.

Storage duration тесно связан со временем жизни объекта. Например, два глобальных объекта со свойством static storage duration имеют одинаковое время жизни – все время выполнения программы. В то же время два объекта с dynamic storage duration будут иметь разное время жизни. Оно зависит от того, когда вызваны соответствующие функции для управления динамической памятью.

Automatic storage duration

Объекты, имеющие automatic storage duration, создаются в начале обрамляющего блока кода и разрушаются в его конце. Такими объектами являются локальные объекты, объявленные без спецификатора static, extern или thread_local.

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

#include <vector>
#include <string>

class Forecaster { .... };

float Convert(const std::string &temp);

std::vector<float>
PredictTemperatureForInterval(int first_day,
                              int last_day,
                              const Forecaster &forecaster)
{
  auto forecast = forecaster.Predict(GetTodayDate());
  if (first_day == last_day)
  {
    std::string single_temperature = forecast.GetTemperature(first_day);
    if (!Validate(single_temperature))
    {
      return {};
    }

    return { Convert(single_temperature) };
  }
  else
  {
    std::vector<float> multiple_temperatures;
    for (auto curr_day = first_day; cur_day < last_day; ++cur_day)
    {
      std::string curr_temperature = forecast.GetTemperature(curr_day);
      if (!Validate(curr_temperature)
      {
        return {};
      }
      multiple_temperatures.push_back(Convert(cur_temperature));
    }

    return multiple_temperatures;
  }
}

В данном примере переменные forecast, single_temperature, multiple_temperatures и cur_day имеют automatic storage duration. Однако время жизни для каждой из переменных разное.

Время жизни переменной forecast – тело функции PredictTemperatureForInterval; single_temperaturethan-ветка оператора if; multiple_temperatureselse-ветка оператора if; a cur_day – тело цикла for.

Static storage duration

Для объектов, имеющих static storage duration, память выделяется в начале исполнения программы и освобождается при её завершении. При этом сам объект создаётся перед первым обращением к нему. Объектами со static storage duration являются все идентификаторы, объявленные в некотором пространстве имён, а также идентификаторы, объявленные спецификатором static или extern. Для каждого имени, имеющего static storage duration, создается ровно один экземпляр.

Рассмотрим пример:

class Logger { .... };

static Logger Logger;

int Calc(int arg);

int CalcWithLogging (int arg)
{
  static int counter = 0;
  ++counter;
  Logger.Log(counter);
  return Calc(arg);
}

В данном фрагменте кода переменные logger и counter имеют static storage duration. Для обеих переменных будет выделена память в начале выполнения программы. Переменная logger является глобальной переменной. Её инициализация – вызов конструктора по умолчанию класса Logger – произойдёт перед началом выполнения функции main. Переменная counter является локальной переменной функции CalcWithLogging. Её инициализация произойдёт при первом вызове этой функции. Если во время выполнения программы функция CalcWithLogging не будет вызвана, то и переменная counter инициализирована не будет. В то же время память для counter будет выделена и освобождена соответствующим образом.

Thread storage duration

Память для объекта, имеющего thread storage duration, выделяется при инициализации потока исполнения и освобождается при его завершении. Сам объект создается перед первым обращением к нему. Для каждого потока создаётся отдельный экземпляр. Чтобы идентификатор имел thread storage duration, его нужно объявить, используя спецификатор thread_local. Объявление объекта, имеющего thread storage duration, может также содержать спецификаторы static или extern. В таком случае эти спецификаторы не влияют на storage duration, а определяют его linkage.

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

#include <string>
#include <string_view>
#include <iostream>
#include <syncstream>
#include <thread>

thread_local std::string str;

void AppendSuffix(std::string_view suffix)
{
  str += suffix;
}

void ThreadFunc(const std::string &value)
{
  AppendSuffix(value);
  std::osyncstream { std::cout } << str;
}

int main()
{
  AppendSuffix("main");
  std::thread t1 { ThreadFunc, "thread 1 " };
  std::thread t2 { ThreadFunc, "thread 2 " };
  t1.join();
  t2.join();
  std::cout << str;
}

В этом примере переменная str имеет thread storage duration. При выполнении программы для каждого из потоков t1 и t2 будет создана своя копия переменной str. Поэтому программа выведет одно из двух: "thread 1 thread 2 main", "thread 2 thread 1 main" – в зависимости от порядка выполнения работы потоков.

Dynamic storage duration

Чтобы создать или уничтожить объект с dynamic storage duration, нужно использовать специальные функции для управления динамической памятью. Для создания такого объекта можно, например, использовать оператор new. Тогда этот объект будет существовать до тех пор, пока не будет вызван соответствующий оператор delete. Рассмотрим следующий пример кода:

void Foo()
{
  int *pInt = new int;
  *pInt = 12;
  cout << *pInt << '\n';
  delete pInt;
}

Здесь переменная pInt имеет dynamic storage duration. Память для неё выделяется при выполнении оператора new, а освобождается при выполнении оператора delete.

Популярные статьи по теме
Единороги компании PVS-Studio

Дата: 30 Авг 2022

Автор: Андрей Карпов

Скорее всего вы перешли на эту статью, заинтересовавшись одним из наших рисунков единорогов. Приятно видеть ваш интерес. Сейчас мы расскажем, почему рисуем этих единорогов, что они означают и чем воо…
Обрабатывать ли в PVS-Studio вывод других инструментов?

Дата: 26 Май 2022

Автор: Андрей Карпов

Анализатор PVS-Studio умеет "схлопывать" повторяющиеся предупреждения. Предоставляет возможность задать baseline, что позволяет легко внедрять статический анализ в legacy-проекты. Стоит ли предостави…
15000 ошибок в открытых проектах

Дата: 24 Май 2022

Автор: Андрей Карпов

Количество багов в нашей коллекции перевалило за отметку 15000. Именно такое количество ошибок обнаружила команда PVS-Studio в различных открытых проектах. Особенно интересно, что это всего лишь побо…
Комментарии в коде как вид искусства

Дата: 04 Май 2022

Автор: Сергей Хренов

Приветствую всех программистов, а также сочувствующих. Кто из нас хотя бы раз в жизни не оставлял комментарии в коде? Был ли это ваш код, а может, чужой? Что за комментарии вы написали: полезные или …
Visual Studio 2022 стильно и свежо. История о её поддержке в PVS-Studio

Дата: 15 Фев 2022

Автор: Николай Миронов

Кажется, анонс Visual Studio 2022 был только недавно, и вот она уже вышла. Это означало ровно одно – поддержать данную IDE нужно в ближайшем релизе PVS-Studio. О том, с какими сложностями пришлось ст…

Комментарии (0)

Следующие комментарии
Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно. Хотите узнать подробнее?
Принять