Форум 'C/C++' на RSDN

Операции сравнения

Thu, 26 Feb 2026 08:47:46 GMT

Вот завели в С++20 операцию трехстороннего сравнения.
Компилятор при ее реализации в классе генерит на ее основе правильные логические выражения с обычными операция сравнения.

А если трехстороннее сравнение не определено в классе, чего тогда делается ?
Понятно, что равенство и неравенство можно сгенерить (но и тут есть нюансы).
А операция МЕНЬШЕ — генерится ?
И какой из трех вариантов порядка соблюдается ?

Уроки по написанию компилятора на C++

Tue, 24 Feb 2026 10:54:56 GMT

Шесть часов видео для интересующихся основами создания компиляторов.

Юрий Минаев, архитектор компании PVS-Studio, записал 10 практических видеоуроков по написанию компилятора на языке С++. Это компилятор для выдуманного языка, который, впрочем, сильно смахивает на C.

Бесплатные уроки: Давайте создадим язык программирования.

Составить впечатление о том, что вас ждёт, поможет эта видеонарезка.

так компайл тайм рефлекшину быть 26-й стандарт ??

Mon, 09 Feb 2026 03:55:59 GMT

прогнозы? к какому году, к примеру у мелгкомякгких появится..

Какие методы логирования из С либы знаете?

Thu, 08 Jan 2026 06:23:58 GMT

Есть С API либа (без классов), которая должна подключаться вообще ко всему, то есть к С# прогам, к свифтным прогамина иос, к андроидным прогам, ну и разумеется винда, линукс, мак.
Мне надо изнутри либы в кидать оповещения о происходящем в виде строк с описанием. Не просто коды ошибок. Функции сложные и длинные, иногда несколько-поточные.

Как лучше сделать?

Первое что приходит в голову коллбек — функция со строкой в аргументе. Приложение дает такую функцию и либа ее тянет.
Второе — кидать в файл, но этот кажется кривым. Не хочу через файл.
Как еще можно? Нужно кросс-платформенно и между-языково

Полухин - что там с С++26

Wed, 17 Dec 2025 23:07:51 GMT

Полухин рассказывал о прогрессе с С++26
правда 1/3 видео звук хреновый
потом нормальный
может исправили и перезалили, не проверял, я смотрел до этого онлайн

собственно на что меня задело
это на вопрос — почему комитет не сделает форматирование аргументов в С++26 как это сделано в расте или питоне
ответ Антона — что то типа, разработчики компиляторов протестуют/бунтуют, короче не хотят, для них это якобы сложно

https://www.youtube.com/watch?v=38WcYF3ubXE

Асинхронщина

Fri, 05 Dec 2025 21:32:04 GMT

В последнее время рабочие задачи стали сильно мигрировать, условно, с CPU-bound на IO-bound. Приходится миксовать логику и различные сетевые запросы и их ожидания. И чем навороченнее микс, тем больше приходит понимание, что синхронный подход тут начинает буксовать, код становится трудно поддерживать и менять бизнес логику всего этого. Тут вот подумалось, может быть спросить коллег, кто как подходит к IO-bound задачам, где CPU, будем считать для простоты, почти не используется и в основном приходится ждать завершение операций.

Что в идеале хочется получить:

data = await read(...);
await write(data);

Понятно, что скорее всего должен быть некий механизм, который следит за завершенными операциями и продолжает выполнение с точки ожидания.
Как такое можно организовать проще всего? Обязательно нужно кроссплатформенное решение, без погружения в дебри с ассемблером, регистрами и т.л.

Первое что приходит на ум С++20 c безстековыми корутинами. Но это С++20, а я пока на С++17 плотно сижу.
Можно ли еще как-то в С++17 организовать такой код, можно с колбеками/скрытими колбеками, может быть разбивать код в ручном режиме, но что бы он был более-менее понятен и можно было протаскивать объемный контекст между этой машиной состояний?

Большая просьба по возможности воздержаться от тыканья в готовые библиотеки, в плане бери вот это, там всё уже есть и не думай. Хочется понять основные идеи и подходы, а не максимально быстро начать писать код в продакшене.

Если читаемый подход возможен только в С++20, то придется конечно дрейфовать туда, ничего не поделаешь.

std::variant для вложенного класса

Wed, 03 Dec 2025 20:05:13 GMT

Почему некоторые компиляторы это отказываются компилировать ?

#include <variant>

struct D
{
    struct FService
    {
        int  nFService_ = 0;
    };

    std::variant<FService> data_;
};

int main() 
{
D d;
return 0;
}

здесь

GTest does not officially support dynamic loading

Sat, 29 Nov 2025 02:22:07 GMT

Google Test (GTest)
does not officially support dynamic loading of tests within shared libraries (DLLs) using functions like LoadLibrary(). The problem arises because GTest uses static variables to register tests when the library is loaded, and attempting to unload and reload libraries or running the cleanup code after a library has been unloaded can cause a crash.

при написании тестов столкнулся с тем что при использовании GTest при вызове LoadLibrary возникает exception

подскажите пожалуйстта реально ли обойти эту проблемму

cmake 4.2.0 +cpp modules / import std fix

Thu, 20 Nov 2025 21:50:41 GMT

вышла новая версия cmake 4.2.0
https://discourse.cmake.org/t/cmake-4-2-0-available-for-download/15333
с исправлением для модулей что бы можно было использовать
import std;

The “CMAKE_CXX_STDLIB_MODULES_JSON” variable was added to set the
path to the “import std” metadata file for the standard library
rather than using the compiler to discover its location.

проблема была в том что зоопарк линукс пакетов
собирали gcc по разному
и файл метаданных необходимый для подключения import std
был в разных локациях линукс фс

так же проблемы была при использовании
clang под виндовс с msvc stl
поскольку для clang была поддержка только кланговского stl
и он не находил файл метаданных с msvc stl

проверил, это не пофиксили
upd
оказывается проблема более глобальная
у каждого компиля свой формат json метаданных
и если clang/gcc еще кое как сходятся
то у msvc свой
поэтому cmake разрабы играются со своим парсером и пытаются стандартизировать формат метаданных
https://gitlab.kitware.com/cmake/cmake/-/merge_requests/11422
https://github.com/ecostd/rfcs/pull/3
upd2
пофиксил для cmake 4.2.0 что бы работал clang под виндовс c import std;

следующая версия cmake 4.3.0 зарелизится не ранее февраля 2026

тянут в кланг и стандарт strong typedef

Thu, 20 Nov 2025 12:27:56 GMT

https://discourse.llvm.org/t/rfc-clang-adding-strong-typedefs/88843

ех! хотят классную штуку попробовать в кланге и протянуть в стандарт
сейчас для этого приходиться говнокодить тип врапер обертку
хотя иногда можно и из буста поюзать
но накладно по сравнению с предлагаемым вариантом

friend

Sat, 15 Nov 2025 02:14:32 GMT

Как считаете — friend это костыль для кривой архитектуры или норм?

а давайте напишем новый asio !

Mon, 03 Nov 2025 23:34:01 GMT

любопытный флем на эту тему разгорелся в рассылке буста в августе(сейчас затух)

https://lists.boost.org/archives/list/boost@lists.boost.org/thread/MOZF2IYK4B6DAEGOTP5IEGNSOQ5BPH75/

вообщем автор asio слишком звездный или у него руки и ноги связаны nda
поэтому он ни с кем не общается в опенсорс комюнити
и известный фалько, предлагает форкнуть asio

Ушел из жизни Райнер Гримм

Mon, 03 Nov 2025 23:29:56 GMT

https://www.modernescpp.com/index.php/my-als-journey-31-31-the-end/
месяц назад ушел из жизни автор известного издания о конкурсенси в С++
https://www.modernescpp.org/concurrency-with-modern-cpp/

std::get(std::variant)

Wed, 22 Oct 2025 20:20:12 GMT

Здравствуйте!

Я тут начал довольно активно пользоваться std::variant, и часто возникает задача — узнать, что там во варианте лежит. Также возникает задача получить лежащее там значение.

Мне не нравится то, что std::get принимает std::size_t индекс, а std::variant::index() возвращает std::size_t, а std::holds_alternative принимает тип.

Я каждый раз для каждого variant делаю перечисление enum class, если мой variant — MyVariant, то перечисление — MyVariantKind. Имена альтернатив там в одном порядке. Пишу функцию GetKind и вроде норм. Пока было нужно всего несколько раз, и руками было достаточно просто. Но вообще идея мне понравилась, и я подумал, как бы это дело сделать совместимым с std.

Захотелось:
1) поиметь функцию типа std::index (которой на самом деле вроде нет), которая для variant'а вызывает его index() и кастит к моему enum — что тут лучше придумать? Или есть что-то такое, просто я не в курсе?
2) аналог std::get. Кстати, я что-то всегда вызываю std::get, но, по идее, тут должен работать просто get через ADL, и я могу написать свою пачку перегрузок get в том же NS, где и variant, и всё будет работать просто через вызов get, так?
3) holds_alternative, которая принимает variantKind и variant, и возвращает bool — тут по идее, так же как с get
4) get_if — ну это уже на базе остального делается, вроде

Как это всё лучше по красоте сделать?

ЗЫ Думаю запилить какой-нить генератор кода, который бы мне всю красоту генерил по простецкому описанию, и мой Variant, и VariantKind

ЗЗЫ Приглашается в тему Евгений Музыченко с примером своего compile-time скрипта на его гипотетическом диалекте C++, в котором есть МАКРОСЫ. Каким ему видится решение подобной задачи? Хочу почитать код такого решения.

ЗЗЗЫ А как variant может стать value less? И как это можно продетектить? Это из-за исключений может получиться, или есть другие способы?

std::advance

Wed, 15 Oct 2025 20:18:35 GMT

Здравствуйте!

Почему std::advance не возвращает инкрементированный итератор, а инкрементирует его по ссылке на него?

Неудобно же блин, кучу телодвижений надо делать. Использую не слишком часто, поэтому ещё не привык и каждый раз плююсь.

Ну ладно, окей, может быть какие-то итераторы не копируются, или их копирование тяжёлое, а по ссылке всегда сработает оптимально. Но можно же было например сделать либо std::advance, который возвращает инкрементированное значение, и std::advance_inplace — обновляет по ссылке. Или — std::advance — работает по ссылке, а std::advance_copy — возвращает инкрементированную копию.

А я уж сам бы решил, inplace мне инкрементировать, или получать инкрементированную копию?

И да, немножко диссонанс с парной функцией std::distance, которая возвращает новое значение. Так-то понятно, что std::distance никак не может работать по ссылке, но могли бы std::advance сделать с аналогичной семантикой

const&

Fri, 10 Oct 2025 08:25:02 GMT

Опять что-то перемудрили в стандарте или я неправильно понимаю ссылочные квалификаторы у методов класса?
Обнаружил падение у себя в коде. В сухом остатке вот выжимка. Код содержит undefined behavior.

class nested_class 
{
public:
   int get() const { return m_member; };

private:
    int m_member = 0;
};

class holder_class
{
public:

    template<typename type_t>
    const nested_class& get() const& { return m_member; }
    
private:

    nested_class m_member;
};


int main(int argc,char** argv) {

    const nested_class& nested = holder_class().get<int>(); // UB

    return nested.get();
}

В оправдании себя: думал что 'const&' квалификатор метода класса убережет меня от вызова метода у временного объекта. Но не уберегло, не фортануло. Стандарт позволяет вызвать метод у временного константного объекта. Дальше масса объяснений зачем это, что ссылка константная и она продлевается и это безопасно и бла-бла-бла. Во у меня рабочий пример и таки приведение оказалось не безопасным. Понятно, что можно добавить метод

template<typename type_t>
nested_class get() const&& = delete;

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

Awesome-cpp

Fri, 10 Oct 2025 04:50:07 GMT

Кто еще не знает — там есть очень много всего
https://github.com/fffaraz/awesome-cpp

Placement new для инициализации примитивного типа в самодельном union?

Thu, 02 Oct 2025 08:59:40 GMT

Доброго времени суток!

Нужна консультация от людей, которые знают формальную часть C++ лучше меня.

Делаю самодельный аналог union/variant. Что-то типа:

using void_ptr_t = void *;

template< typename T >
struct my_union_t
{
    alignas( std::max( alignof(T), alignof(void_ptr_t) ) )
    std::array< std::byte, std::max( sizeof(T), sizeof(void_ptr_t) ) > _content;

};

Т.е. это такое специализированное хранилище, в котором может быть либо экземпляр типа T, либо же указатель.
Либо вообще может ничего не быть, но это к делу не относится.

Важно то, что в качестве T может быть нетривиальный тип со своими конструкторами и деструктором. Вроде std::string или std::vector.

Когда мне нужно поместить в my_union_t::_content значение типа T, то естественным образом используется placement new:

template< typename T >
void
store_to( my_union_t<T> & dest, T value )
{
  new( dest._content.data() ) T{ std::move(value) };
}

Но вот нужен ли с формальной точки зрения placement new когда мне требуется туда сохранить значение указателя?
Т.е. должен ли я писать так:

template< typename T >
void
store_to( my_union_t<T> & dest, void_ptr_t value )
{
  new( dest._content.data() ) void_ptr_t{ value };
}

или же вполне достаточно и reinterpret_cast:

template< typename T >
void
store_to( my_union_t<T> & dest, void_ptr_t value )
{
  *(reinterpret_cast<void_ptr_t **>(dest._content.data())) = value;
}

?

Оно как бы понятно, что современные компиляторы без проблем возьмут и версию с reinterpret_cast. Но хочется понять, насколько это легально.

Сам думаю, что легальной является только версия с placement new и для T, и для void_ptr_t. Однако, не мешало бы получить какие-то подтверждения от знающих людей, чтобы быть уверенным.

PS. Вопрос о том, почему бы не взять std::variant выходит за рамки обсуждения, есть на то причины. Если брать обычный унаследованный из Си union, то для случаев, когда T является нетривиальным типом (вроде std::string) там свои заморочки, которые не делают код более понятным, скорее даже наоборот.
PPS. Про то, что для my_union_t нужны функции очистки содержимого и соответствующие процедуры для копирования/перемещения/swap я в курсе.

Про модули

Wed, 03 Sep 2025 05:18:32 GMT

https://chuanqixu9.github.io/c++/2025/08/14/C++20-Modules.en.html

Build System
How much compile time can C++20 Modules save?
Are C++20 Modules and PCH equivalent? What’s the difference?
Can C++20 Modules reduce code size? Why?
Can we use C++20 Modules for programming now?
But what’s the cost?
When to use C++20 Modules
Modules Wrapper
export-using style
extern “C++” style
Choose a specific suffix for your wrapped third-party libraries to avoid conflicts
One big thirdparty module
Use .cppm and other special suffixes as the filename suffix for importable module units
How do C++20 Modules reduce compile time?
Frontend and Compile-Time Computation
Mid-end and Back-end
Negative impacts of Modules on compile speed
Recompilation issues from modifying interface files
Other uses for Module Implementation Partition Units
Non-Cascading Changes
Try to avoid placing the same declaration in different TUs
Mixing import and #include
Impact of Modules on code size
Runtime issues encountered during module migration
Forward declaration issues in Modules
TODO?

Одна функция для разных типов

Mon, 25 Aug 2025 15:40:54 GMT

Две функции выполняют одно и тоже, различаются по типам.

void search(const char* mask)
{
    _finddata_t fd;
    _findfirst(mask, &fd);
}
void wsearch(const wchar_t* mask)
{
    _wfinddata_t fd;
    _wfindfirst(mask, &fd);
}

Можно ли объединить в одну функцию (или шаблон)? Хочется следующее:

asearch("*.txt");    // выполняется search 
asearch(L"*.txt");    // выполняется wsearch

Спасибо!