C++23: старый добрый друг с новыми трюками Модули наконец-то работают как надо
Подключить библиотеку std можно только в MSVC. Модули только для своего проекта - так себе.
Coroutines в стандартной библиотеке
std::generator только если. Корутины есть в языке в виде co_await/co_yield/co_return, а дальше надо брать какую-то стороннюю библиотеку, типа cppcoro или Boost::ASIO.
До сих пор нет нормальной системы пакетов (хотя vcpkg и Conan спасают)
cmake с FetchContent или сразу CPM.cmake.
Нужны очень опытные разработчики
На Rust тоже нужны, и их чаще всего не завезли, и кто-то будет переучиваться с плюсов или джавы.
Фактор автобуса, только лишь на владении Растом, не канает. Если несколько человек знакомы с проектом, если есть какая-то документация, если есть какие-то автотесты, то автобуса тут нет.
Особенно нравится ваш код ‘ "ERROR", "ERROR" + 5’. Возлагается надежда на компилятор, что он текстовые константы положит в сегмент статических данных только для чтения ровно один раз, хотя в стандарте про такую оптимизацию не просят.
Всё хорошо, но формул для вычисления средних очень много. Вот у тебя, Хабра читатель, есть машина? Она показывает среднюю скорость, средний расход? А как она это делает, никогда не задумывался?
strict aliasing, -Wstrict-aliasing=3 вам в помощь, правда при -O2 и выше.
object lifetime violations (ваш std::launder тут спасает, но ваши примеры плохи), тут санитайзеры в помощь.
type-punning (классика UB, особенно через union или reinterpret_cast между несовместимыми структурами)
alignment issues (на x86 пофиг, но я на продакшене словил от более нового gcc movdqu вместо movdqa, хотя они стоят одинаковое количество тактов) -Wcast-align в помощь
struct Widget {
const int id;
std::string name;
};
alignas(Widget) std::byte buf[sizeof(Widget)];
auto *p = new (buf) Widget{1, "old"};
p->~Widget();
new (buf) Widget{2, "new"};
std::cout << p->id << '\n'; // UB: p указывает на покойника
меняем на
...
p->~Widget();
auto *q = new (buf) Widget{2, "new"};
std::cout << q->id << '\n'; // И здесь всё хорошо
Это простой "use after destruction" или "stale pointer", пока ничего необычного.
Тема оптимизации C++ шаблонов не раскрыта. Необходимо было рассказать, как в библиотеках типа STL, Boost, ... с этим борются, а там есть несколько способов.
Как реализованы разные hash-map. Статическая таблица вызовов функций, инициализируется для каждого типа.
struct RawTableOps {
size_t (*hash)(const void* key);
...
class RawTable {
private:
const RawTableOps* ops_;
...
template<class K, class V,
class H = std::hash<K>,
class E = std::equal_to<K>>
class HashMap : private RawTable {
public:
HashMap() : RawTable(&ops) {}
...
Как реализованы разные вектора. Все тяжёлые алгоритмы работают в базовом классе, приходится гонять через void* и size_t всё, и шаблонная обёртка преобразует к нужному типу.
class _Vec_common {
protected:
...
template<class T, class Alloc = std::allocator<T>>
class tiny_vector : private _Vec_common {
...
private:
T* data_{}; size_t size_{}, cap_{};
Про использование std::function добавлю. В C++26 появился std::function_ref (P0792) - не владеет callable-объектом, а держит reference-wrapper + тривиальный function-pointer thunk. Его размер - два указателя, ни аллокаций, ни type-erasure-state.
В коде ниже не может произойти RVO, потому что возвращаемый тип не соответствует тому, что мы возвращаем. Нам нужно построить std::optional объект, и тут вызовется конструктор перемещения, что не так плохо, но не RVO. В версией с const действительно конструктор перемещения не может быть использован, и будет конструктор копирования.
Видел такое. Типичный "фикс" - это sleep запихнуть. В дебаге всё работает, потому что в этом месте какой-то print в Log есть, и вся синхронизация тредов работает хорошо.
А теперь признайтесь - сколько у вас в коде sleep таких зарыто?
Подключить библиотеку std можно только в MSVC. Модули только для своего проекта - так себе.
std::generator только если. Корутины есть в языке в виде co_await/co_yield/co_return, а дальше надо брать какую-то стороннюю библиотеку, типа cppcoro или Boost::ASIO.
cmake с FetchContent или сразу CPM.cmake.
На Rust тоже нужны, и их чаще всего не завезли, и кто-то будет переучиваться с плюсов или джавы.
Фактор автобуса, только лишь на владении Растом, не канает. Если несколько человек знакомы с проектом, если есть какая-то документация, если есть какие-то автотесты, то автобуса тут нет.
Есть ChatGPT, Sonnet/Opus и кросс-платформенные тулы/либы. Why бы и not? И зачем писать под Windows only?
Это расширение для VSCode. А если рабочая IDE это vim/neovim?
Причём тут C++?
Это если предварительно сделали нормализацию текста, иначе текст с акцентами может быть по разному представлен и вы не найдете.
Особенно нравится ваш код ‘ "ERROR", "ERROR" + 5’. Возлагается надежда на компилятор, что он текстовые константы положит в сегмент статических данных только для чтения ровно один раз, хотя в стандарте про такую оптимизацию не просят.
Причём здесь C++, C#?
Как происходит автодополнение, через clangd? Я вот такой плагин знаю https://vimawesome.com/plugin/vim-clangd
Ещё хочется хочется в реалтайм видеть сообщения от Clang-Tidy. Говорят надо использовать плагин ALE (Asynchronous Lint Engine).
Спасибо за статью. Было бы ещё здорово сравнить с
std::pmr
контейнерами cmonotonic_buffer_resource
.a + (b - a) /2
тоже переполняется, еслиb > a
.Если вам по классике, тогда вот так
auto avg = (a & b) + ((a ^ b) >> 1);
Всё хорошо, но формул для вычисления средних очень много.
Вот у тебя, Хабра читатель, есть машина? Она показывает среднюю скорость, средний расход? А как она это делает, никогда не задумывался?
Вы главное забыли. Статья должна была быть про
strict aliasing, -Wstrict-aliasing=3 вам в помощь, правда при -O2 и выше.
object lifetime violations (ваш std::launder тут спасает, но ваши примеры плохи), тут санитайзеры в помощь.
type-punning (классика UB, особенно через union или reinterpret_cast между несовместимыми структурами)
alignment issues (на x86 пофиг, но я на продакшене словил от более нового gcc movdqu вместо movdqa, хотя они стоят одинаковое количество тактов) -Wcast-align в помощь
Ваш код
меняем на
Это простой "use after destruction" или "stale pointer", пока ничего необычного.
Меня такое на интервью спросили кстати.
Тема оптимизации C++ шаблонов не раскрыта. Необходимо было рассказать, как в библиотеках типа STL, Boost, ... с этим борются, а там есть несколько способов.
Как реализованы разные hash-map. Статическая таблица вызовов функций, инициализируется для каждого типа.
Как реализованы разные вектора. Все тяжёлые алгоритмы работают в базовом классе, приходится гонять через void* и size_t всё, и шаблонная обёртка преобразует к нужному типу.
Про использование
std::function
добавлю. В C++26 появилсяstd::function_ref
(P0792) - не владеет callable-объектом, а держит reference-wrapper + тривиальный function-pointer thunk. Его размер - два указателя, ни аллокаций, ни type-erasure-state.В коде ниже не может произойти RVO, потому что возвращаемый тип не соответствует тому, что мы возвращаем. Нам нужно построить std::optional объект, и тут вызовется конструктор перемещения, что не так плохо, но не RVO. В версией с const действительно конструктор перемещения не может быть использован, и будет конструктор копирования.
Чтобы в вашем примере случился RVO надо написать сразу вот так
P.S. В этом, кстати проблема современных std::optional, std:expected и им подобных.
Задача на собеседовании - что выдаст на экран эта программа ;-)
Но это, конечно, обфускация и ненормативное программирование.
Видел такое. Типичный "фикс" - это sleep запихнуть. В дебаге всё работает, потому что в этом месте какой-то print в Log есть, и вся синхронизация тредов работает хорошо.
А теперь признайтесь - сколько у вас в коде sleep таких зарыто?