лол, это же мои одногруппники. Откуда это здесь? Это просто как я вижу наша чудо конференция внутренняя. там много чего весёлого найти можно ?

С какого-то рандомного сайта скачал.

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

Что-то как-то странно обсуждать язык, который нигде не описан... Да ещё и DSL...

ну это моя предметная область

если вдруг, кому интересно (минутка наглого самопиара)

Ну ок, но С++ тут при чем? Не ну можно конечно по это побазарить ( не я только)

Ну как причём? Это ж как замена С++. С кем ещё базарить на тему всяких D, go и rust?

Не с C#-программистами же. А комьюнити самих языков маленькие. И там фанатики одни :)

Фанатики это плохо

Да я не против побазарить, описание языка где?

Без него как-то...

https://github.com/BSVino/JaiPrimer/blob/master/JaiPrimer.md

нормальных спеков нет, только такое + стримы видео, но там долго

вот сборник всех ресурсов: https://inductive.no/jai/

хм... а в бусте есть smartptr, который лежит под капотом std::function? можно его в стандарт притащить?

хм... а в бусте есть smartptr, который лежит под капотом std::function? можно его в стандарт притащить?

А для чего?

А для чего?

Например, для type erasure с сохранением копирования, как это нужно в std::function :)

std::any?

А кому-нибудь приходилось ускорять линковку либы? У нас один из проектов под MSVS линкуется 5минут без ltcg. Есть ли тулы, которые подсвечивают проблемы?

Самый продвинутый способ делать type erasure - это Boost.TypeErasure

Самый продвинутый способ делать type erasure - это Boost.TypeErasure

В нём можно выбирать операции, которые нужны от типа и генерировать свои указатели/контейнеры

std::any?

тут в любом случае удивительное дело - все известные мне реализации std::function используют этот указатель, но наружу его не показывают

тут в любом случае удивительное дело - все известные мне реализации std::function используют этот указатель, но наружу его не показывают

Он там смешан с SSO и весьма специфичен Поэтому наружу и не показывают

Он там смешан с SSO и весьма специфичен Поэтому наружу и не показывают

А SSO там не получается естественным свойством такого указателя?

ну если нужно с SSO, то это std::function А ели нужна часть std::function, которая на куче может хранить, тогда ближайший аналог Boost.TypeErasure

Мне здесь именно что непонятно, почему то, что лежит под std::function, не является законченным типом с точностью до шаблонизации

Вроде это полноценная версия unique_ptr для CC

Но зачем? Если нужно хранить функции - то std::function Если нужно что-то большее - то оно не умеет :(

Оно же там в потрохах не функцию хранит, оно (если я ничего не напутал) хранит потомок интерфейса с аллокатором вместе Т.е. если цепочку раскрутить, получается какой-то модифицированный unique_ptr с дополнительным хранением оригинального аллокатора для копирования и small object optimization

(и вроде как это основной способ хранить полиморфное значение CC-объекта)

Аллокатор он начиная с C++17 хранить не должен - там возникли какие-то суровые проблемы у разработчиков стандартной библиотеки с хранением type erased аллокаторов Остаётся только std::unique_ptr<detail::func_base<YourType>> func_base в простом случае реализован как-то наподобие https://github.com/boostorg/any/blob/develop/include/boost/any.hpp#L152-L202, только ещё с operator()

А вот в более сложном случае, он реализован крайне неприглядно, для того чтобы избегать RTTI https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/std/any#L551 ^ Такое людям страшно показывать

Но из ссылки выше видно почему наружу не показывают - там два манагера, один SSO, другой для динамики, и управлять ими надо через команды Поэтому это оборачивают в приятный интерфейс наподобие std::any

Ура! Редакторы заапрувили пост о C++20 https://habr.com/company/yandex/blog/413719/

Ура! Редакторы заапрувили пост о C++20 https://habr.com/company/yandex/blog/413719/

Встреча User Group планируется7

Ура! Редакторы заапрувили пост о C++20 https://habr.com/company/yandex/blog/413719/

о, наконец то

Встреча User Group планируется7

Уже была, но мы раздумываем над ещё одной. Возможно в конце лета проведём (не не факт что в Москве)

Ура! Редакторы заапрувили пост о C++20 https://habr.com/company/yandex/blog/413719/

модули будут?

модули будут?

Да, но не понятно когда

Да, но не понятно когда

Это в смысле существует мнение, что не успеют добавить в стандарт до 2020 года?

Ага

пойду выпью)

модули будут?

вообще удивительно, что это вопрос ещё никто не задал в посте :) Традиции нарушаются

ладно, вроде, за следующие лет 5 расчетное время компиляции не должно превысить полтора часа

Ура! Редакторы заапрувили пост о C++20 https://habr.com/company/yandex/blog/413719/

а есть пропозал на constexpr virtual? я как-то совсем не могу понять, что это.

а есть пропозал на constexpr virtual? я как-то совсем не могу понять, что это.

я полагаю, комбинация из constexpr и virtual

технически если бы требование constexpr наследовалось, можно было бы в vtbl писать результат вместо вызова функции

Ура! Редакторы заапрувили пост о C++20 https://habr.com/company/yandex/blog/413719/

Кстати, если вам не нравятся неконсистентные имена типов (string_view, atomic_ref), то выскажите своё недовольство по ссылке. Если будет достаточное количество голосов, постараемся все имена привести к одному виду. А что значит тут "неконсистентные"?

Уже была, но мы раздумываем над ещё одной. Возможно в конце лета проведём (не не факт что в Москве)

Давайте в Питере! WOW!

Мне не нравится спецсимвол в ключевом слове

технически если бы требование constexpr наследовалось, можно было бы в vtbl писать результат вместо вызова функции

т.е в vtbl встраивается результат вызова?

вообще удивительно, что это вопрос ещё никто не задал в посте :) Традиции нарушаются

Даже в FORTRAN-е модуле уже есть!

Кстати, если вам не нравятся неконсистентные имена типов (string_view, atomic_ref), то выскажите своё недовольство по ссылке. Если будет достаточное количество голосов, постараемся все имена привести к одному виду. А что значит тут "неконсистентные"?

вот мне не нравится, как обозвали pointer_wrapper, я до сих пор не могу запомнить название этого *_ptr

т.е в vtbl встраивается результат вызова?

т.е. вместо виртуального вызова просто чтение результата

т.е. вместо виртуального вызова просто чтение результата

спасибо

Ура! Редакторы заапрувили пост о C++20 https://habr.com/company/yandex/blog/413719/

Редакторам привет: [[ensHures ret_value: !ret_value.empty() ]] - шурочка, глянь щоб рет не пустой был

вот мне не нравится, как обозвали pointer_wrapper, я до сих пор не могу запомнить название этого *_ptr

Не нравится -- дело субъективное. А что значит НЕКОНСИСТЕНТНЫЕ?

Не нравится -- дело субъективное. А что значит НЕКОНСИСТЕНТНЫЕ?

там по ссылке же пример есть: мол, разные суффиксы

а есть пропозал на constexpr virtual? я как-то совсем не могу понять, что это.

Добавил в пост

Добавил в пост

спасибо

Редакторам привет: [[ensHures ret_value: !ret_value.empty() ]] - шурочка, глянь щоб рет не пустой был

https://translate.google.com/#en/ru/ensure

Редакторам привет: [[ensHures ret_value: !ret_value.empty() ]] - шурочка, глянь щоб рет не пустой был

fixed

ERROR: S client not available

Нужен хелп. Забыл ресурс, на котором указаны отсортированные +/- языков программирования. Кто знает?

там по ссылке же пример есть: мол, разные суффиксы

Ну, тогда я бы лучше string_ref назвал. Но проблема в том, что, как я подозреваю, string_view -- это НЕ ТОЛЬКО ССЫЛКА, но ещё и ссылка на определённые части строки. Т.е. разные суффиксы вполне оправданы.

Нужен хелп. Забыл ресурс, на котором указаны отсортированные +/- языков программирования. Кто знает?

google.com

fixed

А что FIXED-то? Там H был?

Не нравится -- дело субъективное. А что значит НЕКОНСИСТЕНТНЫЕ?

Имена типов, выступающих в качестве не владеющего класса, формируются по разным правилам. Если бы имена были бы например string_view,atomic_view,array_view - было бы консистентно

А что FIXED-то? Там H был?

ага, удалил

Ну, тогда я бы лучше string_ref назвал. Но проблема в том, что, как я подозреваю, string_view -- это НЕ ТОЛЬКО ССЫЛКА, но ещё и ссылка на определённые части строки. Т.е. разные суффиксы вполне оправданы.

это slice, но slice уже есть и назван span, поэтому string_view

Имена типов, выступающих в качестве не владеющего класса, формируются по разным правилам. Если бы имена были бы например string_view,atomic_view,array_view - было бы консистентно

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

https://godbolt.org/g/THtZVj всем привет! почему не компилируется вот это? тернарный оператор же вычисляет второй и третий операнды только в зависимости от первого.

Имена типов, выступающих в качестве не владеющего класса, формируются по разным правилам. Если бы имена были бы например string_view,atomic_view,array_view - было бы консистентно

Так что извини, Антон, я лично не будут по ссылке голосовать...

Так что извини, Антон, я лично не будут по ссылке голосовать...

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

https://godbolt.org/g/THtZVj всем привет! почему не компилируется вот это? тернарный оператор же вычисляет второй и третий операнды только в зависимости от первого.

if constexpr используй

https://godbolt.org/g/THtZVj всем привет! почему не компилируется вот это? тернарный оператор же вычисляет второй и третий операнды только в зависимости от первого.

Там, кажется, рекурсивно пытается инстанцировать шаблон

if constexpr используй

где конкретно?

где конкретно?

вместо тернарного оператора

где конкретно?

Вместо тернарного, очевидно.

блин опередил

Там, кажется, рекурсивно пытается инстанцировать шаблон

именно. но вот вопрос, зачем он это делает, когда не надо, потому что первый операнд false

именно. но вот вопрос, зачем он это делает, когда не надо, потому что первый операнд false

а почему ему это не делать? компилятор все инстанцирует, что может быть выполнено в рантайме, а тебе нужен компайлтайм, поэтому if constexpr

google.com

Ты реально смешной

именно. но вот вопрос, зачем он это делает, когда не надо, потому что первый операнд false

А тернарник вроде как сначала обе части вычисляет. Я где-то такое читал. Но это лучше спросить у гуру.

нет, он вычислят только если надо. вопрос - зачем инстанцировать, если не надо вычислять)

А тернарник вроде как сначала обе части вычисляет. Я где-то такое читал. Но это лучше спросить у гуру.

он не вычисляет, он компилирует вызов, розыгрыш которого произойдет в рантайме

Ты реально смешной

:-)

он не вычисляет, он компилирует вызов, розыгрыш которого произойдет в рантайме

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

нет, он вычислят только если надо. вопрос - зачем инстанцировать, если не надо вычислять)

медитируй compiletime vs runtime

нет, он вычислят только если надо. вопрос - зачем инстанцировать, если не надо вычислять)

Инстанциировать и вычислять -- разные вещи же. Код-то он должен сгенерировать.

нет, он вычислят только если надо. вопрос - зачем инстанцировать, если не надо вычислять)

Компилятору надо проверить, что вы написали в неактивной части выражения валиный код Даже если на этапе компиляции он знает, что эта ветка выполняться не будет - он всё равно проверит что в другой ветке что-то, что можно скомпилировать

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

По крайней мере в тернарном должы быть проверены на совместимость результирующие типы двух выражений вокруг :

да, имеет смысл, спасибо