Для получения триального ключа
заполните форму ниже
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 local storage duration

Память для объектав, имеющего thread local storage duration, выделяется при инициализации потока исполнения и освобождается при его завершении. Сам объект создается перед первым обращением к нему. Для каждого потока создаётся отдельный экземпляр. Чтобы идентификатор имел thread local storage duration, его нужно объявить, используя спецификатор thread_local. Объявление объекта, имеющего thread local 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 local 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.

Популярные статьи по теме
Комментарии в коде как вид искусства

Дата: 04 Май 2022

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

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

Дата: 15 Фев 2022

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

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

Дата: 29 Окт 2021

Автор: Максим Звягинцев

У всех, кто запускал статический анализатор в первый раз на большом проекте, был небольшой шок по поводу сотен, тысяч или даже десятков тысяч предупреждений. Как-то грустно становится после такого. Т…
Зачем нужна техническая поддержка и как в ней не выгореть?

Дата: 01 Сен 2021

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

Не всем нравится работать в поддержке. Огромное количество людей выгорает на ней. Так может не стоит вообще её иметь? Какую выгоду она несёт? Можно ли как-то не выгорать от поддержки? Попробуем найти…
Как делался новый дизайн сайта PVS-Studio

Дата: 04 Июн 2021

Автор: Инна Пристягина

Сайту PVS-Studio в этом году исполнится 15 лет. Это солидный возраст для любого интернет-ресурса. Далёкий 2006-й в России был признан годом гуманитарных наук. В июне появилась никому не знакомая тогд…

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

Следующие комментарии
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять