Нельзя писать безопасный код на C++ без санитайзеров

У меня на работе fmt версии 9. Там функция make_format_args выглядит так:

template <typename Context = format_context, typename... Args>
constexpr auto make_format_args(Args&&... args)
    -> format_arg_store<Context, remove_cvref_t<Args>...> {
  return {std::forward<Args>(args)...};
}

То есть она принимает forwarding reference, что позволяет передавать ей в качестве аргументов временные объекты. В моем случае - результат вызова fmt::arg. Это значит, что результат вызова make_format_arg можно сохранить и позже использовать, но только в том случае, если аргумент fmt::arg - l-value reference.

Но в остальном вы правы. Здесь несколько иная проблема, чем то, что описано в статье. Я поправлю. Спасибо

Нельзя писать безопасный код на C++ без санитайзеров

Зачастую разного рода ошибки попадают в продакшн код, проходя ревью действительно опытных разработчиков. Наличие самого процесса код ревью, как и наличие тестов в коде, не гарантирует отсутствие ошибок в нем

Нельзя писать безопасный код на C++ без санитайзеров

Насколько я помню, такой подход был выбран из-за возможности избежать лишнего перемещения, когда сконструированный по-умолчанию объект класса std::thread заменяется только что созданным в теле конструктора. Но, конечно, вы правы, тут только такой подход позволил бы избежать UB

Нельзя писать безопасный код на C++ без санитайзеров

C++ все это позволяет в отличие от, например, Rust.
Если вы писали промышленный код на C++, то согласитесь со мной, что внимательное чтение учебников и документации все равно не спасает от подобных багов

Нельзя писать безопасный код на C++ без санитайзеров

Понимаю, что проблема синхронизации потоков имеет место во многих языках. C/C++ интересны тем, что их стандарты вводят определение Undefined Behavior. То есть стандарт прямо говорит, что в этой ситуации может произойти что угодно. В моем случае метод поиска в таблице не работал. Это выглядело интересно

Нельзя писать безопасный код на C++ без санитайзеров

Пишешь на плюсах неаккуратно - получаешь "ненормальное программирование" :)

Нельзя писать безопасный код на C++ без санитайзеров

Например, https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines