Ты хочешь чтобы компилятор сломал тебе код?

Question

pro.cxx

Kelbon

Ты хочешь чтобы компилятор сломал тебе код?

#c++ #embedded #programming #russian

0

12.11.2023

16 ответов

32 просмотра

Boris Usievich

Богдан
это не будет ломать, код, компилятор будет убирать...

Компиляторы прекрасно убирают в простых случаях

0

12.11.2023

Kelbon Автор вопроса

Богдан
это не будет ломать, код, компилятор будет убирать...

в общем это уже давно существует, для этого и вынесено выделение динамической памяти на уровень языка, а атрибут который я скинул говорит компилятору, что "эта функция такая же как malloc". Но есть более хитрые случаи, когда хочется компилятору доказать, что ничего в локальном скоупе не меняется после вызова и для этого, к сожалению, ничего нет, никаких атрибутов. Вероятно это гораздо сложнее реализовать

0

12.11.2023

Богдан

Kelbon
в общем это уже давно существует, для этого и выне...

Вообще интересно конечно, в случае аллокации на стеке в той демке компилятор после инлайнинга смог проанализировать и убрать кучу промежуточных копирований и построение целого дерева и главное - он даже убрал рекурсивный проход по этому дереву Вот что мешает компилятору сделать то же самое для хип аллокаций? Почему компилятор не может трактовать такие new-аллокации (если мы пометим дополнительным аттрибутом) как те же аллокации на стеке только имеющие другие правила жизни (то есть объект не умирает после выхода из скоупа) и аналогичным образом после инлайнинга заоптимизировать в ноль все это построение и проход по дереву? Может есть фундаментальная проблема которая мешает компилятору С++ выдать такой же ассемблерный выхлоп для хип аллокаций как и для стековых аллокаций в том примере?

0

12.11.2023

Boris Usievich

Богдан
Вообще интересно конечно, в случае аллокации на ст...

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

0

12.11.2023

Богдан

Boris Usievich
Проблема не в компиляторе, проблема в вашем коде, ...

Стикер

0

12.11.2023

Kelbon Автор вопроса

для этого не нужны вариадик шаблоны, просто берёшь и пишешь

0

12.11.2023

Богдан

Kelbon
для этого не нужны вариадик шаблоны, просто берёшь...

можно пример?

0

12.11.2023

Boris Usievich

Стикер

0

12.11.2023

Kelbon Автор вопроса

Богдан
можно пример?

struct A { A* a; int i; int j; }; int main() { A { .a = new A {.i = 0, .j = 1}, .i = 2, .j = 3 }; }

0

12.11.2023

Kelbon Автор вопроса

а зачем здесь вызов функций то каких то я не понимаю

0

12.11.2023

Богдан

Kelbon
а зачем здесь вызов функций то каких то я не поним...

а как передать несколько вложенных объектов ? return new Rect{ .children = { new Rect{..}, new Rect{..}, ... } }

0

12.11.2023

Kelbon Автор вопроса

Богдан
а как передать несколько вложенных объектов ? retu...

#include <vector> struct A { std::vector<A*> a; int i; int j; }; int main() { A { .a = {new A {.i = 0, .j = 1}, new A}, .i = 2, .j = 3 }; } Также

0

12.11.2023

Богдан

Kelbon
#include <vector> struct A { std::vector<A*> a...

так это по сути и есть тот пример с хип-аллокациями в демке выше. Проблема в том что компилятор сейчас не может это заоптимизировать так же хорошо как в случае построения дерева на стеке где каждый узел будет иметь уникальный тип (а вложенные ноды будут храниться в std::tuple)

0

12.11.2023

Андрей Будиловский

Богдан
так это по сути и есть тот пример с хип-аллокациям...

Что значит заоптимизировал в данном контексте? На стеке выделил память сразу для всего и там аллоцировал?

0

12.11.2023

Богдан

Андрей Будиловский
Что значит заоптимизировал в данном контексте? На ...

посмотри как компиляторы заоптимизировали построение дерева на стеке и его последующий обход здесь https://godbolt.org/z/E9d5xTfe8

0

12.11.2023