Тогда формулировка говно на cppreference

А когда переменная может быть не инизиализирована? Кажется там все правильно написано.

А когда переменная может быть не инизиализирована? Кажется там все правильно написано.

все, понял.

все, понял.

Отлично :)

Тогда формулировка говно на cppreference

очевидно что no initialization is performed относится к ручной инициализации, а дефолт инициализация это очевидно рантайм, так что нормальная формулировка

🍻

Success : Ubuntu 17.10 x86_64 on LLVM/clang-built kernel with LLVM/clang-built Nvidia 390.25 driver http://lists.llvm.org/pipermail/llvm-dev/2018-March/121810.html

очевидно что no initialization is performed относится к ручной инициализации, а дефолт инициализация это очевидно рантайм, так что нормальная формулировка

Нет, не очевидно. Так как там ссылка ведёт на default initialization

А default initialization это не про явную инициализацию точно

Нет, не очевидно. Так как там ссылка ведёт на default initialization

no initialization is performed ведет на default initialization, тоже логично

Success : Ubuntu 17.10 x86_64 on LLVM/clang-built kernel with LLVM/clang-built Nvidia 390.25 driver http://lists.llvm.org/pipermail/llvm-dev/2018-March/121810.html

будущее наступает

Нет, не очевидно. Так как там ссылка ведёт на default initialization

когда @scaredpepe пояснил, кажестя, стало очевидно.

Success : Ubuntu 17.10 x86_64 on LLVM/clang-built kernel with LLVM/clang-built Nvidia 390.25 driver http://lists.llvm.org/pipermail/llvm-dev/2018-March/121810.html

Надеюсь это подхлестнёт разработчиков GCC к поддержке ещё большего количества платформ и большему количеству оптимизаций

Надеюсь это подхлестнёт разработчиков GCC к поддержке ещё большего количества платформ и большему количеству оптимизаций

надеюсь разработчики ядра начнут тестировать на шланге

надеюсь разработчики ядра начнут тестировать на шланге

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

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

потому что результаты анализа ядра пивасом были довольно плачевные

reinterpret_cast из T1 в T2 UB при sizeof(T2) > sizeof(T1)?

reinterpret_cast не UB никогда

вот читать не тот тип UB

Ну понятно, что само по себе оно ничего не ломает потому что ни во что не компилируется.

ну поставьте нормальный вопрос

Окей, ставлю: использование результата каста выше - UB?

Whenever an attempt is made to read or modify the stored value of an object of type DynamicType through a glvalue of type AliasedType, the behavior is undefined unless one of the following is true: AliasedType and DynamicType are similar. AliasedType is the (possibly cv-qualified) signed or unsigned variant of DynamicType. AliasedType is std::byte, (since C++17)char, or unsigned char: this permits examination of the object representation of any object as an array of bytes. Informally, two types are similar if, after stripping away cv-qualifications at every level (but excluding anything inside a function type), they are the same type. For example:

http://en.cppreference.com/w/cpp/language/reinterpret_cast

Ну то есть не уб только если ты напишешь перед кастом static_assert(sizeof(aaa)==sizeof(int));

Ну или не сделаешь енум явно специфицированным классом enum class aaa : int

Ну то есть не уб только если ты напишешь перед кастом static_assert(sizeof(aaa)==sizeof(int));

?

> An expression of integral, enumeration, pointer, or pointer-to-member type can be converted to its own type. The resulting value is the same as the value of expression. (since C++11)

To its own type

там есть отдельное правило, но непонятно, зачем enum на underlying type кастить через reinterpret

Есть std::underlying_type ващет

static_cast Scoped enumeration type can be converted to an integer or floating-point type. When the target type is cv bool, the result is false if the original value is zero and true for all other values. For the remaining integral types, the result is the value of the enum if it can be represented by the target type and unspecified otherwise. (since C++11)

Any pointer to object of type T1 can be converted to pointer to object of another type cv T2. This is exactly equivalent to static_cast<cv T2*😠static_cast<cv void*😠expression)) (which implies that if T2's alignment requirement is not stricter than T1's, the value of the pointer does not change and conversion of the resulting pointer back to its original type yields the original value). In any case, the resulting pointer may only be dereferenced safely if allowed by the type aliasing rules (see below)

ого!

я не знал, что T1 -> T2 -> T1 в reinterpret_cast НЕ ГАРАНТИРУЕТСЯ если alignof(T2) > alignof(T1)

Success : Ubuntu 17.10 x86_64 on LLVM/clang-built kernel with LLVM/clang-built Nvidia 390.25 driver http://lists.llvm.org/pipermail/llvm-dev/2018-March/121810.html

гцц капец?

гцц капец?

как только у LLVM будет такая же широкая поддержка всех платформ

архитектур?

как только у LLVM будет такая же широкая поддержка всех платформ

как сказал @antoshkka, это только должно подстегнуть гцц к большим "свершениям"

архитектур?

ога

как сказал @antoshkka, это только должно подстегнуть гцц к большим "свершениям"

какие аргументы? зачем мне писать ещё одну программу, если у меня она в составе ллвм

Новая шикарная задачка для собеседований! Найдите ошибку: future​<string>​ ​concat​(const​ std::string​& ​ prefix​, future​<string>​ suffix​) { co_return ​ (prefix ​ + ​ co_await suffix​); }

префикс может удалиться?

ты знал?!

предположил

Новая шикарная задачка для собеседований! Найдите ошибку: future​<string>​ ​concat​(const​ std::string​& ​ prefix​, future​<string>​ suffix​) { co_return ​ (prefix ​ + ​ co_await suffix​); }

последнии фичи стандарта, такое реально м.б. на собеседовании?

последнии фичи стандарта, такое реально м.б. на собеседовании?

Через 10 лет, почему бы и нет

последнии фичи стандарта, такое реально м.б. на собеседовании?

Если тебя собеседует Антон

Через 10 лет, почему бы и нет

ок есть время на подготовку

последнии фичи стандарта, такое реально м.б. на собеседовании?

корутин еще нет в стандарте, так видимо собеседования только в РГ21:)

Новая шикарная задачка для собеседований! Найдите ошибку: future​<string>​ ​concat​(const​ std::string​& ​ prefix​, future​<string>​ suffix​) { co_return ​ (prefix ​ + ​ co_await suffix​); }

нечоси чо за co_return

ааа

что значит coroutines TS

Техническая спцификация по Сопрограммам. Возможность поиграться с ними до того, ка кони попадут в стандарт

где документация по этим корутинам? на cppreference нету

насколько знаю, они пока только у VS реализованы

Техническая спцификация по Сопрограммам. Возможность поиграться с ними до того, ка кони попадут в стандарт

в шланге вроде давно уже

🤔

где документация по этим корутинам? на cppreference нету

http://en.cppreference.com/w/cpp/experimental тут список

где документация по этим корутинам? на cppreference нету

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/n4723.pdf

спасибо

вот ссылка на сам тс http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/n4723.pdf

ну собственно да

https://clang.llvm.org/cxx_status.html#ts coroutines ts fully impl'd

-fcoroutines-ts

в гцц не завезли?

может и завезли, но у них сайт ебанутый, не знаю где там искать статус

погугли

по идее это самая простая фича, должны были сделать

а где можно почитать про корутины для чайников, с примерами? все статьи и доклады с цппкона что я пока находил, как-то пролетали мимо мозга не могя в нём закрепиться(

а где можно почитать про корутины для чайников, с примерами? все статьи и доклады с цппкона что я пока находил, как-то пролетали мимо мозга не могя в нём закрепиться(

надо подождать немног, фича эксперементальная, почти никто не юзает

ну вот в тс есть примеры

а где можно почитать про корутины для чайников, с примерами? все статьи и доклады с цппкона что я пока находил, как-то пролетали мимо мозга не могя в нём закрепиться(

где угодно можно почитать, в джаваскрипте, в сишарпе, любой туториал по async/await возьми и вперёд

где угодно можно почитать, в джаваскрипте, в сишарпе, любой туториал по async/await возьми и вперёд

хмм, т.е. они нормально ложатся на async/await из шарпа? мне корутины показались запутаннее, ок, освежу в памяти

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

пока изучишь как раз и доки на ТС завезут)

в многих примерах по co_* начинают писать какие-то генераторы

alex kos, ты сюда за зависимыми тпипами?

Не только)

в гцц не завезли?

Насколько я знаю, нет. https://gcc.gnu.org/ml/gcc/2018-01/msg00030.html