Помогите понять работу кода

[Спалланцани]

http://pastebin.com/PHFqFdqp

Вот есть код.
В режиме дебаг
Вывод в окне такой.
https://gyazo.com/c285a595d893196a47f8d673c4019e41
Обратите внимания, что после какой-то операции значения переменных меняется.

Как правильно в этомслучае нажно возвращать ссылку? VS2010 sp1

[Namynnuz]

На пейстбин...

[Спалланцани]

Все рабозбрался. Но оставлю вдруг кому-то интересно.

В общем можно смело переименовывать в "Задачу для скучающего с++ прогарммиста "И пусть решают)

[Namynnuz]

Крестопроблемы

[Hibonicus]

Какой-то устаревший энтерпрайз, все давно уже перешли на раст

[Konstantin.V]

Все рабозбрался. Но оставлю вдруг кому-то интересно.

В общем можно смело переименовывать в "Задачу для скучающего с++ прогарммиста "И пусть решают)

Эээ... И щито, как ты думаешь, у тебя там было не так?

https://ideone.com/2dBT3R

Я не разбирался, чего ты хотел своим кодом достичь, но если я правильно понял проблему (что val1.x внезапно обнуляется), то после приведения твоего кода в компилябельное состояние -- не удодским Микрософтовским компиллером (нафига ты вообще пользуешься этим бажным говном ), а кошерным ГЦЦ -- он там нифига не обнуляется

- - - Добавлено - - -

(изменения ищи по тройному слешу: в начале строки -- то, что убрано; в конце -- что добвалено)

- - - Добавлено - - -

А, лол, M$-компиллер тебе там ссылку на стек запомнил, штоле? Гы. Ссылки -- одна из причин, почему критический код принято писать на чистых Сях, да

[Namynnuz]

А, лол, M$-компиллер тебе там ссылку на стек запомнил, штоле? Гы. Ссылки -- одна из причин, почему критический код принято писать на чистых Сях, да

Вот в C# вроде бы ссылки... А ничо не обнуляется

[fraps12]

чем вам вижуалка не нравится

[Спалланцани]

Эээ... И щито, как ты думаешь, у тебя там было не так?

std::make_pair(index, values[index]);

Он понимает что нужно создать шаблон типа std:air<u32, BV>(index, values[index]); потому что именно эти типы я в него и подал.

То есть проблема решается тем что писать надо было не makepair
А я хочу на выходе получить std:air<u32, BV&> то есть ссылку на БВ. В итоге он создал временный объект куда положил не ссылку на элемент массива а сам элемент. И val1.x получается ссылается на временный элемент в памяти. время жизни которого ни чем не определено когда перепишется тогда и ок.
А у меня есть смутные воспоминания что в ДЕБАГ версии сборки он автоматом обнуляет переменные а не мусор там оставляет. И по этому обнуление и идет.
В релиз версии все как у тебя в gcc все работает.

То есть ошибка в том что написали std::make_pair(index, values[index]);
А надо было в явном виде написать std:air<u32, BV&>(index, values[index]);

Смайлы это финишь.

[Konstantin.V]

чем вам вижуалка не нравится

Тем же, чем и Винда: бажная, шо песец, и везде <strike>особый русский путь</strike> особое микрософтовское видение, как всё должно быть

- - - Добавлено - - -

И val1.x получается ссылается на временный элемент в памяти. время жизни которого ни чем не определено когда перепишется тогда и ок.
А у меня есть смутные воспоминания что в ДЕБАГ версии сборки он автоматом обнуляет переменные а не мусор там оставляет. И по этому обнуление и идет.
В релиз версии все как у тебя в gcc все работает.

Время жизни на стеке прекрасно определено -- до выхода за scope, дальше перетирается по мере использования стека. Но не помню, чтобы где-то слышал, чтобы стек обнулялся. Только если при участии каких-нибудь специальных инструментаторов кода. В твоем случае я бы скорее предположил, что в дебажном варианте ссылка затирается выкладыванием параметров на стек во время вызова второго printf-а. Если я правильно помню, что участок стека отхватывается сразу на блок, а не по мере объявления переменных, то прямо вторым параметром (val2._x) и затирается. А отличие в релизе, можно предположить, вызвано инлайнами вызовов, отчего ссылка получается на локальную переменную в теле TestAll

[Спалланцани]

Время жизни на стеке прекрасно определено --

Я имею ввиду через сколько времени информация лежащая там затрется. Не верно выразился.

[Konstantin.V]

Вот в C# вроде бы ссылки... А ничо не обнуляется

Не ссылки, а указатели. Узри разницу

[Спалланцани]

А отличие в релизе, можно предположить, вызвано инлайнами вызовов, отчего ссылка получается на локальную переменную в теле TestAll

Ну да. Или оптимизатор кода выделяет память под локальные переменные не по мере их появления в коде а сразу при заход в функцию.

[Konstantin.V]

Ну да. Или оптимизатор кода выделяет память под локальные переменные не по мере их появления в коде а сразу при заход в функцию.

Ох, давненько я не брал в руки шашек. В смысле, сиплюсплюшек. Уже лет 10 скоро Но начинаю что-то смутно припоминать, что память на стеке хватается сразу по максимуму, который может понадобиться во время работы всей функции/метода (под максимальный размер одновременно живущих локальных переменных), стек-поинтер указывает на самый ее низ (стек растет вниз), а параметры для вызовов кладутся строго под него. IIRC. Ну, т.е., на интелловских архитектурах, а то вообще всякое бывает.

- - - Добавлено - - -

параметры для вызовов кладутся строго под него

Блин, а если у тебя vararg? Хмм. Вызываемая функция может сразу выйти, не разбираясь, сколько ей параметров дали. Значит, SP должен, видимо, указывать на конец занятой памяти, включая параметры... Фак, всё забыл

[Nuclear.net]

госпаде зачем с? пишите на C# там хоть понятно что написал

[Спалланцани]

госпаде зачем с? пишите на C# там хоть понятно что написал

Как в С# выделить выделнную по 32 разряда память?

[Namynnuz]

Не ссылки, а указатели. Узри разницу

Нужны указатели? Будут тебе указатели.

Как в С# выделить выделнную по 32 разряда память?

Во-первых, зачем? А во-вторых, если тебе это прямо жизненно необходимо: https://msdn.microsoft.com/en-us/library/s69bkh17.aspx

[Спалланцани]

Во-первых, зачем?

Ну SSE регистры требуют указатель именно на выравненную память.

А во-вторых, если тебе это прямо жизненно необходимо: https://msdn.microsoft.com/en-us/library/s69bkh17.aspx

Спасибо.

- - - Добавлено - - -

Namynnuz,
Это первый стандартный вопрос. Второй мой стандартный вопрос. Это а как сделать так, чтобы стандартные типы контейнеров могли хранить выравненную память. И что для этого прийдеться менять.
Третий вопрос, а как гарантировать на этапе компиляции чтобы объект который должен быть выравненным случайно не выделился не выравненным.

Вот если бы я знал ответы на все эти вопросы на c# я бы подумал. Причем я не сомневаюсь что они есть. Просто я понимаю сколько я угрохаю, чтобы это самому разобраться.

А на С++ для меня это просто и понятно.

[Namynnuz]

Ну SSE регистры требуют указатель именно на выравненную память.

Как бы... http://blogs.msdn.com/b/dotnet/archi...g-married.aspx
А ещё есть библиотеки... http://docs.yeppp.info/cs/_cpu_info_8cs-example.html

В конце концов, есть уже целые математические фреймворки на C/C++ под это дело...

[Konstantin.V]

А вообще, было бы забавно исследовать, как разные оптимизаторы обрабатывают такой случай -- случай ссылок на заведомо невалидную память. Что они считают себя в праве с такими вещами делать. Теоретически, может выясниться что-нибуть интересное. На какой-нибудь курсовик вполне может потянуть