Объяснить назначение ключевого слова static

@KFu14 · Регистрация: 08.04.2015

Author24 — интернет-сервис помощи студентам

Здравствуйте! Я пытаюсь разобраться с использованием static`a и у меня такой вопрос: будет ли корректно работать программа конвертирования числа в строку , если объявить массив char как static ?

C++

char * itoa(int x)
{
    static char buffer[20];
/*.....*/
}

@ПерС · 27.12.2015, 13:43

static будет означать, что содержимое буфера сохраняется между вызовами. Если он будет заполняться каждый раз с начала и завершаться нуль-терминатором, это ничему не помешает (и ничему не поможет).
Если возвращать указателем адрес нулевого байта этого буфера - могут быть косяки, например

C++

1
2
3

char *ptr1=itoa(12);
//...
char *ptr2=itoa(13);

ptr1 показывает на тот же адрес, что и ptr2, если мы захотим использовать ptr1, чтобы вывести строку "12", будем глубоко неправы

@KFu14 · 27.12.2015, 18:26 **[ТС]**

Сообщение от ПерС

будем глубоко неправы

То есть, если я потом захочу использовать функцию ещё раз и там будет меньше знаков, чем размер буфера, то получу ерунду на выходе? если возвращать как

C++

1	return (buffer);

@rikimaru2013 · 27.12.2015, 18:30

зачем оно вам? вопрос из ряда про квадратные колёса велосипеду...

@KFu14 · 27.12.2015, 22:02 **[ТС]**

Сообщение от rikimaru2013

зачем оно вам?

Мне и не нужно, есть программа, где массив char объявлён как static, пытаюсь понять, законно это или нет

@hoggy · 27.12.2015, 22:14

Сообщение от KFu14

есть программа, где массив char объявлён как static, пытаюсь понять, законно это или нет

если утрировать, тогда:

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

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

воспринимайте локальный статик просто как переменную,
которая не умирает по завершению работы функции

@Ferrari F1 · 27.12.2015, 22:18

KFu14, эх, у ключевого слова static много ролей

Пока что ты узнал только одну)

@KFu14 · 27.12.2015, 23:43 **[ТС]**

Сообщение от hoggy

воспринимайте локальный статик просто как переменную,
которая не умирает по завершению работы функции

Спасибо ! То есть, если я два раза подряд вызову эту функцию, то она будет работать нормально?

@cyber-satyr · 27.12.2015, 23:49

Сообщение от KFu14

если я два раза подряд вызову эту функцию, то она будет работать нормально?

Если она написана нормально то и работать будет нормально. Первая ссылка поиска http://ic.asf.ru/~/docs/cpp/cppd_qualifier.htm

@Kastaneda · 28.12.2015, 08:11

Сообщение от KFu14

если я два раза подряд вызову эту функцию, то она будет работать нормально?

Работать будет нормально, результат может быть не нормальный (см. пост #2). Если массив используется вообще для каких-то своих внутренних целей, то беспокоится не о чем до тех пор, пока ты вызываешь эту ф-цию из 2х разных потоков.

@KFu14 · 28.12.2015, 12:58 **[ТС]**

Сообщение от Kastaneda

Работать будет нормально, результат может быть не нормальный (см. пост #2). Если массив используется вообще для каких-то своих внутренних целей, то беспокоится не о чем до тех пор, пока ты вызываешь эту ф-цию из 2х разных потоков.

Понял, благодарю.

@rikimaru2013 · 28.12.2015, 13:05

Сообщение от Kastaneda

до тех пор, пока ты вызываешь эту ф-цию из 2х разных потоков

Даже если перед обращением(рабоет с) к данной переменной использовать mutex или critial zone(или как там). Если я понял проблему описанную вами, то она появится везде где потоки используют одно адрессное пространство для чтения/записи.

@Kastaneda · 28.12.2015, 13:12

Сообщение от rikimaru2013

Даже если перед обращением(рабоет с) к данной переменной использовать mutex или critial zone(или как там).

Ну если внутренний буфер используется для каких-то внутренних целей, то синхронизация поможет. Например

C++

{
    // лочим mutex
    char buf[] = ....
    // что-то пишем в буфер
    std::string result(buf);
    // разлочили mutex
    return result;
}

Не по теме:

вот это

Сообщение от rikimaru2013

(рабоет с)

не осилил :)

@rikimaru2013 · 28.12.2015, 13:14

Не по теме:

Сообщение от Kastaneda

не осилил

решил дописать, чтобы не тыкнули носом, что только при чтение с разных потоков - всё будет хорошо, а так слово "работает" подразумивает еще и запись.

@Renji · 28.12.2015, 14:15

Сообщение от KFu14

Мне и не нужно, есть программа, где массив char объявлён как static, пытаюсь понять, законно это или нет

Законно в том смысле, что до сих пор используется в темном наследии Си. Например, ctime грешит подобным. Причем, альтернативы ctime использующей заданный пользователем буфер (ctime(&time,user_buf);) нет и не предвидится. Видимо, библиотеки Си как мумии - не обновляются.
Другое дело, что подражать этим мумиям не есть гуд, ибо могут обнаружиться неожиданные грабли.

@cyber-satyr · 28.12.2015, 14:21

Сообщение от Renji

Видимо, библиотеки Си как мумии - не обновляются

А разве в этом есть необходимость? Для байтослесарства более чем достаточно.

@Renji · 28.12.2015, 14:30

Сообщение от cyber-satyr

А разве в этом есть необходимость?

Есть - ctime потокобезопасность (thread-safety) не дает, ибо два параллельных вызова стукнутся лбами ломанувшись в один общий static буффер. Во времена однопоточных мумий это было не слишком актуально, но времена то немного изменились.

@rikimaru2013 · 28.12.2015, 14:31

Renji, а разве с появлением потоков не вышли классы работы с временем в стандр библиотеках?

@Renji · 28.12.2015, 14:36

Сообщение от rikimaru2013

Renji, а разве с появлением потоков не вышли классы работы с временем в стандр библиотеках?

Эти классы переводят время в текст через все тот же ctime. Альтернативы ctime в std::chrono почему-то так и не внесли.

@hoggy · 28.12.2015, 14:40

Сообщение от Renji

в темном наследии Си.

темное наследние си - это морально устаревшие глобальные переменные,
с сопутствующим extern

которое привело к возниконвению статических членов классов - костыльное прошлое с++.

локальные статики - это настоящее и будущие с++.

локальный статик - черезвычайно постребованная на практике конструкция.

собственно, это единственный способ
построить безопасные сингелтоны,
которые в автоматическом режиме,
практически без участия человека,
самостоятельно разрулят собственное время жизни,
и проблемы возможных созависимостей,
поимев иммунитет против static order initialization fiasco,

@Kastaneda 5232 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	28.12.2015, 08:11	10
	Сообщение от KFu14 если я два раза подряд вызову эту функцию, то она будет работать нормально? Работать будет нормально, результат может быть не нормальный (см. пост #2). Если массив используется вообще для каких-то своих внутренних целей, то беспокоится не о чем до тех пор, пока ты вызываешь эту ф-цию из 2х разных потоков. 1

@cyber-satyr 393 / 165 / 32 Регистрация: 10.12.2015 Сообщений: 717
	28.12.2015, 14:21	16
	Сообщение от Renji Видимо, библиотеки Си как мумии - не обновляются А разве в этом есть необходимость? Для байтослесарства более чем достаточно. 0

@Renji 2784 / 1937 / 570 Регистрация: 05.06.2014 Сообщений: 5,602
	28.12.2015, 14:30	17
	Сообщение от cyber-satyr А разве в этом есть необходимость? Есть - ctime потокобезопасность (thread-safety) не дает, ибо два параллельных вызова стукнутся лбами ломанувшись в один общий static буффер. Во времена однопоточных мумий это было не слишком актуально, но времена то немного изменились. 0

@Renji 2784 / 1937 / 570 Регистрация: 05.06.2014 Сообщений: 5,602
	28.12.2015, 14:36	19
	Сообщение от rikimaru2013 Renji, а разве с появлением потоков не вышли классы работы с временем в стандр библиотеках? Эти классы переводят время в текст через все тот же ctime. Альтернативы ctime в std::chrono почему-то так и не внесли. 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	27.12.2015, 18:30	4
	зачем оно вам? вопрос из ряда про квадратные колёса велосипеду... 0

@KFu14 0 / 0 / 0 Регистрация: 08.04.2015 Сообщений: 36
	27.12.2015, 22:02 [ТС]	5
	Сообщение от rikimaru2013 зачем оно вам? Мне и не нужно, есть программа, где массив char объявлён как static, пытаюсь понять, законно это или нет 0

@hoggy 8972 / 4318 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	27.12.2015, 22:14	6
	Сообщение от KFu14 есть программа, где массив char объявлён как static, пытаюсь понять, законно это или нет если утрировать, тогда: вот есть глобальные переменные. время их жизни - до конца программы. локальные статические - считай те же самые глобальные, только область их видимости ограниченно функцией-хозяином. то есть, снаружи функции они не видны. но видны изнутри функции. а поскольку время их жизни до конца программы, то такие переменные сохраняют своё значение между вызовами функции-хозяина. воспринимайте локальный статик просто как переменную, которая не умирает по завершению работы функции 1

@Ferrari F1 806 / 533 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	27.12.2015, 22:18	7
	KFu14, эх, у ключевого слова static много ролей Пока что ты узнал только одну) 0

@KFu14 0 / 0 / 0 Регистрация: 08.04.2015 Сообщений: 36
	27.12.2015, 23:43 [ТС]	8
	Сообщение от hoggy воспринимайте локальный статик просто как переменную, которая не умирает по завершению работы функции Спасибо ! То есть, если я два раза подряд вызову эту функцию, то она будет работать нормально? 0

@cyber-satyr 393 / 165 / 32 Регистрация: 10.12.2015 Сообщений: 717
	27.12.2015, 23:49	9
	Сообщение от KFu14 если я два раза подряд вызову эту функцию, то она будет работать нормально? Если она написана нормально то и работать будет нормально. Первая ссылка поиска http://ic.asf.ru/~/docs/cpp/cppd_qualifier.htm 0

@KFu14 0 / 0 / 0 Регистрация: 08.04.2015 Сообщений: 36
	28.12.2015, 12:58 [ТС]	11
	Сообщение от Kastaneda Работать будет нормально, результат может быть не нормальный (см. пост #2). Если массив используется вообще для каких-то своих внутренних целей, то беспокоится не о чем до тех пор, пока ты вызываешь эту ф-цию из 2х разных потоков. Понял, благодарю. 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	28.12.2015, 13:05	12
	Сообщение от Kastaneda до тех пор, пока ты вызываешь эту ф-цию из 2х разных потоков Даже если перед обращением(рабоет с) к данной переменной использовать mutex или critial zone(или как там). Если я понял проблему описанную вами, то она появится везде где потоки используют одно адрессное пространство для чтения/записи. 0

@rikimaru2013
	28.12.2015, 13:14 #14
	Не по теме: Сообщение от Kastaneda не осилил решил дописать, чтобы не тыкнули носом, что только при чтение с разных потоков - всё будет хорошо, а так слово "работает" подразумивает еще и запись. 0

@Renji 2784 / 1937 / 570 Регистрация: 05.06.2014 Сообщений: 5,602
	28.12.2015, 14:15	15
	Сообщение от KFu14 Мне и не нужно, есть программа, где массив char объявлён как static, пытаюсь понять, законно это или нет Законно в том смысле, что до сих пор используется в темном наследии Си. Например, ctime грешит подобным. Причем, альтернативы ctime использующей заданный пользователем буфер (ctime(&time,user_buf);) нет и не предвидится. Видимо, библиотеки Си как мумии - не обновляются. Другое дело, что подражать этим мумиям не есть гуд, ибо могут обнаружиться неожиданные грабли. 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	28.12.2015, 14:31	18
	Renji, а разве с появлением потоков не вышли классы работы с временем в стандр библиотеках? 0

@hoggy 8972 / 4318 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	28.12.2015, 14:40	20
	Сообщение от Renji в темном наследии Си. темное наследние си - это морально устаревшие глобальные переменные, с сопутствующим extern которое привело к возниконвению статических членов классов - костыльное прошлое с++. локальные статики - это настоящее и будущие с++. локальный статик - черезвычайно постребованная на практике конструкция. собственно, это единственный способ построить безопасные сингелтоны, которые в автоматическом режиме, практически без участия человека, самостоятельно разрулят собственное время жизни, и проблемы возможных созависимостей, поимев иммунитет против static order initialization fiasco, 0