Неинициализированная переменная
В вычислениях неинициализированная переменная — это переменная , которая объявлена, но не имеет определенного известного значения перед ее использованием. Это будет иметь некоторую ценность, но не предсказуемую. По существу, это ошибка программирования и распространенный источник ошибок в программном обеспечении.
Пример языка C [ править ]
Начинающие программисты обычно полагают, что всем переменным при объявлении присваивается известное значение, например ноль. Хотя это справедливо для многих языков, но не для всех, поэтому существует вероятность ошибки. Такие языки, как C, используют пространство стека для переменных, а набор переменных, выделенных для подпрограммы, известен как кадр стека . Хотя компьютер выделяет необходимое количество места для кадра стека, обычно он делает это просто путем корректировки значения указателя стека и не переводит саму память в какое-либо новое состояние (обычно из соображений эффективности). Следовательно, любое содержимое этой памяти в данный момент будет отображаться как начальные значения переменных, занимающих эти адреса.
Вот простой пример на C:
недействительный счетчик ( недействительный )
{
int k , я ;
для ( я знак равно 0 ; я < 10 ; я ++ )
{
k знак равно k + 1 ;
}
printf ( "%d" , k );
}
Окончательное значение kявляется неопределенным. Ответ, что это должно быть 10, предполагает, что он начался с нуля, что может быть правдой, а может и не быть. Обратите внимание, что в примере переменная i инициализируется нулем в первом предложении for заявление.
Другим примером может быть работа со структурами . В приведенном ниже фрагменте кода у нас есть struct studentкоторый содержит некоторые переменные, описывающие информацию о студенте. Функция register_student происходит утечка содержимого памяти, поскольку не удается полностью инициализировать члены struct student new_student. Если присмотреться, то вначале age, semester и student_numberинициализируются. Но инициализация first_name и last_nameчлены не правы. Это связано с тем, что если длина first_name и last_name массивы символов имеют размер менее 16 байт, во время strcpy, [1] нам не удается полностью инициализировать все 16 байт памяти, зарезервированные для каждого из этих элементов. Следовательно, после memcpy()преобразование полученной структуры в output, [2] мы пропускаем часть памяти стека вызывающему объекту.
struct Student {
unsigned int age ;
беззнаковый int семестр ;
char first_name [ 16 ];
имя_фамилии 16 [ ] ;
беззнаковый int Student_number ;
};
int Register_student ( struct Student * output , int age , char * first_name , char * Last_name )
{
// Если какой-либо из этих указателей равен нулю, мы терпим неудачу.
if ( ! вывод || ! первое_имя || ! последнее_имя )
{
printf ( "Ошибка! \n " );
вернуть -1 ;
}
// Мы проверяем, что длина строк меньше 16 байт (включая нулевой байт)
// во избежание переполнения
if ( strlen ( first_name ) > 15 || strlen ( Last_name ) > 15 ) {
printf ( "имя и фамилия не могут быть длиннее 16 символов! \n " );
вернуть -1 ;
}
// Инициализация членов
struct Student new_student ;
новый студент . возраст = возраст ;
новый студент . семестр = 1 ;
новый студент . номер_студента = get_new_номер_студента ();
strcpy ( новый_студент . первое_имя , первое_имя );
strcpy ( новый_студент . последнее_имя , последнее_имя );
//копируем результат в вывод
memcpy ( output , & new_student , sizeof ( struct Student ));
вернуть 0 ;
}
В любом случае, даже если переменная неявно инициализируется значением по умолчанию , например 0, это обычно не правильное значение. Инициализировано не означает правильно, если значение установлено по умолчанию. (Однако инициализация по умолчанию значением 0 является правильной практикой для указателей и массивов указателей, поскольку она делает их недействительными до того, как они фактически будут инициализированы правильным значением.) В C переменные со статической продолжительностью хранения, которые не инициализируются явно, инициализируются как ноль (или ноль для указателей). [3]
Неинициализированные переменные не только являются частой причиной ошибок, но и ошибки такого рода особенно серьезны, поскольку они могут быть невоспроизводимыми: например, переменная может оставаться неинициализированной только в какой-то ветке программы. В некоторых случаях программы с неинициализированными переменными могут даже пройти программные тесты .
Воздействие [ править ]
Неинициализированные переменные являются серьезными ошибками, поскольку их можно использовать для утечки произвольной памяти, перезаписи произвольной памяти или обеспечения выполнения кода, в зависимости от случая. При использовании программного обеспечения, использующего рандомизацию расположения адресного пространства (ASLR), часто требуется знать базовый адрес программного обеспечения в памяти. Использование неинициализированной переменной для того, чтобы заставить программное обеспечение утечь указатель из ее адресного пространства, можно использовать для обхода ASLR.
Использование в языках [ править ]
Неинициализированные переменные представляют собой особую проблему в таких языках, как ассемблер C и C++ , которые были разработаны для системного программирования . Разработка этих языков включала в себя философию проектирования, согласно которой конфликты между производительностью и безопасностью обычно разрешались в пользу производительности. Программисту было поручено осознавать такие опасные проблемы, как неинициализированные переменные.
В других языках переменные при создании часто инициализируются известными значениями. Примеры включают:
- VHDL инициализирует все стандартные переменные специальным значением «U». Он используется при моделировании для отладки, чтобы дать пользователю знать, когда неважные начальные значения через многозначную логику влияют на выходные данные.
- В Java нет неинициализированных переменных. Поля классов и объектов, не имеющих явного инициализатора, и элементы массивов автоматически инициализируются значением по умолчанию для их типа (false для логических значений, 0 для всех числовых типов, null для всех ссылочных типов). [4] Локальным переменным в Java необходимо обязательно назначить их перед обращением к ним, иначе это будет ошибка компиляции.
- Python инициализирует локальные переменные
NULL(в отличие отNone) и поднимаетUnboundLocalErrorкогда к такой переменной осуществляется доступ до (повторной) инициализации допустимым значением. - D инициализирует все переменные, если это явно не указано программистом.
Даже в языках, где разрешены неинициализированные переменные, многие компиляторы будут пытаться идентифицировать использование неинициализированных переменных и сообщать об этом как об времени компиляции ошибках . Некоторые языки помогают решить эту задачу, предлагая конструкции для обработки инициализации переменных; например, в C# имеется особый вариант параметров подпрограмм, вызываемых по ссылке (задаваемых как out вместо обычного ref), утверждая, что переменную можно не инициализировать при вводе, но она будет инициализирована впоследствии.
См. также [ править ]
Ссылки [ править ]
- ^ стркпи
- ^ мемкпи()
- ^ «ISO/IEC 9899:TC3 (текущий стандарт C)» (PDF) . 07.09.2007. п. 126 . Проверено 26 сентября 2008 г. Раздел 6.7.8, пункт 10.
- ^ «Спецификация языка Java: 4.12.5 Начальные значения переменных» . Сан Микросистемс . Проверено 18 октября 2008 г.