Возвращение ссылки на локальный объект

@~~Bers~~ · 14.05.2012, 22:00. **Показов** 9325. **Ответов** 45

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

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

Что за бред, приписывайте, пожалуйста, в конце, что это только Ваше мнение. Хоть и бредовое.

C++

int& foo()
{
    int a;
    //: warning C4172: возвращение адреса локальной или временной переменной
    return a;  
}

Компиляторы подобный бред ловят без проблем. Технически препятствий не существует. Назови хоть одну реальную причину, по которой сие разрешено стандартом?

Комментарий модератора

Спор родился тут

@~~Bers~~ · 15.05.2012, 00:52 **[ТС]**

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

Дейтелы имеют другое мнение.

Дейтлы объясняют что такое класс памяти static?

@Toshkarik · 15.05.2012, 00:54

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

Дейтлы объясняют что такое класс памяти static?

Именно так. Глава называется "Классы памяти".

@~~Bers~~ · 15.05.2012, 01:01 **[ТС]**

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

Именно так. Глава называется классы памяти.

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

Речь же идет о том, что компиляторы прекрасно видят факт возвращения ссылки на локальный объект. Созданный на стеке (если тебе нужны такие уточнения).

Но при этом, пропускают такой код.

@castaway · 15.05.2012, 01:06

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

1. Любой промышленный компилятор сразу палит, если функция возвращает не_валидную ссылку, и выбрасывает предупреждение.

так и есть

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

//: warning C4172: возвращение адреса локальной или временной переменной

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

3. Назови хоть одну причину, по по которой может понадобиться возвращать ссылку на не_валидные данные? Зачем это может быть нужно?

Я не говорил что это может понадобиться, я сказал что это можно сделать и компилятор возвращает предупреждение на это. Все верно.

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

4. Любые ошибки времени компиляции здорово экономят время (деньги) на отладке. И уж коли для компиляторов не существует технических препятствий, то почему стандарт разрешает компиляторам пропускать заведомо не корректный код?

Еще раз... Он об этом предупреждает! Идиот тот кто пишет!

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

5. Не путай статические данные с локальными.

Никогда не путал. Прекрасно представляю в чем разница. Похоже даже лучше чем ты.

@Avazart · 15.05.2012, 01:09

+ если переменная в функции определена как static, то она является глобальной (надеюсь это знает большинство), так почему же функция не может возвращать ссылку на нее!?

Имеется ввиду что то типо этого?

C++

using namespace std;
 
int &gen(int &c) // c - чисто для проверки
 {
 static int i=0;
 c=i;
 i++;
 return i;
 }
//--------------------------------------------------
int _tmain(int argc, _TCHAR* argv[])
{
system("chcp 1251");
 
int c;
 
gen(c);
cout<<c<<endl;
gen(c);
cout<<c<<endl;
gen(c)=0; // обнуление
cout<<c<<endl;
gen(c);
cout<<c<<endl;
 
system("pause");
return 0;
}
//---------------------------------------------------------------------------

@castaway · 15.05.2012, 01:15

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

Имеется ввиду что то типо этого?

Да, что-то вроде.

@Toshkarik · 15.05.2012, 01:16

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

никакого отношения

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

@Avazart · 15.05.2012, 01:16

Да, что-то вроде.

Ну тогда это имеет смысл не смотря на то что это можно реализовать иначе что для с++ норма

@Toshkarik · 15.05.2012, 01:18

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

Да, что-то вроде.

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

@castaway · 15.05.2012, 01:22

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

Ну тогда это имеет смысл не смотря на то что это можно реализовать иначе что для с++ норма

Не понял о чем ты. Без пунктуации читать невозможно.

Добавлено через 1 минуту
Toshkarik, спасибо, кэп!

@~~Bers~~ · 15.05.2012, 01:23 **[ТС]**

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

Еще раз... Он об этом предупреждает! Идиот тот кто пишет!

Предупреждение - это уже личная забота компилятора о родимых программистах. Но это на усмотрение компилятора. А вот стандарт языка позволяет.

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

Никогда не путал. Прекрасно представляю в чем разница. Похоже даже лучше чем ты.

Ты путаешь "локальную переменную" с "локальной статической".
Локальные создаются на стеке, и имеют класс памяти auto.
Локальная статическая - в статической области памяти, и имеют класс памяти static.

Речь идет о локальных.

@Toshkarik · 15.05.2012, 01:27

Ну как я понял, народ хочет, чтоб компилятор выдавал ошибку в этом месте, и это было бы "по стандарту".

@castaway · 15.05.2012, 01:38

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

А вот стандарт языка позволяет.

Так и речь об этом. И я пытаюсь доказать что это не просто так сделано.

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

Ты путаешь "локальную переменную" с "локальной статической".
Локальные создаются на стеке, и имеют класс памяти auto.
Локальная статическая - в статической области памяти, и имеют класс памяти static.

Что ты подразумеваешь под "статической областью памяти" ?

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

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

Речь идет о локальных.

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

@Avazart · 15.05.2012, 01:39

Хорошо, а если подумать где это может пригодиться?
Может для каких нибуть низкоуровневых операций, либо просто это наследие си?

@castaway · 15.05.2012, 01:40

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

Хорошо, а если подумать где это может пригодиться?

Пригодится что? Уточняй.

@Avazart · 15.05.2012, 01:44

Народ хочит Builder?

@~~Bers~~ · 15.05.2012, 01:46 **[ТС]**

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

И я пытаюсь доказать что это не просто так сделано.

В третий раз задаю этот вопрос: для чего может быть нужно возвращать ссылку на локальный или временный объект?

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

Что ты подразумеваешь под "статической областью памяти" ?

Я писал об этом чуть выше.

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

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

Он пропускает некорректный код. Правильно он должен был бы его запретить (ошибка времени компиляции).

@Avazart · 15.05.2012, 01:46

Пригодится что? Уточняй.

Про возврат ссылки на локальную не статическую переменную

@castaway · 15.05.2012, 01:47

Билдер это мутант какой-то. В чем смысл? Давай без оффтопа.

ValeryS · 15.05.2012, 01:47

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

1. Любой промышленный компилятор сразу палит, если функция возвращает не_валидную ссылку, и выбрасывает предупреждение.

ссылка не валидная но рабочая стек чаще всего не затирается(хотя может и есть компиляторы которые затирают стек) а смешается указатель стека так что в памяти останется значение
хотя это есть грязный хак

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

3. Назови хоть одну причину, по по которой может понадобиться возвращать ссылку на не_валидные данные? Зачем это может быть нужно?

у Касперски как то была статья зачем это нужно что то связано с шифрованием программы
там еще такой пример был пишу по памяти могу ошибаться

C++

fnc1()
{
int a=5;
int b=10;
// здесь какое то выражение чтобы оптимизатор не выбросил переменные
}
fnc2()
{
int c; // =5 занимает туже память что a
int d; // =10 занимает туже память что b
}
int main()
{
fnc1();
fnc2();
}

передача параметров из функции в функцию
Бред полнейший но работает
но стоит взять другой оптимизатор может(скорее всего) и не сработать

@~~Bers~~ Заблокирован
	15.05.2012, 00:52 [ТС]	21
	Сообщение от Toshkarik Дейтелы имеют другое мнение. Дейтлы объясняют что такое класс памяти static? 0

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	15.05.2012, 01:15	26
	Сообщение от Avazart Имеется ввиду что то типо этого? Да, что-то вроде. 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	15.05.2012, 01:16	28
	Да, что-то вроде. Ну тогда это имеет смысл не смотря на то что это можно реализовать иначе что для с++ норма 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	15.05.2012, 01:18	29
	Сообщение от lazybiz Да, что-то вроде. Вам уже ответили, что возвращать ссылку на статический объект можно, ни компилятор ни стандарт "не будет против". 0

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	15.05.2012, 01:22	30
	Сообщение от Avazart Ну тогда это имеет смысл не смотря на то что это можно реализовать иначе что для с++ норма Не понял о чем ты. Без пунктуации читать невозможно. Добавлено через 1 минуту Toshkarik, спасибо, кэп! 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	15.05.2012, 00:54	22
	Сообщение от Bers Дейтлы объясняют что такое класс памяти static? Именно так. Глава называется "Классы памяти". 0

@~~Bers~~ Заблокирован
	15.05.2012, 01:01 [ТС]	23
	Сообщение от Toshkarik Именно так. Глава называется классы памяти. Тогда ты знаешь, что область видимости статической переменной не имеет никакого отношения ни к времени жизни этой переменной, ни к стеку. Речь же идет о том, что компиляторы прекрасно видят факт возвращения ссылки на локальный объект. Созданный на стеке (если тебе нужны такие уточнения). Но при этом, пропускают такой код. 0

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	15.05.2012, 01:06	24
	Сообщение от Bers 1. Любой промышленный компилятор сразу палит, если функция возвращает не_валидную ссылку, и выбрасывает предупреждение. так и есть Сообщение от Bers //: warning C4172: возвращение адреса локальной или временной переменной Сообщение от Bers 3. Назови хоть одну причину, по по которой может понадобиться возвращать ссылку на не_валидные данные? Зачем это может быть нужно? Я не говорил что это может понадобиться, я сказал что это можно сделать и компилятор возвращает предупреждение на это. Все верно. Сообщение от Bers 4. Любые ошибки времени компиляции здорово экономят время (деньги) на отладке. И уж коли для компиляторов не существует технических препятствий, то почему стандарт разрешает компиляторам пропускать заведомо не корректный код? Еще раз... Он об этом предупреждает! Идиот тот кто пишет! Сообщение от Bers 5. Не путай статические данные с локальными. Никогда не путал. Прекрасно представляю в чем разница. Похоже даже лучше чем ты. 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	15.05.2012, 01:16	27
	Сообщение от Bers никакого отношения Я и не говорил ничего подобного. Я лишь сказал, что локальная переменная на то и локальная, что к ней можно непосредственно обращаться по имени только в определенных местах, в данном случае в пределах функции, или, более широко, в пределах первых внешних фигурных скобок. 0

@~~Bers~~ Заблокирован
	15.05.2012, 01:23 [ТС]	31
	Сообщение от lazybiz Еще раз... Он об этом предупреждает! Идиот тот кто пишет! Предупреждение - это уже личная забота компилятора о родимых программистах. Но это на усмотрение компилятора. А вот стандарт языка позволяет. Сообщение от lazybiz Никогда не путал. Прекрасно представляю в чем разница. Похоже даже лучше чем ты. Ты путаешь "локальную переменную" с "локальной статической". Локальные создаются на стеке, и имеют класс памяти auto. Локальная статическая - в статической области памяти, и имеют класс памяти static. Речь идет о локальных. 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	15.05.2012, 01:27	32
	Ну как я понял, народ хочет, чтоб компилятор выдавал ошибку в этом месте, и это было бы "по стандарту". 0

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	15.05.2012, 01:38	33
	Сообщение от Bers А вот стандарт языка позволяет. Так и речь об этом. И я пытаюсь доказать что это не просто так сделано. Сообщение от Bers Ты путаешь "локальную переменную" с "локальной статической". Локальные создаются на стеке, и имеют класс памяти auto. Локальная статическая - в статической области памяти, и имеют класс памяти static. Что ты подразумеваешь под "статической областью памяти" ? Добавлено через 3 минуты Сообщение от Bers Речь идет о локальных. Если речь идет о возвращении ссылки на локальную переменную, то компилятор выдает предупреждения, что, на самом деле, правильно с его стороны. 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	15.05.2012, 01:39	34
	Хорошо, а если подумать где это может пригодиться? Может для каких нибуть низкоуровневых операций, либо просто это наследие си? 0

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	15.05.2012, 01:40	35
	Сообщение от Avazart Хорошо, а если подумать где это может пригодиться? Пригодится что? Уточняй. 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	15.05.2012, 01:44	36
	Народ хочит Builder? Миниатюры 0

@~~Bers~~ Заблокирован
	15.05.2012, 01:46 [ТС]	37
	Сообщение от lazybiz И я пытаюсь доказать что это не просто так сделано. В третий раз задаю этот вопрос: для чего может быть нужно возвращать ссылку на локальный или временный объект? Сообщение от lazybiz Что ты подразумеваешь под "статической областью памяти" ? Я писал об этом чуть выше. Сообщение от lazybiz Если речь идет о возвращении ссылки на локальную переменную, то компилятор выдает предупреждения, что, на самом деле, правильно с его стороны. Он пропускает некорректный код. Правильно он должен был бы его запретить (ошибка времени компиляции). 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	15.05.2012, 01:46	38
	Пригодится что? Уточняй. Про возврат ссылки на локальную не статическую переменную 0

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	15.05.2012, 01:47	39
	Билдер это мутант какой-то. В чем смысл? Давай без оффтопа. 0