кто не знает как получить тип какого-то выражения выводимого (например тип v выше), то надо просто присвоить значение этого выражения чему-нибудь несовместимому, например struct {} _ = v;. В сообщении об ошибке присваивания можно прочесть тип правой части
о, я буквально недавно спрашивал о нормальном способе. придумал только делать decltype(var)::QWERTY и смотреть ошибку компиляции
Александр
Properrr
нужно запилить визуализатор JS-а.
Constantine
https://clang.llvm.org/docs/MSVCCompatibility.html#template-instantiation-and-name-lookup
чета мне кажется, что там не все гладко :)
Properrr
типа визуальное программирование...
Anatoliy
однако ж макрософт контрибьютит в клэнг, няз
Constantine
Properrr
есть API на js-е в desktop приложении. хочу визуализировать код.
думал написать интерпретатор js-а в промежуточную модель и представление этой модели в виде графов визуальных
Anatoliy
ну MSVC name lookup это буквально "ВЕСЬ name lookup выполняется в точке инстанцирования"
вот вчера давали ссылку рядом http://codeforces.com/contest/299/submission/17084249
Anatoliy
пример говорит о том, что cl.exe вообще игнорирует парсинг шаблонов, что на фоне такого расточительного name lookup абсурдно
Constantine
Anatoliy
ладно, что такое "MSVC name lookup"? К чему бы привёл он в данном примере? К тому, что выберется f(int)?
Constantine
ладно, что такое "MSVC name lookup"? К чему бы привёл он в данном примере? К тому, что выберется f(int)?
ну там же написано справа, 42 ответ, выбрана f(int)
Anatoliy
у меня справа написано xor EAX, EAX
Anatoliy
Constantine
Anatoliy
аа, совсем справа
Stanislav
ну MSVC name lookup это буквально "ВЕСЬ name lookup выполняется в точке инстанцирования"
Additionally, the MSVC implementation of the STL is fully two-phase clean (validated by /permissive- in MSVC as well as Clang’s -fno-ms-compatibility -fno-delayed-template-parsing). We’ve recently gotten ATL to be two-phase clean; if you find any lingering bugs please be sure to let us know!
Stanislav
c 15.3
Properrr
у шланга варик более логичный, имхо
Constantine
Anatoliy
если это было неспецифицированно в старых стандартах (что вряд ли), то может быть много легаси кода, который от этого зависит
Constantine
если это было неспецифицированно в старых стандартах (что вряд ли), то может быть много легаси кода, который от этого зависит
clang версия, кажется, из C++03; это холивар, но я абсолютно уверен, что в стандарт принята просто безумно плохая версия
Anatoliy
да кому это надо? вот только в boost::spirit::x3 видел использование таких тонкостей
Stanislav
Constantine
Constantine
двойной проход
я не знаю, зачем в стандарт приняли именно two-phase, спросите кого-нибудь другого
Anatoliy
вот статейка интересная http://talesofcpp.fusionfenix.com/post-8/true-story-i-will-always-find-you
Anatoliy
можно рекурсивные парсеры дефайнить благодаря two-phase name lookup
Constantine
круто
Constantine
а еще можно убить себе ногу любой перегрузкой функции
Constantine
в разных файлах
Anatoliy
а еще можно убить себе ногу любой перегрузкой функции
Тоже это на ум пришло. Разная семантика, но её и так можно получить.
Constantine
Тоже это на ум пришло. Разная семантика, но её и так можно получить.
В общем, когда на одну чашу весов предлагают култрюки, а на другую что любая перегрузка функции с параметрами, допускающими implicit cast, в разных заголовочных файлах, создает потенциальный ODR violation из-за порядка включения этих файлов, я даже не знаю, что выбрать
Constantine
напомню, что ODR violation это "программа является UB без проверок"
Anonymous
,
Anatoliy
no diagnostic required, значит слишком дорого проверять. Язык переусложнён. Чего стоит этот using std::chrono; year_month_day ymd = 2016y/May/29d; пример. Просто бред. Ради литералов встраивают DSEL в стандартную библиотеку.
Anatoliy
Я вот пожертвовал бы вполне рантаймом на парсинг строки "2016/03/29". Не жалко.
Anatoliy
Тем более её тоже compile time можно распарсить
Danil
Constantine
Constantine
И я вам могу набросать очень простые примеры, когда two-phase name lookup делает UB из достаточно безобидного кода при легкой модификации
Anatoliy
Да я верю. Может быть у них надежда на модули?
Assasin
no diagnostic required, значит слишком дорого проверять. Язык переусложнён. Чего стоит этот using std::chrono; year_month_day ymd = 2016y/May/29d; пример. Просто бред. Ради литералов встраивают DSEL в стандартную библиотеку.
Вообще согласен, я бы тоже пожертвовал подобными сахарами в пользу скорейшей доработки и внедрения в стандарт модулей.
Constantine
Ничего не меняется
Constantine
С точки зрения модулей
Assasin
меняется удобство разработки как минимум
Constantine
Нет, two phase name lookup не упрощает модули
Assasin
мне лично намного приятнее будет писать код в одном .cpp файле, а не делить на интерфейсы
Constantine
Он вообще влияет на конкретные случаи, когда name lookup выполняется в шаблонном коде, не содержащем dependent names
Assasin
а, вы не вообще имеете в виду, извиняюсь.
Constantine
Constantine
вот это просто гениально, ящетаю
🐙 Antony
твоё желание услышано https://blog.qt.io/blog/2018/02/07/qt-creator-4-6-beta-released/
The informational tooltips on symbols are now generated from information from Clang instead of the built-in model (if you enabled the Clang code model). It now resolves auto to the actual type and shows template parameters for template types.
Круто! Найду этого человека, и... проставлюсь ему!
Constantine
ни один не-шаблонный метод не сможет вызвать эту специализацию is_null для std::unique_ptr
Anatoliy
так это наоборот защита от "доопределения" получается
Anatoliy
понятно что можно хедеры в разном порядке включить и будет разное поведение. Но это в обоих случаях верно было бы
Constantine
так это наоборот защита от "доопределения" получается
https://godbolt.org/g/BMSxHd
Constantine
мусор это получается
Anatoliy
ADL сработал
Constantine
именно
Constantine
в ADL другие правила!
Александр
скажите пожалуйста, какого чёрта std::any не конструируется от move-only типов?
Anatoliy
няз ADL изобрели для операторов
Anatoliy
а это - я фз для чего
Anonymous
какое ПО установить , чтобы делать игру на directX используя си++? есть ms visualstudio 2017 и Qt creator
Anonymous
на windows 7
Constantine
скажите пожалуйста, какого чёрта std::any не конструируется от move-only типов?
в std вообще типичные проблемы с moveonly, начиная с make_vector
Александр
в std вообще типичные проблемы с moveonly, начиная с make_vector
ну сам вектор норм функционирует. просто мувать надо постоянно. но с any вообще не ясно
Constantine
ну сам вектор норм функционирует. просто мувать надо постоянно. но с any вообще не ясно
речь не про вектор, речь про initializer_list
Constantine
сам vector работает даже для не-MC типов
Anatoliy
пишут, что есть предложение исправить https://stackoverflow.com/a/27194652/1430927