Понятнее не стало :) Пойду смотреть докладик

После таких финтов ещё больше утверждаюсь во мнении, что ИБ гораздо перспективнее чего либо на рынке )

Ещё у нас Квятковского есть докладик на эту тему...

А чего непонятного?

            template <unsigned N>
            struct Writer
            {
                friend constexpr bool adl_flag(Flag<N>) //вот эта штука оказывается снаружи шаблона при инстанцировании
                {
                    return true;
                }

                static constexpr unsigned value = N;
            };
            //так что если инстанцировать Writer<42>, то как будто вот сюда написали adl_flag(Flag<42>)

дальше узнать сигнатуру adl_flag - исключительно дело техники

Вот тут есть минимальный пример и ссылка на пост с объяснениями https://github.com/boostorg/pfr/blob/develop/test/loophole_detection.cpp

Здравствуйте. Кто то может помочь мне? Я новичок.

в @pro_winapi

Спасибо 🙏🏻

Если я правильно понял конкретный пример, автор делает счётчик, работающий по следующему принципу
Writer<N> дописывает adl_flag(Flag<N>) в множество функций
reader при вызове ищет первое N такое, что adl_flag(Flag<N>) не записано, после чего вызывает Writer<N> и возвращает N

Спасибо)))

P.S.
Я дошёл до места в докладе, где начинают приводить примеры из magic_get и я такой: "В принципе, я не удивлён, что это запилил Антон" :)

О божечки, кажется я всё понял.

Спасибо.

Не знаю, что думает комитет, имхо это просто баг

            template <unsigned N>
            struct Writer
            {
                friend constexpr bool adl_flag(Flag<N>) //вот эта штука оказывается снаружи шаблона при инстанцировании
                {
                    return true;
                }

                static constexpr unsigned value = N;
            };
            //так что если инстанцировать Writer<42>, то как будто вот сюда написали adl_flag(Flag<42>)

Скажем, unique_value::value<> далее в коде этой либы используется как генератор уникального тэга и пока я еще не до конца понял как это работает, но вообще идея мне теперь понятна, ща немного еще покурю над кодом и всё пойму)

Может и баг, но мне нравится, я бы оставил)

проблема в существовании переменных времени компиляции уже в том, что они существуют

Нууууу)) Возможно :) А с другой стороны, теперь можно написать compile-time хэш таблицу))

ненужно