Dmitry Sviridkin Nekrolm

Мерзкий С-callback

Итак вы программист на высокоуровневых языках: Python, Java, C++ (прости господи)... И вот однажды вам, по долгу службы, выпадает необходимость взять и написать код на C/C++ с использованием прекрасной чистой C библиотеки... мы будем ее звать X.

В этой замечательной библиотеке есть функция

struct power_management_ctx_t; // opaque struct

Как перекладывают вектора

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

На C++ это может выглядеть так

std::vector<float> to_floats(std::vector<int> input) {
    std::vector<float> result(input.size());
    std::transform(begin(input), end(input), begin(result), [](int x) -> float { return x; });

C++14/17 type_traits. Часть 4.

в предыдущей серии мы изобретали CRTP. А в этой серии мы вернемся обратно к тому с чего начинали и изобретем удивительно прекрасную синтаксическую конструкцию, сравнимую по красоте с концептами.

Пусть наша задача написать свой собственный std::bit_cast. C++20, конечно, вышел, но до продакшена везде и повсюду ему далеко, так что такая задача вполне может быть.

bit_cast позволяет посмотреть на значение одного типа, как будто бы это значение совершенно другого типа. Как reinterpret_cast, только без нарушения strict aliasing rule и провоцирования UB.

В простейшем и очень не правильном виде, bit_cast реализуется так:

std::dangling, или как хоть иногда не отстрелить себе ногу

- А можно нам lifetime checker?

- У нас есть lifetime checker дома

Lifetime checker дома:

Собственно, этому и посвящена данная заметка. В C++, начиная с 11 стандарта, есть механизмы, позволяющие немного снизить вероятность влететь в проблему с обращением по ссылкам к уже мертвым объектам

	#include <stdlib.h>
	#include <cstdint>

	#include <string>
	#include <vector>
	#include <map>
	#include <iostream>
	#include <functional>
	#include <utility>
	#include <memory>

	// https://godbolt.org/z/hfcnTfaz8
	#include <cstdint>
	#include <array>
	#include <cstddef>
	#include <ranges>
	#include <algorithm>
	#include <utility>
	#include <format>
	#include <string_view>
	#include <print>

	#include <string>
	#include <string_view>
	#include <iostream>
	#include <concepts>


	void check_length(std::string_view sv)
	{ std::cout << "check len\n"; }
	void check_content(std::string_view sv)
	{ std::cout << "check content\n"; }

	// https://godbolt.org/z/cfE7sh3jT
	#include <type_traits>
	#include <utility>
	#include <new>
	#include <stdexcept>
	#include <functional>
	#include <print>
	#include <string>
	#include <vector>

	#include <memory>
	#include <type_traits>
	#include <concepts>
	#include <span>
	#include <functional>
	#include <iostream>

	struct Context {
	std::string_view body;
	std::string_view headers;


	#pragma once

	#include <type_traits>

	namespace cxxconcept17 {

	namespace detail {
	enum class RequiredE { kRequired = 0 };
	}