Ну то есть буквально - со switch наш компилятор компилирует большой проект 30 секунд, а с variant - 51 секунду.

Мда

Сижу, переписываю красивый код с std::variant обратно на switch. std::variant не просто тормозит, а ужасно тормозит. В ассемблере полная каша. На MSVC variant замедляет мой код на 70%, на Clang - 30%.

А в гцц?

А в гцц?

Нет под рукой, к сожалению. Мы используем только MSVC и Clang. Будет время - попробую.

Что интересно, с variant MSVC и Clang собирают одинаковый по производительности код.

Нет под рукой, к сожалению. Мы используем только MSVC и Clang. Будет время - попробую.

кланг который майкрософтский же, да?

Но со switch MSVC ускоряется гораздо сильнее, чем Clang.

кланг который майкрософтский же, да?

Не только. Под другие платформы обычный Шланг. Та же картина.

В ассебмлере вообще не вижу выборки из switch-таблицы. Похоже, variant компилируется в серию бранчей. Это грустно.

возможно ли написать вариант который работал бы аналогично быстро?

В ассебмлере вообще не вижу выборки из switch-таблицы. Похоже, variant компилируется в серию бранчей. Это грустно.

А сколько у тебя там вариантов?

возможно ли написать вариант который работал бы аналогично быстро?

Вероятно, было бы возможно, если бы можно было case генерить вариадиками. Пока что нельзя.

А сколько у тебя там вариантов?

23

23

А чем свитч заменяется? visit(overloaded())?

Да.

overload я писал руками, но там вроде нечему портить картину. На всякий случай перепроверил на собранной ручками структуре - те же дела.

кланг который майкрософтский же, да?

а у майкрософта уже свой шланг внезапно?

а у майкрософта уже свой шланг внезапно?

Clang/C2. Очень крутая вещь.

Официально - Clang with Microsoft CodeGen

Майкрософт прикинулся Шлангом...

Clang/C2. Очень крутая вещь.

Сишечка без заголовков, круто

только 32 битный?

только 32 битный?

Нет, x64 вполне собирает и работает. Там идея простая - берётся слегка модифицированный Шланг, генерирует LLVM IR. А потом с этим работает Microsoft CodeGen - LLVM Backend от Майкрософта.

http://c2lang.org/site/introduction/languages.svg

http://c2lang.org/site/introduction/languages.svg

Да они офигели ставить go по уровню абстракции выше плюсов и D (и раста)

Да они офигели ставить go по уровню абстракции выше плюсов и D (и раста)

видимо автор С++ с 1983 года и не видел

видимо автор С++ с 1983 года и не видел

Но как, если они форк шланга пилят?

http://c2lang.org/site/introduction/languages.svg

это ж не то

https://blogs.msdn.microsoft.com/vcblog/2016/04/06/clangc2-we-need-your-advice/

с2 это ваще какой то другой язык

у майкрософта C1 - фронтенд, C2 - бэкенд )

соответственно клангом они заменили фронтенд часть, а все остальное осталось от vc

и это разумно

сэкономили на нормальном парсинге плюсов, получили все по стандарту

а бэкенд свой оптимизирующий, все как положено

попробовали бы они сделать так с гцц

https://blogs.msdn.microsoft.com/vcblog/2016/04/06/clangc2-we-need-your-advice/

Хм, впрочем это поделие тоже форк шланга)

Хм, впрочем это поделие тоже форк шланга)

они вроде в шланг коммитят свои изменения

Вот такая красота :(

мда

даже вдруг стало интересно затестить с ним QVariant :)

В libc++ на каждый аргумент шаблона по уровню наследования в variant.

Catch 1.9.5 Released. https://github.com/philsquared/Catch/releases/tag/v1.9.5

мкеей

А чем свитч заменяется? visit(overloaded())?

Это который паттерн посетитель?

Это который паттерн посетитель?

/msglink

Это который паттерн посетитель?

Message N° 98846

вижак же код запускается не из под вижака?

есть известная фишка, что при запуске под вижаком код медленнее работает

Это который паттерн посетитель?

йеп

и да, а как сделать visitor над variant без линейного перебора, что он хранит?

Через виртуальные функции, но не факт, что это быстрее.

Через виртуальные функции, но не факт, что это быстрее.

Для 20 вариантов - видимо уже быстрее)

Ничего не может заинлайниться, промахиваемся мимо кеша инструкций

Вряд ли.

Я пишу variant, который насильно будет делать switch.

Подброшу вместо системного и сравню.

Ничего не может заинлайниться, промахиваемся мимо кеша инструкций

Если по контейнеру надо часто бегать и порядок не важен, то отсортировать можно по типу

Я пишу variant, который насильно будет делать switch.

А как, кстати?

Я пишу variant, который насильно будет делать switch.

что за насильный switch?

Я умею только насильную lookup table делать

А как, кстати?

Ну, куча шаблонной магии. Я, например, раньше написал замену std::tuple, которая плотно лежит (как структура). std::cout << sizeof(std::tuple<char, char, char, char, char, char, char, double>) << '\n'; --> 64 std::cout << sizeof(Matway::tuple<char, char, char, char, char, char, char, double>) << '\n'; --> 16

Так что в шаблоны я немножко умею. Попробую чего-нибудь придумать.

Ну, куча шаблонной магии. Я, например, раньше написал замену std::tuple, которая плотно лежит (как структура). std::cout << sizeof(std::tuple<char, char, char, char, char, char, char, double>) << '\n'; --> 64 std::cout << sizeof(Matway::tuple<char, char, char, char, char, char, char, double>) << '\n'; --> 16

Так я умею, а вот шаблонно генерить switch - не очень понятно как

Я умею только насильную lookup table делать

что за насильная lookup table?

ERROR: S client not available

Конструктор копирования variant сделал через switch. Сейчас думаю, как делать visitor.

Так я умею, а вот шаблонно генерить switch - не очень понятно как

Умеешь плотный тьюпл??? Вообще-то вещь нетривиальная.

Я бы с удовольствием посмотрел чью-нибудь имплементацию. Ну и поделился своей.

Потому что я перед тем как это делать, довольно много искал. Видел, как люди пытались, но решили, что это невозможно в C++11.

Я бы с удовольствием посмотрел чью-нибудь имплементацию. Ну и поделился своей.

имплементацию чего?

Плотной тупли.

Умеешь плотный тьюпл??? Вообще-то вещь нетривиальная.

В теории, на практике не пробовал) там вся сложность - выбрать оптимальный порядок полей, чтобы минимизировать потерю памяти из-за alignment'а, так?

Плотной тупли.

что это такое?

В теории, на практике не пробовал) там вся сложность - выбрать оптимальный порядок полей, чтобы минимизировать потерю памяти из-за alignment'а, так?

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

что это такое?

std::cout « sizeof(std::tuple<char, char, char, char, char, char, char, double>) « '\n'; —> 64 std::cout « sizeof(Matway::tuple<char, char, char, char, char, char, char, double>) « '\n'; —> 16

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

Тогда ещё проще, по идее

В теории, на практике не пробовал) там вся сложность - выбрать оптимальный порядок полей, чтобы минимизировать потерю памяти из-за alignment'а, так?

Нет, там чисто техническая шаблонная магия.

std::cout « sizeof(std::tuple<char, char, char, char, char, char, char, double>) « '\n'; —> 64 std::cout « sizeof(Matway::tuple<char, char, char, char, char, char, char, double>) « '\n'; —> 16

Обычная тупля кладёт элементы крайне неоптимально. В вышеупомянутом случае 65% места пропадает зря.

https://github.com/reagentoo/libcxx/blob/master/include/tuple.h#L670

https://github.com/reagentoo/libcxx/blob/master/include/tuple.h#L670

плотная

std::cout « sizeof(std::tuple<char, char, char, char, char, char, char, double>) « '\n'; —> 64 std::cout « sizeof(Matway::tuple<char, char, char, char, char, char, char, double>) « '\n'; —> 16

На всякий случай, size_of(Matway::tuple<char, double>) - тоже 16?

Так, а double - misaligned, получается?

Нет, 16. double нужно выровнять.

Нет, 16. double нужно выровнять.

Вот

Окей.

В общем, Matway::tuple имеет всегда ровно такой же размер, как и структура, в которой положили все поля плоско. std::tuple бывает в 16 раз больше.

а чой-то так плохо

у стандартного

https://github.com/reagentoo/libcxx/blob/master/include/tuple.h#L670

Это совсем не то. Она такая же огромная, как и std::tuple.

да. не в тему кинул.

Она просто умеет превращаться в union.

В общем, не вижу проблемы так сделать

В общем, не вижу проблемы так сделать

Я бы посмотрел :)

Проблема в том, что C++ не позволяет через вариадик положить поля в одну структуру.

Тупла делается через наследование. И отсюда растут ноги у чудовищного оверхеда.

а из-за чего тупл больше структуры то?