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

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

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

только так и надо делать

нет ни одного доказательства, что эта программа с const_cast является ill formed

пока

кроме мнения рандомных людей со стек оверфлоу

нет ни одного доказательства, что эта программа с const_cast является ill formed

а мнение кого тебе надо?

а мнение кого тебе надо?

стандарта

Я с телефона, поищу и как время найду и как за нетбуком буду :) Но это не шибко быстро будет.

например

T const && x = f<T?);

очевидно корректная строка, нет?

как этот смайл интерпретировать?

и как сюда код вставлять вообще? тег есть какой-нибудь?

T const&& x = f<T>();

три раза тильда чтобы не реплейсило

ой не тильда

`

вот этот знак

ага, понял. Спасибо

писать до блока кода и после

да, код корректный

((( код (((

да понял я ?

русское название пожалуйста

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

Нашёл

Это диакритический знак, одиночный символ так же называется?

https://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%BE%D0%BF%D0%B8%D1%81%D0%BD%D1%8B%D0%B9_%D0%BE%D0%B1%D1%80%D0%B0%D1%82%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BF%D0%BE%D1%81%D1%82%D1%80%D0%BE%D1%84

ужас то какой, какие же прекрасные названия

а, этот знак называется обратный апостроф, действительно

Но, вот эта штука точно дает UB, на счет той поищу: struct S{ std::vector<S> v;};

То есть так можно просто суффиксное дерево построить :)

Но, вот эта штука точно дает UB, на счет той поищу: struct S{ std::vector<S> v;};

это к чему вообще? к какому коду?

Это просто явно вообще непонятно что

я не совсем улавливаю суть

Ну это просто пример из жизни

Хотя кстати наличие возможного mutable поля у структуры - одна из причин, почему компилятор не может ничего оптимизировать на тему const

Ну это просто пример из жизни

а в УБ онон превращается в каком коде?

Но, вот эта штука точно дает UB, на счет той поищу: struct S{ std::vector<S> v;};

Вот этот кусок кода и есть УБ

Но, вот эта штука точно дает UB, на счет той поищу: struct S{ std::vector<S> v;};

?

Это не UB

Хотя кстати наличие возможного mutable поля у структуры - одна из причин, почему компилятор не может ничего оптимизировать на тему const

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

но там есть прикол

вот такой

Вот этот кусок кода и есть УБ

а как он в УБ превратился?

Это не UB

Это стопроцентный уб

вот такой

struct Node { std::vector<Node> children; } root; void push_up(){ if (root.children.empty()) return; root = root.children[0]; //UB }

Потому что стандарт разрешает

вот это - UB

Это стопроцентный уб

а ты можешь использовать тип до его определения?

а объявление структуры - не UB

Неполные объявления типов

неполные что простите?

В структурах можно в using или в указателях

тип S полностью определен в объявлении S

хм, а в классе нет?

Но если ты используешь в stl то ет гарантии

что вы хотите мне сказать?

Что этот контейнер будет использовать данный тип как неполный

что я не могу использовать std::vector<S>?

вы шутите?

вы точно читали стандарт?

что я не могу использовать std::vector<S>?

ну он же типа внутри структуры хранит его

ERROR: S client not available

Сейчас скину

внутри структуры S

в этом весь смысл

Только пожалуйста не stack overflow

Потому что struct S : public std::vector<S> {};

Только пожалуйста не stack overflow

если там будет выдержка со стандарта - то пойдёт

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4510.html

Ну или вроде как 17.6.8.4

это пропоузал к стандарту

Да, это обсуждение с просьбой

Добавить это не как ub в будущие стандарты

Да, это обсуждение с просьбой

не-не, такое не прокатит здесь)

надо бы выдержку стандарта к этому

Тогда вот:

В стандарте нет гарантии, что std::vector может быть инстанцирован по Incomplete Type?

Да

Это обсуждается?

Это не UB

UB это если бы это содержало ошибку

Ну, а что это тогда :?

Если нужна отсыллка к стандарту, то надо смотреть вот эти главы

17.6.4.8

((( код (((

если в одну строчку то достаточно одного ` с каждой стороны, три для блока

In particular, the effects are undefined in the following cases: … if an incomplete type (3.9) is used as a template argument when instantiating a template component, unless specifically allowed for that component

http://www.drdobbs.com/the-standard-librarian-containers-of-inc/184403814

Кажется так как то :)

In particular, the effects are undefined in the following cases: … if an incomplete type (3.9) is used as a template argument when instantiating a template component, unless specifically allowed for that component

вектор разрешает такое с ним делать?

Нет

если нет, то UB

окей, вот и порешали

хм....

Если например, кстати рассмотреть вектор с имплейс аллокацией для мелких массивов... ну и бог с ним. Замечу я не сторонник холиваров. Но тут есть интересные моменты и решения. А на последний момент я лично и сам попадался - как писал, при реализации суффиксного дерева