VPF::время жизни временного объекта

Alek86

Дата 21.12.2007, 16:51 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

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

Код



class C1 {/**/};

C1 func1() {return C1();} // возвращает временный объект

void func2(const C1& c1) { // принимает константную сслыку
  //...
}

void func3(C1& c1) { // принимает неконстантную сслыку
  //...
}

int main() {

  func2(func1()); // правильно отработает?
  func3(func1()); // правильно отработает?

}

будет ли по стандарту в функциях func2 и func1 нормальный объект, а не мусор?

--------------------

Fazil6

Дата 21.12.2007, 17:14 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1653
Регистрация: 3.5.2006
Где: Минск

Репутация: 35
Всего: 60

Цитата(Alek86 @ 21.12.2007, 16:51

)

// правильно отработает?

да.
Функция func1() возвращает объект, время жизни которого составляет время выполнения функции func2

а const влияет только на то, что вызов функции func3 невозможен для не l-value аргументов и в данном случае значения не имеет

bel_nikita

Дата 21.12.2007, 17:16 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Эксперт
Сообщений: 2304
Регистрация: 12.10.2003
Где: Поезд №21/22 ( ст . Прага )

Репутация: 21
Всего: 47

все в норме, при условии что в С1 определен конструктор копий

C1 func1() {return C1();} // возвращает объект

--------------------

— регистрация доменов от 150 руб.

Alek86

Дата 21.12.2007, 17:24 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

спасибо

--------------------

zkv

Дата 21.12.2007, 17:34 (ссылка)

(нет голосов)

Загрузка ...

Профиль
Группа: Участник Клуба
Сообщений: 2133
Регистрация: 23.7.2006
Где: Санкт-Петербург

Репутация: 26
Всего: 92

Пользуясь случаем, вопрос по временным объектам.

Я считал, что такой код некорректен:

Код


class mystring
{
 std::string str;
public:
  mystring( const char *pstr )
    : str( pstr )
  {}
 
  const char *c_str()
  {
     return str.c_str();//за пределами этого выражения объект (по адресу данному c_str()) существовать уже не обязан, я прав?
   }
};

int main()
{
   mystring mstr = "1";
   std::string str= mstr.c_str(); //те до этого места он не обязан доживать?
}

а тут как-то задумался и засомневался, разрешите плиз, код выше корректен, или нет?

Это сообщение отредактировал(а) zkv - 21.12.2007, 17:34

Alek86

Дата 21.12.2007, 17:38 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1299
Регистрация: 30.1.2007
Где: Киев

Репутация: 21
Всего: 25

думаю, код некорректен, хотя для маленьких строк он будет работать (так как часто c_str() возвращает указатель на внут. данные)

--------------------

zkv

Дата 21.12.2007, 17:39 (ссылка)

(нет голосов)

Загрузка ...

Профиль
Группа: Участник Клуба
Сообщений: 2133
Регистрация: 23.7.2006
Где: Санкт-Петербург

Репутация: 26
Всего: 92

Цитата(Alek86 @ 21.12.2007, 17:38

)

нужен ответ с точки зрения стандарта, не вникая в конкретные реализации smile

bel_nikita

Дата 21.12.2007, 17:54 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Эксперт
Сообщений: 2304
Регистрация: 12.10.2003
Где: Поезд №21/22 ( ст . Прага )

Репутация: 21
Всего: 47

Цитата(zkv @ 21.12.2007, 16:39)

нужен ответ с точки зрения стандарта, не вникая в конкретные реализации smile

открой стандарт, почитай smile

--------------------

— регистрация доменов от 150 руб.

zkv

Дата 21.12.2007, 17:56 (ссылка)

(нет голосов)

Загрузка ...

Профиль
Группа: Участник Клуба
Сообщений: 2133
Регистрация: 23.7.2006
Где: Санкт-Петербург

Репутация: 26
Всего: 92

Цитата(bel_nikita @ 21.12.2007, 17:54

)

открой стандарт, почитай

спасибо, читал, но сомнения остались.

HappyLife

Дата 21.12.2007, 17:59 (ссылка)

(голосов:1)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 642
Регистрация: 17.5.2006

Репутация: 3
Всего: 8

zkv, c точки зрения Страуструпа, главы 20 пункта 2 подпункта 7

Цитата

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

Получается что код полностью корректен.

zkv

Дата 21.12.2007, 19:57 (ссылка)

(нет голосов)

Загрузка ...

Профиль
Группа: Участник Клуба
Сообщений: 2133
Регистрация: 23.7.2006
Где: Санкт-Петербург

Репутация: 26
Всего: 92

Цитата(HappyLife @ 21.12.2007, 17:59

)

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

да, откопал в стандарте (правда, насколько я понял, это рекомендация):

Цитата

const charT* c_str() const;

1 Returns: A pointer to the initial element of an array of length size() + 1 whose first size() elements
equal the corresponding elements of the string controlled by *this and whose last element is a
null character specified by charT().
2 Requires: The program shall not alter any of the values stored in the array. Nor shall the program treat the
returned value as a valid pointer value after any subsequent call to a non-const member function of the
class basic_string that designates the same object as this.

HappyLife, спасибо за наводку smile

Ulysses4j

Дата 24.12.2007, 21:25 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 304
Регистрация: 6.6.2007
Где: Ростов-на-Дону

Репутация: 4
Всего: 10

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

--------------------

Communication is critical to the job of a programmer.
C. Jazdzewski. Fatherly Advice To New Programmers

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »