Возврат из функции указателя

[Boriska]

Код:

Привет форумчане.

Подскажите. Есть у меня функции
[code]
LPCWSTR Function1()
{
    return L"Трям";
}

Работает и возвращает в вызывающий код "Трям"
есть другая

Код:

wstring Function2()
{
    wstring s = wstring(L"Трям");
    return s;
}

Работает и возвращает в вызывающий код "Трям"
есть третья

Код:

LPCWSTR Function3()
{
    wstring s = wstring(L"Трям");
    return s.c_str();
}

ни чего не возвращает.

Вопрос: если нет new то по идее все выделятся на стеке. Почему в одном 1 и 2 случае все возращатся, а в третьем нет.
Если я делаю в третьем случае вместо локальной переменной s использую скажем глобальную переменную то все работает.
Если делаю через переменную в куче то тоже все возращает. Чего я не доганяю?
[/code]

[darkelf]

Подскажите. Есть у меня функции

Код: (C)

LPCWSTR Function1()
{
    return L"Трям";
}

Работает и возвращает в вызывающий код "Трям"

На самом деле она возвращает константу, wchar_t*, которая указывает на какую-то область памяти (скорее всего в глобальных переменных только для чтения), в которой хранится "Трям".

есть другая

Код: (C)

wstring Function2()
{
    wstring s = wstring(L"Трям");
    return s;
}

Работает и возвращает в вызывающий код "Трям"

Во втором случае, имхо, при возвращении происходит копирование объекта, и в вызывающей программе Вы пользуетесь копией s. Надеюсь люди знающие C++, если что, меня поправят.

есть третья

Код: (Text) С

LPCWSTR Function3()
{
    wstring s = wstring(L"Трям");
    return s.c_str();
}

ни чего не возвращает.

В этом случае, т.к. объект s не возвращается в вызывающую программу, происходит его освобождение при завершении Function3. В return оказывается указатель, который ссылается на уже освобождённую память. В этом случае программа имеет "неопределённое поведение" и соответственно может как ничего не возвращать, так и форматировать диск или постить во вконтакты и инстаграммы фото любимых котиков при полной луне.

[Boriska]

1.

На самом деле она возвращает константу, wchar_t*, которая указывает на какую-то область памяти (скорее всего в глобальных переменных только для чтения), в которой хранится "Трям".

Код:

         typedef wchar_t WCHAR;    // wc,   16-bit UNICODE character
         typedef __nullterminated CONST WCHAR *LPCWSTR, *PCWSTR;

т.е. wchar_t* и LPCWSTR одно и тоже только второй константный.
Но вопрос именно в какую область памяти копируется "Трям" что бы он не затирается по завершению функции?
Опять же вопрос 1 и 2 связаны, они обе куда то кладут "Трям" что он не затирается по завершению функции.
И чем тогда функция 3 отличается от 2. Она тоже куда-то кладет строку, берет указатель на нее и должна бы вернуть, но ....

[darkelf]

Но вопрос именно в какую область памяти копируется "Трям" что бы он не затирается по завершению функции?

Что-бы было понятнее Function1, на самом деле выглядит так (если перевести с языка ассембллера на C-подобный псевдокод):

Код: (C)

static LPCWSTR tryamstr = L"Трям";

LPCWSTR Function1()
{
  return tryamstr;
}

т.е. в первом случае L"Трям" никуда не копируется, а просто возвращается её адрес. Сама строка находится в секции данных, скорее всего в области доступной только для чтения.

Опять же вопрос 1 и 2 связаны, они обе куда то кладут "Трям" что он не затирается по завершению функции.

Во втором случае компилятор видит, что возвращается объект wstring и, выполняет перенос содержимого wstring s из внутреннего стека функции Fuction2, в переменную указанную в вызывающей функции. Т.е. на самом деле код выглядит примерно так:

Код: (C)

static LPCWSTR tryamstr = L"Трям";
static wstring _temp;

void Function2()
{
  wstring s = wstring(tryamstr);

  _temp = s;
  delete s;
  return ;
}

void caller(void)
{
  wstring rez;

  Function2();
  rez = _temp;

  return ;
}

На самом деле двойного копирования (из s в _temp, а потом из _temp в rez) не происходит. При возврате из функции компилятор сам правильно указывает, как скопировать переменную на стеке wstring s  в переменную вызывающей функции  wstring rez. Более точно могут сказать знатоки C++.

И чем тогда функция 3 отличается от 2. Она тоже куда-то кладет строку, берет указатель на нее и должна бы вернуть, но ....

В третьем случае код выглядит, имхо, так:

Код: (C)

static LPCWSTR tryamstr = L"Трям";

LPCWSTR Function3()
{
  wstring s = wstring(tryamstr);
  LPCWSTR _temp = s.c_str();

  delete s;
  return _temp;
}

В s хранится КОПИЯ tryamstr, а не ссылка на неё. При вызове c_str() возвращается адрес КОПИИ tryamstr, а при вызове delete s весь объект s, и копия tryamstr внутри него уничтожаются и получается, что _temp, который возвращается вызывающей функции, указывает на уже освобождённую область памяти.