Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > время жизни временного объекта

Автор: Alek86 21.12.2007, 16:51

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

Код



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

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

)

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

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

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

Автор: bel_nikita 21.12.2007, 17:16

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

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

Автор: Alek86 21.12.2007, 17:24

спасибо

Автор: zkv 21.12.2007, 17:34

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

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

Код


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(); //те до этого места он не обязан доживать?
}

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

Автор: Alek86 21.12.2007, 17:38

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

Автор: zkv 21.12.2007, 17:39

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

)

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

Автор: bel_nikita 21.12.2007, 17:54

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

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

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

Автор: zkv 21.12.2007, 17:56

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

)

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

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

Автор: HappyLife 21.12.2007, 17:59

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

Цитата

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

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

Автор: zkv 21.12.2007, 19:57

Цитата(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

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