Время жизни переменных, не понимаю одного момента Опции

[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ед." - книжка, которую каждый уважающий себя программист на С++ должен прочитать и понять.