ШпорыПрогаЭкзамен / КОНСПЕКТЫ ОТВЕТОВ НА ТИПОВЫЕ ВОПРОСЫ К ЭКЗАМЕНУ ПО ПРОГРАММИРОВАНИЮ

№

Вопрос

Краткое изложение

Подробное изложение

1

Этапы получения

1.

Этапы

получения

1.1. Препроцессирование – замена всех директив препроцессора на команды языка Си. В частности,

исполняемого

исполняемого

файла из

происходят:

файла

из

исходного кода:

1.1.1.Непосредственное объявление всех функций в теле вызывающего модуля;

исходного

кода.

1.1. препроцессирование

1.1.2.Замена всех макроопределений (#define) участками кода на языке Си;

Опции

1.2. компиляция

1.1.3.Выполнение условной компиляции и прагматических выражений

компилятора

и

1.3. ассемблирование

В итоге должен был бы появиться файл *.i, полученный из *.с.

компоновщика.

1.4. компоновка

1.2. Компиляция – преобразование кода на языке Си в код на языке ассемблера. Преобразование идёт

по определённым правилам. В процессе преобразования проверяется наличие синтаксических и

семантических ошибок в коде. В итоге должен был бы появиться файл *.a, полученный из *.i или

нескольких файлов под началом *.c.

1.3. Ассемблирование – преобразование ассемблерного кода в машинный код. Поскольку

ассемблерный код считается составленным правильно, ассемблирование проходит без проблем. В

итоге получается объектный файл *.o.

В действительности первые три этапа выполняются компилятором GNU (MinGW) с помощью одной

команды gcc [compiler options] –c src_name.c , и если ошибки не будут найдены, в папке, содержащей

src_name.c, появится объектный модуль src_name.o (если не указано иное опцией компилятора “-o

obj_name.o”).

1.4. Компоновка – сборка приложения из одного или нескольких объектных модулей. В итоге

получается приложение *.exe. Компилятор GNU (MinGW) выполняет компоновку с помощью

команды gcc [linker options] src_obj1.c src_obj2.c src_objN.c, при этом появится приложение

src_obj1.exe (если не указано иное опцией компилятора “-o exe_name.exe”).

2.

Строка

запуска

2.1. gcc [options] [output file] file_1 [other files]

компилятора:

2.2. Основные опции компилятора и компоновщика:

2.1. Стандартная строка

2.2.1.1.

-std – определяет стандарт языка Си, согласно которому требуется компилировать

запуска

код. По умолчанию стоит стандарт c89. Стандарт c99 включается опцией -std=c99. В

2.2. Опции

папку с компилятором можно поместить файлик, позволяющий вместо gcc -std=c99

2.2.1.Опции

набрать c99.

компилятора

2.2.1.2.

-Wall – заставляет компилятор учитывать все ошибки и предупреждения, в том

2.2.2.Опции

числе не влияющие на работоспособность программы, такие как:

компоновщика

2.2.1.2.1.

Неинициализированные переменные

2.2.1.2.2.

Неиспользуемые переменные (инициализируются, но не используются)

2.2.1.2.3.

Слежение за указателями (проверка ключевого слова const)

2.2.1.2.4.

и так далее.

2.2.1.3.

-Werror – все предупреждения считать ошибками, компиляцию завершить по

сценарию компиляции кода с ошибками.

2.2.1.4.

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

предупреждениях и ошибках выполнения программы.

2.2.1.5.

-g[level] – генерация отладочной информации уровня, указываемого в level. По

умолчанию -- ?минимум/максимум.

2.2.1.6.

-c (--compile) – только компиляция, без сборки приложения

2.2.1.7.

-o filename – сохранение результатов в файл с именем filename.

2.2.1.8.

-ggdb – подготовка к сканированию с помощью Dr.Memory.

2.2.1.9.

-n – «липовая» компиляция, без создания выходных файлов.

2

Функция

main.

1.

Функция main:

1. Функция main – точка входа программы на Си, обязательная составляющая каждой завершённой

Возвращаемое

1.1. Заголовки

функции

программы.

значение.

main

согласно

1.1. Заголовки функции main согласно стандарту C99:

Аргументы

стандарту С99

1.1.1. int main(void). Приложение, скомпилированное с таким заголовком, не берёт параметры во

функции

main.

1.2. Возвращаемое

время запуска. Применяется в основном в случаях, когда параметры командной строки не

Внутренняя

значение

нужны при работе с программой.

организация

1.3. Организация

1.1.2. int main(int argc, char** argv) или int main(int argc, char* argv[]). Этот заголовок позволяет

исполняемого

аргументов

функции

применять параметры командной строки при работе программы. Об организации аргументов

файла.

main

функции main смотри пункт 1.3.

Превращение

1.2. Возвращается код ошибки выполнения программы согласно соглашениям операционной системы.

исполняемого

Они, как правило, описаны в константах, содержащихся в заголовочном файле <errno.h>. Если

файла в процесс.

возвращается значение <=0, значит, системных ошибок не было. Считается хорошим тоном

несистемные ошибки выполнения программы кодировать отрицательными значениями,

нормальное выполнение программы – нулём.

1.3. Параметр argc функции main содержит число введённых параметров командной строки, argv – это

массив строк, содержащих эти значения. Строки с аргументами в командной строке разделяются

пробелами и знаками табуляции. argv[0] всегда является именем приложения, поэтому всегда

argc>=1. Согласно стандарту, argv[argc]==NULL. Стандарт С99 требует от компилятора

возможность обработать по крайней мере 32767 аргументов командной строки, что навряд ли под

силу какой-либо ОС.

2.

Исполняемый файл:

Исполняемый файл имеет расширение .exe.

2.1. Организация

2.1. Его структура состоит из следующих частей:

исполняемого файла

2.1.1.Заголовочные блоки (не менее одного). Как правило, там содержится информация о том, как

2.2. Превращение

правильно отображать функции в память.

исполняемого файла в

2.1.2.Секция .text. В ней содержится некая текстовая информация, не имеющая прямого отношения

процесс.

к коду и процессу.

2.1.3.Секция .bss. В ней хранятся глобальные переменные.

2.1.4.Секция .data. В ней содержатся данные для чтения и изменения.

2.1.5.Секция .rodata. В ней содержатся данные только для чтения.

2.1.6.Таблица импорта. Через неё осуществляется связь с внешними библиотеками и вызов

функций или переменных по адресам.

2.1.7.Таблица экспорта. Через неё указывается, какие адреса из модуля могут быть импортированы

внешней программой или внешним модулем.

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

в программе.

2.1.9.Метаданные. Включают информацию, относящуюся к сборке продукта, включая её манифест.

2.2. Превращение исполняемого файла в процесс. Этапы:

2.2.1.Считывание программы из диска в ОЗУ.

2.2.2.Загрузка динамических библиотек.

2.2.3.Настройка ссылок.

2.2.4.Планирование процесса.

3

Многофайловая

1.

Сравнительная

1. Сравнение однофайловой и многофайловой организаций проектов:

организация

характеристика

1.1. Недостатки однофайловой:

проекта.

однофайловой

и

1.1.1.Одновременная работа над программой нескольких программистов становится

Компиляция

и

многофайловой

неэффективной.

компоновка

организаций проекта

1.1.2.Ориентирование в тексте программы становится сложным.

многофайлового

2.

Структура

1.1.3.Даже при локальном изменении кода перекомпилируется весь проект.

проекта.

многофайлового проекта

1.2. Достоинства многофайловой:

Каноническое

1.2.1.Возможность распределения работы над проектом между несколькими программистами.

оформление

1.2.2.Код программы более удобочитаемый.

заголовочных

1.2.3.Сокращает время повторной компиляции.

файлов.

1.2.4.Повторное использование кода в других проектах.

1.3. Единственным преимуществом однофайловой организации проекта перед многофайловой

является ёмкость текста кода, но в связи с большим объёмом дисковых хранилищ этот недостаток

многофайловой организации проекта не имеет существенного значения.

2. Многофайловый проект состоит из:

2.1. Файла с основной программой (с точкой входа – функцией main);

2.2. Заголовочных файлов с глобальными переменными, объявлениями функций и макросами;

2.3. Файлов реализаций функций из заголовочных файлов;

2.4. Скомпилированных библиотек (стандартных, статических или динамических).

3.

Компиляция

3.1. Объекты, появляющиеся в файлах проекта, могут быть объявлены или определены.

многофайлового проекта:

3.1.1.Определением называется выделение памяти под новый программный объект (переменную,

3.1. Объявления

и

функцию, блок и т. п.), возможно, с присвоением этому объекту некоторого значения.

определения

3.1.2.Объявлением называется информация о существовании программного объекта,

3.2. Этапы компиляции

используемого в модуле или блоке, в другом месте этого же файла или в другом файле.

3.3. Ошибки компиляции

Объект должен быть определён как внешний.

3.2. Этапы компиляции многофайлового проекта:

3.2.1.Проверка правильности и достаточности подключений заголовочных файлов;

3.2.2.Сборка объектных модулей для каждого блока реализации, а также модуля(ей) с точкой(ами)

входа.

3.3. Ошибки компиляции:

3.3.1.Неявное задание функции (implicit declaration) – вызывается функция, заранее не объявленная

3.3.2.Необъявленная переменная – использование переменной, не объявленной в текущем блоке

или блоке более старшего уровня (в том числе глобально);

3.3.3.Несоответствие типов

3.3.4.Не найден файл

3.3.5.Переопределение функции и т.д. (их очень много, перечисляем, что помним)

4.

Компоновка

4.

При компоновке:

многофайлового проекта:

4.1. Собираем все необходимые собранные объектные файлы во главе с объектным файлом,

4.1. Этапы компоновки

содержащим точку входа, в один исполняемый файл.

4.2. Ошибки компоновки

4.2. Возможные ошибки:

4.2.1.Не найден файл

4.2.2.Отсутствует точка входа

4.2.3.Не определено объявленное имя;

4.2.4.Переопределение функции или другого внешнего имени и т.д.

5.

Защита от

повторных

5. Часто при подключении заголовочных файлов происходит ошибка 4.2.4, так как в соответствующем

включений (include

guard)

файле реализации эти функции уже объявлены и определены, а порядок подключения не определён

– 2 способа

стандартом. Чтобы избежать этого, используют 2 метода защиты от повторных включений (include

guard):

5.1. #ifndef __LIBNAME__ #define __LIBNAME__ <тело заголовочного файла> #endif

5.2. #pragma once (только С99)

4

Автоматизация

1.

Суть автоматизированной

1.1. Задача автоматизации сборки проекта – избавить программиста от необходимости каждый раз

и

сборки

проекта,

сборки проекта:

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

5

утилита

make.

1.1. Основная задача

1.2. Данными для автоматической сборки являются файлы заголовков, реализации и библиотеки

Сценарий сборки

1.2. Данные

для

(вход), исполняемые файлы и библиотеки (выход).

проекта. Простой

автоматической

1.3. Для автоматической сборки проекта применяют несколько способов:

сценарий сборки.

сборки

1.3.1.BAT-файлы

Использование

1.3. Средства

1.3.2.Специализированные программные средства сборки (т.н. make)

переменных

и

автоматической

2.

Make:

комментариев.

сборки проекта

2.1. make — утилита, автоматизирующая процесс преобразования файлов из одной формы в другую.

Сборка

2.

Утилита make:

2.2. Известны следующие разновидности средств автоматической сборки проекта (т.н. make):

программы

с

2.1. Общая

2.2.1.GNU Make (мы им пользовались)

разными

характеристика

2.2.2.BSD Make

параметрами

2.2. Основные

2.2.3.Microsoft Make (nmake)

компиляции.

разновидности

Автоматические

3.

Сценарий сборки проекта:

3.2. Структура команды в мэйк-файле:

переменные.

3.1. Граф задач сборки

3.2.1.Строка зависимостей: «список целей: список аргументов»

Шаблонные

3.2. Названия файлов, их

3.2.2.[tab] Строка вызова компилятора

правила.

структура

3.3. Простой сценарий сборки:

3.3. Простой

сценарий

3.3.1.Очищаем каталог от старых исполняемых и объектных файлов

сборки

3.3.2.Собираем объектные файлы для модулей

3.4. Условные

3.3.3.Собираем объектные файлы для точек входа

конструкции

в

3.3.4.Собираем исполняемые файлы, по одной точке входа на каждый, из объектных модулей.

сценарии сборки

3.4. Условные конструкции: ifeq(op1, op2) oper1 [else oper2] endif, ifneq(op1, op2) oper1 [else oper2]

3.5. Шаблонные правила

endif

3.5. Шаблонные правила:

3.5.1.%.[расширения целей]: %.[расширения аргументов] – для всех файлов с данной маской

поимённо

3.5.2.*.[расширение] – все файлы с данным расширением.

4.

Использование

4. Все переменные имеют строковые значения

переменных

в

make-

4.1. Объявление и инициализация: VAR_NAME := value

файле:

4.2. Использование переменных: $(VAR_NAME) VAR_NAME += value

4.1. Объявление

4.3. Автоматические переменные – переменные, автоматически принимающие определённые значения

переменных

перед выполнением описанных в правиле команд:

4.2. Использование

4.3.1.$^ - список зависимостей

переменных

4.3.2.$@ - имя цели

4.3. Автоматические

4.3.3.$< - первая зависимость

переменные

6

Указатели,

1.

Что такое указатель

1. Указатель – переменная, содержащая адрес.

и

операции

над

2.

Классификация указателей

2.

Разновидности указателей:

7

указателями,

3.

Определение переменной

2.1. Типизированный (на данные определённого типа) – type*

массивы, адресная

типа указатель

2.2. Бестиповой (на произвольное место в памяти) – void*

арифметика.

4.

Операции

*

2.3. Указатель на функцию

Указатель void*,

(разыменование

3. Шаблон определения переменной типа указатель: type *ptr1_name, *ptr2_name, not_ptr_name;

указатели

на

указателя) и & (возврат

4.

Доступ к данным: not_ptr_name = *ptr1_name;

функции

адреса операнда) – обе

Получение адреса: ptr2_name = &not_ptr_name;

префиксные

5.

Адресная арифметика:

5.

Адресная арифметика применяется к типизированным указателям, указывающим на данные одного

5.1. Сложение указателя с

типа данных. Предполагается, что адреса отстоят друг от друга на расстояние, кратное размеру типа, а

числом

также что размер целого числа-операнда будет сведён к 4-байтовому.

5.2. Вычитание

числа

из

5.1. Указатель + число = указатель на место, адрес которого будет больше на число*(sizeof(type)) байтов.

указателя

5.2. Указатель - число = указатель на место, адрес которого будет меньше на число*(sizeof(type)) байтов.

5.3. Разность указателей

5.3. Указатель – указатель = число ячеек памяти размера sizeof(type), размещенных между двумя адресами.

5.4. Связь

указателей

и

5.4. Идентификатор массива имеет тип ссылки (константного указателя) на начало области памяти, в

массивов

которой расположен массив.

5.5. Сравнение указателей

5.5. Указатели сравниваются по адресам. При этом можно сравнивать либо однотипные указатели, либо

указатель и NULL.

6.

Указатель void*:

6.

void* -- бестиповой указатель, указывает на произвольное место в памяти. К нему неприменима

6.1. Определение

адресная арифметика. Основная миссия – упрощение преобразований указателей, универсализация

6.2. Зачем он нужен

структур и формальных параметров функций.

7.

Указатель на функцию:

7.

Указатель на функцию: (*func)(params); на месте params следует перечислить типы аргументов

7.1. Что содержит

функции. Например, функция void qsort(void* base, size_t memb, size_t size, int (*compar)(const void*,

7.2. Как обращаться

const void*)) из заголовочного файла <stdlib.h> имеет в качестве формального параметра указатель на

7.3. void*

в

качестве

функцию, сравнивающие некие 2 значения, задаваемые ссылками на них, без ограничения на типы

параметра

маски

параметров. То есть таким параметром может быть и функция int *compar_int(const int*, const int*)), и

функции (на примере

long double *compar_longd(const long double*, const long double*)).

qsort из <stdlib.h>)

8

Статические

1.

Объявление массивов

1.

Объявление статических массивов: тип имя[размер_1][ размер_2][ размер_3]. Первая размерность

массивы

2.

Представление

в

памяти

может быть при этом не указана либо быть переменной.

компьютера

2.

Представление в памяти компьютера: единый блок, от начала до конца, многомерные – по принципу

«массив массивов». Пусть s1,s2 – размеры массива; i, j – индексы элемента в этом массиве. Тогда

смещение элемента в массиве будет равно (i*s2+j), то есть можно считать многомерный массив

организованным аналогично одномерному.

3.

Построчная

обработка

3.

Указатели пробегают все смещения при переменных i и постоянных j.

массива

с

помощью

указателей

4.

Постолбцовая

обработка

4.

Указатели пробегают все смещения при переменных j и постоянных i.

массива

с

помощью

указателей

9

Динамические

1.

Объявление массивов:

Динамические массивы требуют отдельного выделения динамической памяти в куче.

массивы

1.1. одномерный массив

1.1. Как одномерный массив; представление как статического массива. Выделение и освобождение

1.2. указатели на строки

памяти тривиально.

1.3. одним дампом

1.2. Объявляется массив указателей на массивы-строки, элементы которых имеют некий тип, и т.д.

2.

Представление

в

памяти

Память под массив строк и массивы-строки выделяется и освобождается отдельно.

компьютера

1.3. Выделяется единый дамп памяти, первая часть которого идёт на массивы указателей на строки,

вторая содержит значения.

3.

Плюсы и минусы каждого

№ способа

Достоинства

Недостатки

вида

динамического

1

Простота выделения и

освобождения

Необходимость

всё время обращаться к

массива

памяти

элементам по сложному индексу

Минимум занимаемого места

Средства для контроля работы с памятью не

Возможность

использовать

как

могут отследить выход за пределы строки

одномерный массив

2

Возможность

обмена

строки

через

Сложность выделения и освобождения памяти.

обмен указателей.

Память под матрицу "не лежит" одним куском.

СРПР

может

отследить выход за

пределы строки.

3

Простота выделения и

освобождения

Сложность начальной инициализации.

памяти.

СРПР не может отследить выход за пределы

Возможность

использовать

как

строки.

одномерный массив.

Перестановка

строк

через

обмен

указателей.

10

Строки.

1.

Представление строк:

1.

Строки

–

char*, специального типа нет.

Представляются

последовательностью байтов,

Инициализация

2.

Инициализация строковых

заканчивающуюся нулём.

строковых

переменных

2.

Инициализация:

переменных.

3.

Массив

символов

и

2.1. Как массив, размер которого по крайней мере на 1 больше числа значащих символов.

Массив символов

указатель

на

строковый

2.2. Как строковый литерал (область памяти в стеке, недоступная для прямого редактирования)

и указатель

на

литерал

строковый

3.

Ввод, вывод строк:

3.

Стандартные функции ввода-вывода строк:

литерал.

3.1. Ввод

(стандартные

3.1. Ввод

Ввод/вывод строк.

функции)

3.1.1.scanf(“%s”,str), fscanf(f,”%s”,str);

// символы-разделители строк – в том числе пробелы и

Особенности

3.2. Вывод

(стандартные

табуляция. Считывание идёт в заранее выделенный буфер. Программист сам отслеживает

обработки строк.

функции)

ограничения на длину.

3.1.2.gets(buf), fgets(buf, n_max, f); // считывает строку вплоть до символа перевода строки или

конца файла (записывая и его, а после него – терминирующий нуль).

3.2. Вывод

3.2.1.printf, fprintf

// вывод строки без её перевода

3.2.2.puts, fputs // вывод с переводом строки

4.

Особенности

обработки

Выход за пределы выделенного буфера строки – крайне нежелательный эффект, не отслеживается

строк:

компилятором и ложится на плечи программиста.

4.1. Возможный выход за

Терминирующий нуль при преобразованиях строк необходимо сдвигать, а также обеспечивать его

пределы строки

нахождение в буфере

4.2. Положение

Пробег по строке с помощью указателей также должен быть аккуратным, использование вне пределов

терминирующего

буфера чревато последствиями.

нуля

4.3. Внимательная

работа

с указателями

11

Время

жизни,

1.

Время жизни переменных

1.

Время жизни – это интервал времени выполнения программы, в течение которого программный

область

2.

Размещение объектов

в

“объект” существует. Подразделяется на глобальное и локальное.

видимости

памяти в

зависимости

от

2.

Глобальные и статические переменные обладают глобальным временем жизни и размещаются в

переменных

времени жизни

секциях bss, data, rodata. Локальные переменные имеют локальное время жизни и существуют, пока

3.

Область

видимости

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

переменных

3. Область видимости переменной – та часть кода, в которой переменная может быть реализована.

4.

Правила,

связанные

с

4.

Правила:

областями видимости

4.1. Переменные, определённые в некотором блоке, будут видны во все блоки, вложенные в данный.

4.2. Имя переменной во вложенном блоке, совпадающее с именем переменной, определённой в блоке-

предке, легально и закрывает видимость одноимённой переменной-предка.

12

Журналирование

1.

Зачем и как применяется

Журналирование – процесс записи информации о происходящих с каким-то объектом (или в рамках

2.

Реализация для:

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

2.1. глобальных

Файловую переменную для журнала определяют глобальной и объявляют во всех файлах реализации

переменных

проекта. Это позволяет вызывать функции записи в файл для журналирования отовсюду.

2.2. доступа

через

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

функции

журналом может быть как глобальной, так и статической переменной.

2.3. статических

переменных

13

Классы памяти

1.

auto

1.

auto – класс автоматических переменных, создаваемых при вызове функции и удаляемых после выхода

2.

register

из неё.

3.

static

2. register – компилятору предъявляется пожелание о том, чтобы переменная использовала какой-нибудь

4.

extern

регистр процессора для хранения. Как правило, компилятор игнорирует это резервное слово и

5.

умолчания

способен сам решать, какой переменной можно выделять регистр процессора.

3. static – класс статических переменных, создаётся при первом вызове функции, а удаляется только при

завершении работы программы. Компилятор хранит значения таких переменных от одного вызова

функции до другого.

4.

extern – класс внешних переменных, память под них не выделяется. Это означает объявление

переменной, которая может быть объявлена или в текущем, или в некотором внешнем файле.

5.

По умолчанию считается:

5.1. если переменная объявлена в теле функции без спецификатора класса памяти, по умолчанию он

равен auto;

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

в любом смежном файле, в т. ч. и текущем;

5.3. все функции внешние.

14

Стек

и

куча.

1.

Стек. Размещение в нём

1.

Автоматически локальные переменные размещаются в стеке. Стек – линейная структура в памяти.

Последовательнос

локальных

переменных.

1.1. Плюсы размещения локальных переменных в стеке:

ть действий

при

Плюсы и минусы

1.1.1.Память под локальные переменные выделяет и освобождает компилятор

работе

с

2.

Динамическая

память.

1.2. Минусы:

динамической

Размещение данных в ней.

1.2.1.Время жизни локальной переменной "ограничено" блоком, в котором она определена.

памятью.

Плюсы и минусы

1.2.2.Размер размещаемых в стеке объектов должен быть известен на этапе компиляции.

3.

Последовательность

1.2.3.Размер стека в большинстве случаев ограничен.

действий

при

работе

с

2. Динамическая память реализована кучей (двоичной). Там хранятся данные. Можно выделять в куче

динамической

памятью.

место под переменную

Менеджер кучи

2.1. Плюсы кучи == минусы стека

2.2. Минус кучи: ручное управление временем жизни.

3.

Некоторое количество памяти выделяется операционной системой под базы данных выделенной

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

Последовательность действий при работе с динамической памятью такова:

3.1. Подача запроса операционной системе на выделение некоторого участка памяти. Требуемый

размер прилагается.

3.2. Если место найдено, менеджер кучи записывает адрес и размер выделенной памяти в базу данных

и возвращает адрес в программу.

3.3. Программа как-то использует выделенную память

3.4. Подача запроса на освобождение выделенной по данному адресу памяти.

3.5. Менеджер кучи освобождает память, занимаемую областью, в которой находится данный адрес.

При этом адрес освобождённой области остаётся в программе, а не удаляется.

15

Использование

1.

Использование

1.

В

каждой программе компилятор обязан выделить память под аппаратный стек. Последний

аппаратного

аппаратного стека

предназначается для:

стека.

Стековый

2.

Кадр стека

1.1. вызова функции (call name). В стек заносятся: адрес возврата, адрес вершины стека до вызова

кадр. Указатель на

3.

Возврат

указателя

на

программы.

локальную

локальную переменную

1.2. возврата из функции (ret). Из стека вынимается всё то, что было положено до вызова

переменную.

4.

Переполнение буфера

подпрограммы.

Переполнение

1.3. передача фактических параметров функции. Передача идёт справа налево, очистка стека ложится

буфера.

Массивы

на вызывающую сторону, результат (если нужен) возвращается через регистр EAX (по значению/

на стеке.

по адресу).

1.4. выделения и освобождения памяти под локальные переменные.

2.

Стековый кадр – механизм передачи аргументов и выделения временной памяти с использованием

аппаратного стека. В стековом кадре выделяют «слои»:

2.1. На дне – фактические параметры, в порядке, обратном объявлению;

2.2. адрес возврата

2.3. старый EBP

2.4. На вершине – локальные переменные функции.

3.

Распространена ошибка, когда функция возвращает адрес локальной переменной. Это неизбежно

влечёт ошибку времени выполнения при обращении по этому адресу.

4.

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

объёму этот самый буфер. Тогда поведение программы становится неопределённым и часто приводит

к сбоям.

16

Функции

с

1.

Идеи реализации:

Фактические параметры передаются через стек в порядке, обратном их записи в вызове функции. Это

переменным

1.1. Передача

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

числом

формальных

Функции с переменным числом параметров объявляются так:

параметров

параметров

тип_рез-та имя(<непустой список первых параметров>, …)

1.2. Объявление функций

Для прохождения стека с параметрами используют заголовочный файл <stdarg.h>, в котором объявлены:

с переменным числом

–

тип va_list;

параметров

–

семейство функций type va_arg(va_list ap, type)

2.

Использование

<stdarg.h>

– void va_copy(va_list dest, va_list src)

для

реализаций

–

void va_end(va_list ap)

определений функций

– void va_start(va_list ap, parmN) – установка указателя на стековый кадр в место нахождения

фактического параметра parmN.

17

Структуры

1.

Формальное определение

Структура представляет собой одну или несколько переменных (возможно, разного типа), которые

2.

Определение

переменных

объединены под одним именем, при этом каждая переменных занимает своё место в памяти. Это

структурного типа

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

3.

Тег структуры

Формат определения: struct [tag] {type1 field1; type2 [field2]; …; typeN fieldN; } [variable] = {value1, value2,

…, valueN}

Тег структуры – имя, позволяющее идентифицировать структуру в самых разных частях программы. Его

передают в качестве спецификатора типа (вместе с ключевым словом struct) формального параметра. Тег

может быть опущен.

4.

Расположение