Объявление переменной в цикле - зло?

@Lyosha12 · Регистрация: 02.04.2016

Студворк — интернет-сервис помощи студентам

Во имя читаемости пришлось объявить и инициализировать ссылки на переменные и сами переменные в теле цикла.
Преподаватель против такой практики, но почему - внятно объяснить не может.
Находил темы с большим холиваром по этому поводу, но ясной однозначности не нашёл.

Читал, что стандарт C99 и сам C++ позволяет объявлять и инициализировать переменные в цикле.
Но что это будет значить?
Постоянная работа с запросом\освобождением памяти?
Или оптимизация компилятора путём вынесения объявления за тело цикла?
Если так, то что он сделает со ссылками? Превратит их в указатели?

Помогите глубоко разобраться в этой теме. Зло или хорошая практика?

@Folian · 22.11.2021, 22:18

Сообщение от Optimus11

my_string[4] = std::to_string(i)[0];

Эт ты чо изобразить хотел? 0_o

Сообщение от Optimus11

Если да, то почему их "ни в конем случае нельзя обвалять "заранее"" ?

Объявляются как можно ближе к месту использования.
Всякое

C++
1
2
3
int main()
{
    double a, b, c, d cound, size, clock, smoothies;

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

Сообщение от Optimus11

//То есть при создании функции - создаю указатель один раз, а не каждый раз, как вызывается функция.

Всунь в ф-ю.

С другими типами (в частности и с многими контейнерами STL) нужно уже голову включать и оценивать где и когда нужна скорость/память, т.к. выделение памяти в куче затратно.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#include <iostream>
 
struct POD
{
    double x { 15. };
    int y { 11 };
    char c { 'B' };
};
 
struct Heap
{
    int* p { nullptr };
    Heap() : p { new int } {}
    ~Heap() { if(p) delete p; }
};
 
int main()
{
    constexpr size_t n { 10 };
 
    for(size_t i { 0 }; i < n; ++i)
    {
        POD pod { 1, 2, 3 }; // OK
        Heap heap; //Not OK
        //work with pod & heap
    }
 
    { // <<<!!
        Heap heap; //maybe
        for(size_t i { 0 }; i < n; ++i)
        {
            POD pod { 1, 2, 3 }; // OK
            //work with pod & heap
        }
        //heap removed somewhere here
    } // <<<!!
 
    Heap heap; //maybe
    for(size_t i { 0 }; i < n; ++i)
    {
        POD pod { 1, 2, 3 }; // OK
        //work with pod & heap
    }
    //heap lives until the end
 
    return 0;
}

@Optimus11 · 22.11.2021, 23:00

Сообщение от Folian

Всунь в ф-ю.

Так почему всунуть то в функцию ? Я об этом и спрашиваю, разница то в чем ? Между объявлением статичной переменной один раз, и объявлением каждый раз при вызове функции.

@hoggy · 22.11.2021, 23:47

Сообщение от Optimus11

разница то в чем ? Между объявлением статичной переменной один раз, и объявлением каждый раз при вызове функции.

нет никаких "объявлений каждый раз при вызове функции".

"объявления" существуют только на уровне исходного кода.

момент вызова функции - это уже рантайм.
в рантайме весь код уже давно скомпилирован,
и никаких "объявлений" в этот момент не существует.

в рантайме речь идет о создании объектов.
тобишь: о затратах на выделение памяти под объект,
и его инициализацию (или присвоение)

ну так вот,
выделение памяти для примитивного объекта на стеке - бесплатно.
поэтому, можешь смело объявлять указатели на стеке функции,
не опасаясь, что на их создание будет затрачиваться время.

@Optimus11 · 23.11.2021, 00:24

Сообщение от hoggy

выделение памяти для примитивного объекта на стеке - бесплатно.
поэтому, можешь смело объявлять указатели на стеке функции,
не опасаясь, что на их создание будет затрачиваться время.

Спасибо.
Но, тогда, если нет разницы, то почему TheCaligrapher написал, что такие перенные ни в коем соучае нельзя обьявлять "заранее" ?

Если выделение памяти на стеке для примитивного обтекта бесплатно, то какая ращница заранее я его выделю или не заранее ?

@Folian · 23.11.2021, 00:37

Добавлено через 2 минуты
Да как вы эти картинки вставляете-то??

Добавлено через 16 секунд
О! Сама вставилась!

Добавлено через 3 минуты

Сообщение от Optimus11

Если выделение памяти на стеке для примитивного обтекта бесплатно, то какая ращница заранее я его выделю или не заранее ?

В одном случае ты минимум намусоришь, а в другом - нет.

@_Ivana · 23.11.2021, 00:38

Гифка огонь! Реквестую почаще таких!

@Folian · 23.11.2021, 01:00

Сообщение от _Ivana

Гифка огонь! Реквестую почаще таких!

Да можешь и сам поделать; мне Верёвкин инструмент подогнал - ScreenToGif называется.

@hoggy · 23.11.2021, 02:14

Сообщение от Optimus11

почему TheCaligrapher написал, что такие перенные ни в коем соучае нельзя обьявлять "заранее" ?

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

есть правило хорошего тона, которое гласит:
"объявляй переменные по месту использования".

теоретически,
следование этому правилу позволяет писать более лучший код.
однако, это вовсе не обязаловка.
если не хочешь - можешь и не следовать.

Сообщение от Optimus11

Если выделение памяти на стеке для примитивного обтекта бесплатно, то какая ращница заранее я его выделю или не заранее ?

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

ты можешь объявить локальную переменную примитивного типа где-нибудь в начале функции.
(это считается плохим тоном).

или непосредственно перед использованием.
(это считается хорошим тоном).

с технической точки зрения, разницы нет.
но с точки зрения читабельности и сопровождения,
разница заключается в том, что писать в плохом тоне,
значит провоцировать говнокод.

@_Ivana · 23.11.2021, 02:32

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

@TheCalligrapher · 23.11.2021, 07:10

Сообщение от Optimus11

Если выделение памяти на стеке для примитивного обтекта бесплатно, то какая ращница заранее я его выделю или не заранее ?

Вот это вот "платно"/"бесплатно" - это символ какое-то юной наивной чайниковости. Какая разница "платно" оно или "бесплатно" и зачем это вообще сюда приплетено? "Платно"/"бесплатно" не имеет никакого значения и никого не интересует.

Я уже не раз приводил основную причину, по которой переменные следует объявлять максимально локально: при максимально локальном объявлении переменных в объявлении практически всегда удается указать осмысленный инициализатор.

Все. Тема закрыта.

Это как в том анекдоте, про артиллерийский салют: "Адмирал, я подготовил список из 100 причин, по которой мы не выполнили артиллерийский салют в вашу честь. Номер один: у нас нет пушек..." Вот так же и здесь. Можно придумать как минимум 100 причин, по которым переменные следует объявлять максимально локально, но первой из них, которую я привел выше, уже более чем достаточно.

Если это кому-то не кажется убедительным аргументом, это говорит о том, что это вопрос maturity: до некоторых вещей нужно просто дорасти. И никакое вдалбливание не поможет, пока человек не дорастет.

@Optimus11 · 23.11.2021, 09:14