Телеграмм чат группы ProCxx страница 15259

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.cxx

3926 membersпожаловаться на группу

2020 July 31

AS

Anatoly Shirokov in pro.cxx

Есть у меня такой шаблон для compile-time итерирования

template <int First, int Last, typename Functor>
constexpr void constexpr_for([[maybe_unused]] Functor&& f) noexcept
{
  if constexpr (First < Last)
  {
     f(value_as_type<First>{});
     constexpr_for<First + 1, Last, Functor>(std::forward<Functor>(f));
  }
}

Когда-то здесь обсуждали, что это эффективнее реализуется на fold expression, но я не видел реализации, и сейчас тоже не могу её найти. Не подскажете?

ну, напиши свой make_index_sequence для диапазона [First, Last) и, в принципе, все, делай fold на index sequence

источник

11:03пожаловаться #1

m

magras in pro.cxx

Есть у меня такой шаблон для compile-time итерирования

template <int First, int Last, typename Functor>
constexpr void constexpr_for([[maybe_unused]] Functor&& f) noexcept
{
  if constexpr (First < Last)
  {
     f(value_as_type<First>{});
     constexpr_for<First + 1, Last, Functor>(std::forward<Functor>(f));
  }
}

Когда-то здесь обсуждали, что это эффективнее реализуется на fold expression, но я не видел реализации, и сейчас тоже не могу её найти. Не подскажете?

Кажется это пишется примерно так:

template <class F, class... Ts>
void for_each(F&& f, Ts&&... ts) {
  (f(ts), ...);
}

Естественно нужно добавить всякие форварды, я их опустил для краткости.

источник

11:06пожаловаться #2

АК

Александр Караев... in pro.cxx

Есть у меня такой шаблон для compile-time итерирования

template <int First, int Last, typename Functor>
constexpr void constexpr_for([[maybe_unused]] Functor&& f) noexcept
{
  if constexpr (First < Last)
  {
     f(value_as_type<First>{});
     constexpr_for<First + 1, Last, Functor>(std::forward<Functor>(f));
  }
}

Когда-то здесь обсуждали, что это эффективнее реализуется на fold expression, но я не видел реализации, и сейчас тоже не могу её найти. Не подскажете?

template <std::size_t First, std::size_t... Indices, typename Functor>
constexpr void constexpr_for_impl([[maybe_unused]] Functor&& f, std::index_sequence<Indices...>) noexcept {
    (std::forward<Functor>(f)(value_as_type<First + Indices>{}), ...);
}

template <std::size_t First, std::size_t Last, typename Functor>
constexpr void constexpr_for([[maybe_unused]] Functor&& f) noexcept {
    constexpr_for_impl<First>(std::forward<Functor>(f), std::make_index_sequence<Last - First>{});
}

источник

11:07пожаловаться #3

A

Alex in pro.cxx

Кажется это пишется примерно так:

template <class F, class... Ts>
void for_each(F&& f, Ts&&... ts) {
  (f(ts), ...);
}

Естественно нужно добавить всякие форварды, я их опустил для краткости.

Спасибо, но у меня же числовые индексы (NTTP)

источник

11:07пожаловаться #4

АК

Александр Караев... in pro.cxx

https://godbolt.org/z/venxf5

источник

11:07пожаловаться #5

A

Alex in pro.cxx

Спасибо!
А шаблонные лямбды в С++20 поддерживают же и NTTP? Можно выбросить мой костыль value_as_type и использовать шаблонный operator()?

источник

11:10пожаловаться #6

S

Spoonson in pro.cxx

Вчера на афтерпарти Михаил Воронов автор доклада "Jemalloc и ptmalloc2 с точки зрения разработчика" показал интересную оптимизацию в коде jemalloc.

Во-первых, я думаю многим здесь будет интересно посмотреть на нее. Во-вторых, вроде на свежую голову я понял в чем суть, но мне хотелось бы проверить себя.

jemalloc/jemalloc

Contribute to jemalloc/jemalloc development by creating an account on GitHub.

а можно пояснение для глупых? Никак не могу понять, какую кэшлинию надо будет подгружать, если проверяется возвращаемое значение. Мы же проверяем значение указателя (которое должно быть в регистре, или на стеке рядом), а не то, куда он указывает.

источник

11:11пожаловаться #7

АК

Александр Караев... in pro.cxx

Спасибо!
А шаблонные лямбды в С++20 поддерживают же и NTTP? Можно выбросить мой костыль value_as_type и использовать шаблонный operator()?

https://godbolt.org/z/x7Tfd1
правда у меня gcc-9 наглухо вис, когда я хотел так его поюзать

источник

11:12пожаловаться #8

AS

Anatoly Shirokov in pro.cxx

Александр Караев

template <std::size_t First, std::size_t... Indices, typename Functor>
constexpr void constexpr_for_impl([[maybe_unused]] Functor&& f, std::index_sequence<Indices...>) noexcept {
    (std::forward<Functor>(f)(value_as_type<First + Indices>{}), ...);
}

template <std::size_t First, std::size_t Last, typename Functor>
constexpr void constexpr_for([[maybe_unused]] Functor&& f) noexcept {
    constexpr_for_impl<First>(std::forward<Functor>(f), std::make_index_sequence<Last - First>{});
}

like

источник

11:13пожаловаться #9

ИИ

Иванов Иванов... in pro.cxx

Александр Караев

template <std::size_t First, std::size_t... Indices, typename Functor>
constexpr void constexpr_for_impl([[maybe_unused]] Functor&& f, std::index_sequence<Indices...>) noexcept {
    (std::forward<Functor>(f)(value_as_type<First + Indices>{}), ...);
}

template <std::size_t First, std::size_t Last, typename Functor>
constexpr void constexpr_for([[maybe_unused]] Functor&& f) noexcept {
    constexpr_for_impl<First>(std::forward<Functor>(f), std::make_index_sequence<Last - First>{});
}

но зачем это?

источник

11:18пожаловаться #10

AS

Anatoly Shirokov in pro.cxx

Иванов Иванов

но зачем это?

https://t.me/ProCxx/396323

Alex in pro.cxx

Есть у меня такой шаблон для compile-time итерирования
template <int First, int Last, typename Functor>
constexpr void constexpr_for([[maybe_unused]] Functor&& f) noexcept
{
if constexpr (First < Last)
{
f(value_as_type<First>{});
constexpr_for<First + 1, Last, Functor>(std::forward<Functor>(f));
}
}

Когда-то здесь обсуждали, что это эффективнее реализуется на fold expression, но я не видел реализации, и сейчас тоже не могу её найти. Не подскажете?

источник

11:19пожаловаться #11

ИИ

Иванов Иванов... in pro.cxx

Anatoly Shirokov

https://t.me/ProCxx/396323

Alex in pro.cxx

Есть у меня такой шаблон для compile-time итерирования
template <int First, int Last, typename Functor>
constexpr void constexpr_for([[maybe_unused]] Functor&& f) noexcept
{
if constexpr (First < Last)
{
f(value_as_type<First>{});
constexpr_for<First + 1, Last, Functor>(std::forward<Functor>(f));
}
}

Когда-то здесь обсуждали, что это эффективнее реализуется на fold expression, но я не видел реализации, и сейчас тоже не могу её найти. Не подскажете?

понятно.

источник

11:21пожаловаться #12

m

magras in pro.cxx

а можно пояснение для глупых? Никак не могу понять, какую кэшлинию надо будет подгружать, если проверяется возвращаемое значение. Мы же проверяем значение указателя (которое должно быть в регистре, или на стеке рядом), а не то, куда он указывает.

Моя гипотеза заключалась в том, что речь идет о выражении void *ret = *bin->stack_head; и что в случае success = false было бы необязательно дожидаться загрузки его в кеш. Но это не верно, так как в функции cache_bin_alloc_impl используется значение stack_head в других местах и оно должно уже быть в кеше. Так что у меня теперь тоже нет идей. =(

источник

11:24пожаловаться #13

MZ

Max Ziua in pro.cxx

Можете подкинуть ссылку на имплементацию unique_ptr на стеке? Не могу найти по поиску в чате

источник

12:16пожаловаться #14

🎄T

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in pro.cxx

Max Ziua

Можете подкинуть ссылку на имплементацию unique_ptr на стеке? Не могу найти по поиску в чате

На стеке в плане?

источник

12:17пожаловаться #15

MZ

Max Ziua in pro.cxx

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄

На стеке в плане?

С aligned_storage, возможностью передавать кастомный делитер and so on

источник

12:18пожаловаться #16

MZ

Max Ziua in pro.cxx

Я точно здесь это видел, кажись Антон Полухин пилил

источник

12:19пожаловаться #17

MZ

Max Ziua in pro.cxx

С миллионом статик ассертов

источник

12:19пожаловаться #18

🎄T

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in pro.cxx

Max Ziua

Я точно здесь это видел, кажись Антон Полухин пилил

Ты про PIMPL?

источник

12:19пожаловаться #19

MZ

Max Ziua in pro.cxx

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄

Ты про PIMPL?

Нет, я про умный указатель для стековой переменной

источник

12:20пожаловаться #20