Арифметика указателей
При увеличении типизированного указателя он сдвигается на целый элемент.
Что такое Арифметика указателей?
При увеличении типизированного указателя он сдвигается на целый элемент.
Обходите непрерывную память указателями и итераторами.
Важные моменты
- Указатель ссылается на живой совместимый объект или равен null.
- Каждое собственное выделение освобождается ровно один раз.
- Явно выражайте ownership и const.
Примеры кода на C и C++
main.c
#include <stdio.h>
int main(void) {
int values[] = {10, 20, 30, 40};
int sum = 0;
for (int *p = values; p < values + 4; ++p) sum += *p;
printf("sum=%d distance=%td\n", sum, (values + 4) - values);
return 0;
}
sum=100 distance=4C++
main.cpp
#include <iostream>
#include <vector>
int main() {
std::vector values{10, 20, 30, 40};
int sum = 0;
for (auto it = values.begin(); it != values.end(); ++it) sum += *it;
std::cout << "sum=" << sum << " distance="
<< std::distance(values.begin(), values.end()) << '\n';
}
sum=100 distance=4Сравнение C и C++
Операции определены только в одном массиве до one-past-end; итераторы C++ расширяют принцип на контейнеры.
C
Ownership и очистка — соглашения, контролируемые программистом.
C++
Контейнеры и RAII связывают ownership и очистку с lifetime объекта.
Практические задания
Запустите обе версии и изменяйте их, сравнивая гарантии языков.
- Проверьте null и отказ выделения памяти.
- Используйте AddressSanitizer и UndefinedBehaviorSanitizer.
- Документируйте ownership каждого указателя.