Конспект-справочник 'Моделирование на C++'

Разделяемый указатель 'shared_ptr' содержат помимо собственно 
указателя счетчик своих копий (да, shared_ptr можно и нужно копировать, он 
же "shared"). Этот указатель хранит счетчик своих копий. Каждая новая кпия 
увеличивает счетчик на единицу. Объект, на который ссылается указатель 
удаляется из памяти, когда счетчик копий становится равным нулю. 
Слабо связанные указатели 'weak_ptr' можно рассматривать как 
разновидность 'shared_ptr', которая не увеличивает счетчик. Его особенность в 
том, что 'weak_ptr' с помощью метода 'expired()' позволяет проверить, не был ли 
удален объект, на который указывает этот указатель. Может также 
использоваться для разрыва циклических или взаимных ссылок между 
указателями 'shared_ptr'. 
Управление выполнением 
В языках, родственных процедурным, исполнение программы происходит 
последовательно. Это не универсальное правило, но как правило это так и 
направление исполнения совпадает с последовательностью чтения строк 
программмы сверху вниз. Отчасти это соответствует архитектуре процессора, в 
которой (у каждого ядра) есть счетчик инструкций (progrramm counter, PC), 
автоматически увеличиваемый процессором при исполнении каждой 
процессорной инструкции. Исполнение кода происходит условно следующим 
образом: 
uint32_t pc= main; 
// начало исполнения с функции main, счетчик
// 
указывает на начало 
while(true) 
// бесконечный цикл 
execute(*pc++); 
// исполнение текущей инструкции и увеличение счетчика

// инструкций. 
// ('*pc' - 
разыменование указателя, т.е.чтение инструкции
// 
по адресу, который он содержит; 'pc++' увеличение адреса
// 
на единницу - указатель на следующую инструкцию)
 
Примеры инструкций процессора с системой команд x86: 
; Сложение 
ADD r0, r1, r2 ; r0 = r1 + r2 
; Вычитание 
SUB r0, r1, r2 ; r0 = r1 — r2 
; Умножение 
MUL r0, r1, r2 ; r0 = r1 * r2 
; Копирование 
MOV r0, r1 ; r0 = r1 
; Логическое ИЛИ 
ORR r0, r1, r2 ; r0 = r1 | r2 
; Загрузка 
LDR r4, [r5] ; r4 = *r5 
; 
Сохранение 
STR r4, [r5] ; *r5 = r4 
53 

---

; Переход исполнения на соответствующий адрес 
B label 
Компилятор из исхдного текста выстраивает эти и другие инструкции 
процессора в последовательность в памяти. Процессор читает и выполняет эту 
последовательность в потоке исполнения (thread), исполняемый одним ядром. 
Последовательностью исполнения кода можно управлять с помощью 
управляющих операторов (statements), обеспечивающих ветвление и 
управление циклами. Также исполнение можно разбивать на блоки кода, 
вызываемые по имени - функции. Определение функции выглядит следующим 
образом: 
<тип возвращаемого значения. если значение не возвращается, то тип 'void'> 
<имя функции в соответствии с правилами именования идентификаторов> 
(разделенный запятыми список формальных параметров с их типами. 
Параметров у функции может не быть) 
{ 
... 
// операторы тела функции 
} 
Вызов функции: 
<имя функции>(список фактических параметров); 
Примеры: 
int f(int x, int); // f 
функция принимающая 2 int, возвращающая int 
void f(); // f 
функция без параметров 
void f(int a=0);
// Значение параметра по умолчанию f()