VPF::передача вршменного объекта по некостантной ссылке

mes

Дата 29.5.2009, 21:15 (ссылка)

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

Загрузка ...

любитель

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

Репутация: 79
Всего: 250

тема возникла в результате обсуждения этой : http://forum.vingrad.ru/forum/topic-261305...tml#st_0_view_0
компилирует ли VS

Код


struct A {};

A f1 () { return A(); }
void f2 (A& a) {}

int main(void)
{
  f2(f1());  // <-- это
  f2(A()); // <-- и это

  return 0;
}

Это сообщение отредактировал(а) mes - 29.5.2009, 21:32

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

http://opendots.net

zim22

Дата 29.5.2009, 21:26 (ссылка)

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

Загрузка ...

depict1

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

Репутация: 29
Всего: 69

Код


f2(f1);  // <-- это

error C2664: 'f2' : cannot convert parameter 1 from 'A (__cdecl *)(void)' to 'A &'

всё остальное компилируется.

если заменить на

Код


f2(f1());  // <-- это

то это тоже компилируется

Это сообщение отредактировал(а) zim22 - 29.5.2009, 21:27

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

C++ FAQ Lite

azesmcar

Дата 29.5.2009, 21:29 (ссылка)

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

Загрузка ...

uploading...

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

Репутация: 52
Всего: 211

Код


f2(f1);  // <-- это? - нет, ошибка
f2(A()); // <-- и это - да компилируется

Добавлено @ 21:29
mes

Учитывая то, что вероятно должно было быть написано так

Код


f2(f1());  // <-- это
f2(A()); // <-- и это

обе строки компилируются

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

все время забываю версию с работы домой притащить

Это сообщение отредактировал(а) azesmcar - 29.5.2009, 21:31

mes

Дата 29.5.2009, 21:33 (ссылка)

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

Загрузка ...

любитель

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

Репутация: 79
Всего: 250

Цитата(azesmcar @ 29.5.2009, 20:29

)

Учитывая то, что вероятно должно было быть написано так

да, там опечатка smile

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

http://opendots.net

mes

Дата 29.5.2009, 21:55 (ссылка)

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

Загрузка ...

любитель

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

Репутация: 79
Всего: 250

Цитата(azesmcar @ 29.5.2009, 20:29

)

скиньте ссылку на разблокированнный стандарт

такой пойдет ? http://ftp.csci.csusb.edu/dick/c++std/cd2/

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

Код


A & ra = f1(); // f1() из первого примера

Это сообщение отредактировал(а) mes - 29.5.2009, 21:56

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

http://opendots.net

azesmcar

Дата 29.5.2009, 22:02 (ссылка)

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

Загрузка ...

uploading...

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

Репутация: 52
Всего: 211

Цитата

The temporary to which the reference is
bound or the temporary that is the complete object to a subobject of which the temporary is bound persists
for the lifetime of the reference except as specified below. A temporary bound to a reference member in a
constructor’s ctorinitializer
(12.6.2) persists until the constructor exits. A temporary bound to a reference
parameter in a function call (5.2.2) persists until the completion of the full expression containing the call.
A temporary bound to the returned value in a function return statement (6.6.3) persists until the function
exits. In all these cases, the temporaries created during the evaluation of the expression initializing the reference,
except the temporary to which the reference is bound, are destroyed at the end of the fullexpression
in which they are created and in the reverse order of the completion of their construction.

и такой эксперимент

Код


#include <iostream>

struct A
{
    int i_;
};

void f2 (A& a)
{
    a.i_ = 1;
}

int main(void)
{
    f2(A()); // <-- и это
    return 0;
}

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

Добавлено через 1 минуту и 39 секунд

Цитата(mes @ 29.5.2009, 21:55

)

такой пойдет ? http://ftp.csci.csusb.edu/dick/c++std/cd2/

Да

спасибо, хотя я уже не дождался и свой разблокировал smile

Цитата(mes @ 29.5.2009, 21:55

)

ну раз все компилирует, может и такое проглотит :

Да

и это тоже..

mes

Дата 29.5.2009, 22:04 (ссылка)

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

Загрузка ...

любитель

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

Репутация: 79
Всего: 250

Цитата(azesmcar @ 29.5.2009, 21:02

)

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

и такой код не является переносимым...

Добавлено @ 22:08
к тому же неизвестно, студия просто не контролирует передачу временного объекта, или все таки удлиняет его жизнь,
(надеюсь что второе) но все равно такой код потeнциально опасен.

Это сообщение отредактировал(а) mes - 29.5.2009, 22:09

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

http://opendots.net

azesmcar

Дата 29.5.2009, 22:11 (ссылка)

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

Загрузка ...

uploading...

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

Репутация: 52
Всего: 211

Цитата(mes @ 29.5.2009, 22:04

)

и такой код не является переносимым...

Абсолютно, но к сожалению непереносимым код делает далеко не только несоответствие стандарту.
Помнится в книге More Exceptional C++ Саттер писал о конструкции C++ целиком и полностью соответствующей стандарту, но компиляторов которые этот код проглотили оказалось меньшинство. Селяви smile

Добавлено @ 22:12
И в конце концов не будем забывать про

Цитата

A template defines a family of classes or functions.
template declaration:
export [opt] template < templateparameterlist> declaration

Добавлено через 4 минуты и 25 секунд
mes,

Цитата(mes @ 29.5.2009, 22:04

)

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

А это мы сейчас проверим.

Это сообщение отредактировал(а) azesmcar - 29.5.2009, 22:13

mes

Дата 29.5.2009, 22:18 (ссылка)

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

Загрузка ...

любитель

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

Репутация: 79
Всего: 250

Цитата(azesmcar @ 29.5.2009, 21:11

)

Абсолютно, но к сожалению непереносимым код делает далеко не только несоответствие стандарту.

да.. переносимость тут не при чем. Я имел ввиду под этим высказыванием немножко другое...
Что то типа этого : VS даже на таких элементарных примерах, позволяет писать ill-formed код, приучая к неправильным действиям.
т.е смысловой является последняя часть высказывания :

Код


такой код потeнциально опасен

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

http://opendots.net

azesmcar

Дата 29.5.2009, 22:18 (ссылка)

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

Загрузка ...

uploading...

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

Репутация: 52
Всего: 211

Код


f2(A());

деструктор вызывается после завершения функции f2. Он удлиняет его жизнь.

mes

Дата 29.5.2009, 22:20 (ссылка)

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

Загрузка ...

любитель

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

Репутация: 79
Всего: 250

Цитата(azesmcar @ 29.5.2009, 21:18

)

деструктор вызывается после завершения функции f2. Он удлиняет его жизнь.

в данном конкретном случае.. но нет гарантии что всегда smile

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

http://opendots.net

azesmcar

Дата 29.5.2009, 22:22 (ссылка)

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

Загрузка ...

uploading...

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

Репутация: 52
Всего: 211

Цитата(mes @ 29.5.2009, 22:18

)

VS даже на таких элементарных примерах, позволяет писать ill-formed код, приучая к неправильным действиям.

Таких примеров полно

Код


18.6.1 Class exception [lib.exception]
namespace std {
   class exception {
   public:
      exception() throw();
      exception(const exception&) throw();
      exception& operator=(const exception&) throw();
      virtual ~exception() throw();
      virtual const char* what() const throw();
   };
}

вот как описан класс exception в стандарте. И все же

Код


throw std::exception("error");

работает. Потому новичкам по моему лучше советовать писать на gcc.

Добавлено через 1 минуту и 21 секунду

Цитата(mes @ 29.5.2009, 22:20

)

в данном конкретном случае.. но нет гарантии что всегда smile

Даже если всегда - это не смягчает вину smile

Добавлено через 9 минут и 36 секунд
А это вообще интересно

Код


struct A
{
};

A* f1 () { return &A(); }

int main(void)
{
    A* p = f1(); // f1() из первого примера
        //тут деструктор для обьекта уже вызван.
}

GoldFinch

Дата 29.5.2009, 22:36 (ссылка)

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

Загрузка ...

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

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

вроде как передача манипулятора c параметрами в поток выглядит именно как

Код


class manip
{
public:
  manip(T arg_):arg(arg_){}
  some_stream& operator() (some_stream& s) { ... s<<arg;... }
private:
  T arg;
}

class some_stream
{
public:
 some_stream& operator<< (some_stream& s, manip m /*по значению*/) {return m(s);}
 ...
}

...
stream<<manip(1);

mes

Дата 29.5.2009, 22:45 (ссылка)

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

Загрузка ...

любитель

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

Репутация: 79
Всего: 250

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

Добавлено через 2 минуты и 33 секунды

Цитата(azesmcar @ 29.5.2009, 21:22

)

//тут деструктор для обьекта уже вызван.

как я понял, то студия для Т& старается обеспечивать требования уставляемые стандартом для Т const& по отношению к временному объекту.

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

http://opendots.net

azesmcar

Дата 29.5.2009, 22:52 (ссылка)

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

Загрузка ...

uploading...

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

Репутация: 52
Всего: 211

mes

Ну с указателями он вроде себя правильно ведет..а с ссылками похоже на то.

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