Время жизни переменных, не понимаю одного момента Опции Подписка на тему Сообщить другу Версия для печати Скачать тему Подписка на этот форум Режимы отображения Переключить на: Древовидный Переключить на: Стандартный Линейный

[Litkevich Yuriy]

Переменные созданные внутри функций живут пока мы невышли из фукции, так вроде.
Видел такую вещь:

int* func (foo foovar)
{
int foodim[8];
...
...
...
return foodim;
}

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

[archimed7592]

Я правильно понимаю, т.е. это косячек програмиста,

Угу, косячек.

как-то это иначе работает применительно просто к C++?

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

[Litkevich Yuriy]

Т.е. если мы делаем так:

int *pntr;
int  b;
pntr = func(foovar);
b=pntr[2];

т.е. воспользовались масивом сразу, это всегда будет давать один и тот же рузультат, тогда это наормально, я правильно понял, да?

[archimed7592]

Нет, это не гарантируется. Я тебе рассказал как это работает "в общем". Частных случаев может быть туева хуча. Грубо говоря, сегодня компилятор сделает как ты предполагал, завтра - что-нибудь где-нибудь соптимизирует и будешь вылавливать баг.

По идее нормальный компилятор должен ругнуться на такое(возвращение ссылки/указателя на локальный объект) warning'ом.

[Litkevich Yuriy]

понял, значит я не зря переписал этот кусок кода, в следующий вриант:

int (foo foovar, int *p, int cnt)
{
...
p[0]=foo1;
p[1]=foo2;
p[2]=foo3;
...
}

 // где то дальше по коду
....
const int MAX=8;
int foodim[MAX];
int  b;
func(foovar, foodim, MAX);
b=foodim[2];

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

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

А было так, что функция сама формировала масив и возвращала указатель на него.

Сообщение отредактировал Litkevich Yuriy - 2.2.2008, 17:07

[archimed7592]

Litkevich Yuriy,

А было так, что функция сама формировала масив и возвращала указатель на него.

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

[Litkevich Yuriy]

умный указатель

Много раз слышал такую фразу, но незнаю, что это такое, может прояснишь?

[archimed7592]

Самый примитивный пример, не требующий особых телодвижений аля скачивания boost:

#include <memory>

class SomeBigClass
{ /* ... */ };

std::auto_ptr< SomeBigClass > someFunc()
{
    std::auto_ptr< SomeBigClass > ptr(new SomeBigClass(/* ... */));
    // ...
    return ptr;
}

Теперь если просто вызвать эту ф-цию вот так: someFunc(); то утечки не будет т.к. деструктор auto_ptr удалит объект.

Называется это дело RAII(ru, en).

Если хочешь подробнее об умных указателях, то почитай здесь, у Мейрса, у Александреску, у Саттера.

Сообщение отредактировал archimed7592 - 2.2.2008, 20:37

[Litkevich Yuriy]

Александреску

хотел купить его книгу по шаблонам проектирования и С++, но в продаже не нашел, в инете, я так понял ожидается переиздание.

[Tonal]

А вот auto_ptr с массивом использовать не надо - убъёть!

Litkevich Yuriy Проще всего переделать код на использование vector<int>.
С ним твоя исходная функция будет выглядеть так:

vector<int> func (foo foovar)
{
  vector<int> foodim;
  ...
  return foodim;
}

А использовать её будешь так:

vector<int> pntr;
int  b;
pntr = func(foovar);
b=pntr[2];

Написано об этом очень хорошо у Страуструпа в самом начале "Язык программирования С++ 3ед." - книжка, которую каждый уважающий себя программист на С++ должен прочитать и понять.

[Andrew Selivanov]

А вот auto_ptr с массивом использовать не надо - убъёть!

Litkevich Yuriy Проще всего переделать код на использование vector<int>.
С ним твоя исходная функция будет выглядеть так:

vector<int> func (foo foovar)
{
  vector<int> foodim;
  ...
  return foodim;
}

А использовать её будешь так:

vector<int> pntr;
int  b;
pntr = func(foovar);
b=pntr[2];

Написано об этом очень хорошо у Страуструпа в самом начале "Язык программирования С++ 3ед." - книжка, которую каждый уважающий себя программист на С++ должен прочитать и понять.

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

int func(int foovar, std::vector<int>& data)
{
    if(shit_happens)
   {
      //неуспешное завершение
      return -1;
    }
    data.push_back(val1);
    data.push_back(val2);
    data.push_back(val3);
    //успешное завершение
    return 0;
}

//использование
std::vector<int> data;
int retval = func(3,data);
if(retval)
{
    //что то не так...
}

Ну и typedef не забыть если это конкретный тип, или сделать сразу шаблончик из функции

И еще вариант: можно вернуть итератор...

[Tonal]

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

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

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

Сообщение отредактировал Tonal - 5.2.2008, 8:37

[Litkevich Yuriy]

видно что размерчик ему известен

Да известен, это буфер для работы с UART'ом, собственно, некоторые функции кладут в этот буфер в определенное место свои данные, потом буфер уезжает к внешнему девайсу, максимальный размер буфера в котором ЦЕЛЫХ 28 байт (для девайса это много).

[AD]

А вот auto_ptr с массивом использовать не надо - убъёть!

Litkevich Yuriy Проще всего переделать код на использование vector<int>.
С ним твоя исходная функция будет выглядеть так:

vector<int> func (foo foovar)
{
  vector<int> foodim;
  ...
  return foodim;
}

А использовать её будешь так:

vector<int> pntr;
int  b;
pntr = func(foovar);
b=pntr[2];

Написано об этом очень хорошо у Страуструпа в самом начале "Язык программирования С++ 3ед." - книжка, которую каждый уважающий себя программист на С++ должен прочитать и понять.

Полностью согласен с данным автором. На мой взгляд, если и делать подобное, то, как указано выше. А вообще не советовал бы возвращать указатель на локальный массив. Лучше бы завести его глобально или через namespace.