БИ @cppproglib
Showing posts older than #6454 · Back to latest
Forwarded from Библиотека задач по C++ | тесты, код, задания
Forwarded from Библиотека собеса по C++ | вопросы с собеседований
class DataStore {
std::vector<int> data;
public:
DataStore() = default;
DataStore(DataStore&& other) {
data = std::move(other.data);
}
void add(int value) {
data.push_back(value);
}
};
Forwarded from Библиотека программиста
for (auto it = v.begin(); it != v.end(); ) {
if (*it == target)
it = v.erase(it); // каждый раз сдвиг O(n)
else
++it;
}v.erase(std::remove(v.begin(), v.end(), target), v.end());
remove() делает O(n) перемещений, erase() делает один сдвиг хвоста O(n). Итого O(n) вместо O(n²).
GSL — это не просто модная библиотека. Это набор практик от создателей C++, упакованный в код😎#include <gsl/gsl>
// ❌ Традиционная проверка
void setAge(Person& p, int age) {
if (age < 0 || age > 150) {
throw std::invalid_argument("Invalid age");
}
p.age = age;
}
// ✅ GSL: семантика ясна из кода
void setAge(Person& p, int age) {
Expects(age >= 0 && age <= 150); // Precondition
p.age = age;
Ensures(p.age == age); // Postcondition
}
Expects() — preconditions (проверка входа)Ensures() — postconditions (проверка выхода)gsl::not_null<T*> — указатель, который не может быть nullvoid process(gsl::not_null<int*> data) {
// Компилятор гарантирует: data != nullptr
*data = 42; // Безопасно без if
}assert() крашит процесс. ASSERT_EQ() — нет. Оба проверяют условия. В чём разница на уровне исполнения?Google Test построен на исключениях и return, а не на abort().#define assert(expr) \
((expr) ? (void)0 : __assert_fail(...))
__assert_fail(), которая делает abort() — немедленное завершение процесса. Никаких cleanup, никаких других тестов.#define ASSERT_EQ(a, b) \
if (auto result = Compare(a, b); !result) { \
RecordFailure(result); \
return; // <-- ключевое!
}
ASSERT_* использует специальный механизм — макрос генерирует код, который бросает внутреннее исключение Google Test, если тест не void. Это позволяет прервать выполнение даже из вложенных функций.ASSERT_*/EXPECT_*, а не assert().Forwarded from Библиотека задач по C++ | тесты, код, задания
char buffer[8];
strcpy(buffer, userInput); // 20 байт в 8-байтовый буфер
ret. Под капотом: стек растёт вниз, локальные переменные располагаются перед сохранённым RIP. Переполнение идёт вверх по адресам прямо в критичные данные.int* ptr = new int(42);
delete ptr;
*ptr = 100; // UB: память отдана аллокатору
unique_ptr, ptr = nullptr после delete, MemorySanitizer.size_t size = count * sizeof(T); // count из сети
void* buf = malloc(size); // size обернулся в 0
count < SIZE_MAX / sizeof(T), -fsanitize=unsigned-integer-overflow.delete ptr;
// ...
delete ptr; // Ломает free list аллокатора
RAII, умные указатели, heap profiler.printf(userInput); // "%x %x %n"
%x читает стек (утечка адресов ASLR), %n пишет по адресу из стека. Атакующий конструирует цепочку спецификаторов для записи произвольного значения в произвольный адрес.printf("%s", input), -Wformat=2.CI, ASLR+DEP в рантайме. Но даже это не заменит понимание механизмов на уровне стека и кучи.Forwarded from Библиотека собеса по C++ | вопросы с собеседований
std::ifstream file("data.txt");
std::string line;
while (!file.eof()) {
std::getline(file, line);
std::cout << line << std::endl;
}