В языке С++ есть инструмент, позволяющий управлять ключевыми механизмами использования памяти и создавать мощные и гибкие программы. Этот инструмент - классы памяти. Каждая переменная принадлежит к одному из четырех классов памяти. Эти четыре класса памяти описываются следующими ключевыми словами:
auto - автоматическая,
extern - внешняя,
static - статическая,
register - регистровая.
Тип памяти указывается модификатором - ключевым словом, стоящим перед спецификацией типа переменной. Например,
static int sum;
register int p;
Если ключевого слова перед спецификацией типа локальной переменной при ее объявлении нет, то по умолчанию она принадлежит классу auto. Поэтому практически никогда это ключевое слово не используется.
Автоматические переменные (auto) имеют локальную область действия. Они известны только внутри блока, в котором они определены. Автоматическая переменная создается (т.е. ей отводится место в памяти программы) при входе в
блок функции. При выходе из блока автоматическая переменная пропадает, а область памяти, в которой находилась эта переменная считается свободной и может использоваться для других целей.
Автоматические переменные хранятся в оперативной памяти машины, точнее в стеке. Регистровые (register) переменные хранятся в регистрах процессора. Доступ к переменным, хранящимся в регистровой памяти, осуществляется гораздо быстрее, чем к тем, которые хранятся в оперативной памяти. В остальном регистровые переменные аналогичны автоматическим переменным. Регистровая память процессора невелика, и если доступных регистров нет, то переменная становится просто автоматической. Описание регистровой переменной имеет вид
register int c;
Внешняя переменная (extern) относится к глобальным переменным. Она может быть объявлена как вне, так и внутри тела функции.
void f (void)
{
extern int k; // объявление внешней переменной внутри
// функции
…
}
Появление ключевого слова extern связано с модульностью языка С++, т.е. возможностью создавать многофайловую программу с возможностью раздельной компиляции каждого файла. Когда мы в одном из файлов опишем вне тела функции глобальную переменную
float x;
то для нее выделится место в памяти, в разделе переменных и констант. Если мы используем эту глобальную переменную в текущем файле выше ее объявления или в другом файле, то при раздельной компиляции без дополнительного объявления переменной компилятор не будет знать, что это за переменная. Использование объявления
extern float x;
не приводит к выделению памяти, а сообщает компилятору, что такая переменная будет описана либо ниже в текущем файле, либо в другом файле.
Пример 6_4. Использование глобальной переменной.
#include "stdafx.h"
using namespace System;
extern int i;
void fun1(void);
int main()
{
i++;
fun1();
i++;
Console::WriteLine("В функции main() значение i = " + i);
Console::ReadLine();
return 0;
}
int i = 10; // объявление глобальной переменной
// здесь под переменную выделяется память
void fun1(void)
{
i++;
Console::WriteLine("\nВ функции fun1() значение i = " + i);
}
Результат работы программы:
В функции fun1() значение i = 12
В функции main() значение i = 13
Одно и то же имя переменной может быть сначала описано на глобальном, а затем на локальном уровне. В таком случае локальная переменная "закроет" собой глобальную переменную в теле функции.
Для подобных ситуаций в языке C++ существует оператор расширения области видимости (::). Будучи примененным к переменной в теле функции, он позволяет сослаться на глобальную переменную с указанным именем, даже если в самой функции объявлена одноименная локальная переменная. Синтаксис оператора таков:
::переменная
Пример 6_5. Использование оператора расширения области видимости.
#include "stdafx.h"
using namespace System;
extern int m;
void fun1(void);
int main()
{
int m=100;
fun1();
m++;
::m++;
Console::WriteLine("В функции main() значение локальной m = " + m);
Console::WriteLine("В функции main() значение глобальной m = " + ::m);
Console::ReadLine();
return 0;
}
int m = 10; // объявление глобальной переменной
// здесь под переменную выделяется память
void fun1(void)
{
m++;
Console::WriteLine("\nВ функции fun1() значение глобальной m = " + m);
}
Результат работы программы:
В функции fun1() значение глобальной m = 11
В функции main() значение локальной m = 101
В функции main() значение глобальной m=12
При описании статических переменных перед описанием типа ставится ключевое слово static. Область действия локальной статической переменной – вся программа. Место в памяти под локальные статические переменные выделяется в начале работы программы в разделе глобальных и статических переменных. Однако область видимости локальных статических переменных такая же, как и у автоматических. Значение статических переменных сохраняется от одного вызова функции до другого. Локальные статические переменные инициализируются нулем, если не указан другой инициализатор. При этом описание с инициализацией
static int d = 5;
локальной статической переменной d вызывает однократную инициализацию переменной d при выделении под нее места. При последующих вызовах функции, в которой описана эта переменная, инициализации не происходит.
Пример 6_6. Использование статической переменной.
#include "stdafx.h"
using namespace System;
void f(void);
int main()
{
int i;
for (i=1; i<=3; i++)
f();
Console::ReadLine();
return 0;
}
void f(void)
{
static int c = 10;
c++;
Console::WriteLine("\nВ функции f() значение c = " + c);
