Как вернуть копию объекта?

Question

[Ю Ю]

Есть такой код:

class Object
{
	private: double i,j,k = 0;
};

class ObjectContainer
{
public:
	ObjectContainer(){listOfObject << new Object();/*многораз*/}
private: 
	list<Object> listOfObject;
public: 
	Object getMeAnyObject(int i)
	{
		return listOfObject.at(i);
	}
};

/****************************************************/
int main()
{
	ObjectContainer oc;
	Object o;
	o = oc.getMeAnyObject(1);
}

Я хочу вернуть копию объекта из контейнера, а не ссылку. Верен ли мой код?

Answer 1

[jcmvbkbc]

По сути своей два вопроса будут...

Object getMeAnyObject(int i)
  {
    return listOfObject.at(i);
  }

Я хочу вернуть копию объекта из контейнера, а не ссылку. Верен ли мой код?

Верен, если вы правильно расставили теги, и это действительно C++. Правда, в этом случае здесь listOfObject << new Object(); написана какая-то ерунда.
Второго вопроса не увидел.

Comments

[Ю Ю]

Спасибо. Про второй вопрос исправлю. Хотел поспрашивать про ссылки.

Answer 2

[Армянское Радио]

За тело конструктора в объявлении конструктора надо съездить автору линейкой по пальцам. Или это C#?

int для индексов объектов - лажа, нужно использовать size_t. Учебники, в которых авторы по привычке лепят int куда ни попадя - жарить в духовке до готовности. Температура - 451 по Фаренгейту.

Object getMeAnyObject(int i) - такая же лажа, нужно определить константный и неконстантый операторы индекса [].

В целом, попытка использовать list вместо vector - лажа.

По факту - с чего вы вообще взяли, что тут будет какая-то ссылка? Делая присваивание, вы выполняете копирование.

Ах да, еще одна Лажа Петровна:

Object o;
  o = oc.getMeAnyObject(1);

Это ведь i like to move it move it! (два вызова - конструктор и присваивание) форменное. Как насчет
Object o=oc.getMeAnyObject(9000)? Это ведь даже сподвигнет компилятор на RVO и вообще выкинет одно из копирований.

Comments

[jcmvbkbc]

> int для индексов объектов - лажа, нужно использовать size_t.
а если ему не надо больше, чем покрывает int?

> В целом, попытка использовать list вместо vector - лажа.
а если он хочет возвращать адреса объектов из контейнера?

[Ю Ю]

Код я для примера нарисовал. Программу писать дольше, ради учебного вопроса:)

Мне нравиться только "нужно определить константный и неконстантый операторы индекса []"

С остальным спорно.

Интересовался, потому что после C# тяжеловато с указателями ссылками и т.п. в плюсах.
Но всё равно, спасибо за ответ.

[Don Kaban]

int - signed тип, дело в этом, а не в размере.

[Армянское Радио]

В int можно сдуру записать отрицательное число и получить переполнение. Отслеживание корректности int - два сравнения (на неотрицательность и на невыход за максимум), корректность size_t - одно сравнение.
Кроме того, будут километры предупреждений при стыковке со стандартной библиотекой.

Вторая идея с использованием списка в качестве пула объектов и использования сырых указателей на его элементы - отчасти принимается, но можно и без нее обойтись, используя гениальные указатели - ведь вектор при перемещении блока будет делать move (copy) всем элементам, следовательно, все они будут проинформированы о переезде.

[jcmvbkbc]

Don Kaban: не вижу никаких причин, почему бы индексу кастомного контейнера не быть знаковым типом.

[Don Kaban]

Не вижу не одной причины, зачем индексу контейнера надо быть знаковым типом. Тем более, стандартного контейнера, о которых и идет речь.

[jcmvbkbc]

> Не вижу не одной причины, зачем индексу контейнера надо быть знаковым типом.
Don Kaban: значит вам не нужны знаковые индексы. Моё исходное возражение -- против бездумной замены одной догмы (int) на другую (size_t).

[Армянское Радио]

jcmvbkbc: А как же ускорение в два раза теста на корректность?

[Don Kaban]

Эм. Еще раз, в stl контейнерах (о которых и идет речь) нет повода говорить по пользе знаковых индексов. И потрудитесь привести пример, пожалуйста, курсив за пруфы тут не тянет, извините :)

[jcmvbkbc]

Не факт, что в два раза. И к тому же у пользователя могут быть другие приоритеты.

[jcmvbkbc]

> Еще раз, в stl контейнерах (о которых и идет речь) нет повода говорить по пользе знаковых индексов
Don Kaban: речь идёт о class ObjectContainer, который к stl отношения не имеет.

[Don Kaban]

Приведите пример, пускай и надуманный знакового индекса.

[Армянское Радио]

Don Kaban: в качестве примера можно привести кольцевой буфер. Для него можно удумать доступ с отрицательным индексом, но фактически, это в любом случае будет взятие остатка от деления этого индекса на длину кольца. А взятие остатка (в математическом смысле, а не в сиплюсплюсном - этот поганец и отрицательные остатки может выдать) - операция, которая выдает неотрицательный результат.

[Don Kaban]

return listOfObject.at(i); Внутри класса - стандартный список, как вы видите. Итак?

[Армянское Радио]

jcmvbkbc: У него внутри сидит list из stl.

[Don Kaban]

То есть я только за. Этакое общее место "никогда не говори никогда", "случаи бывают разные", "нет серебряных пуль" и все такое. Ну, то есть вербало в основном. Это как "ВСЕГДА делайте деструкторы виртуальными". Но в данном случае достаточно простой вопрос - где именно знаковый индекс будет оправдан, расскажите?

[Армянское Радио]

Don Kaban: мой пример про кольцо выше, поглядите :-)

[jcmvbkbc]

> пример, пускай и надуманный знакового индекса
Don Kaban: предположим, кто-то делает интерпретатор паскаля на С++, а в паскале, как известно, индексы массивов могут начинаться и заканчиваться на произвольных значениях.

[Don Kaban]

Спасибо. Согласен что type pascalArray.get(int) - это пример.

[jcmvbkbc]

> используя гениальные указатели
Армянское Радио: о, прикольно, спасибо. Не знал что у этой техники есть название.

[Армянское Радио]

jcmvbkbc: не думаю, что оно очень распространено - у Элджера стянул. У него "гениальный" указатель умеет управлять не только временем жизни экземпляра, но и другими свойствами. Например, следить за переездом.

[jcmvbkbc]

Армянское Радио: да, я понял. Однако, насколько я понимаю, нельзя совместить неинтрузивные указатели с хранением объектов (а не указателей) в контейнере, который может перемещать хранимые объекты. Т.е. либо в объект должна быть встроена связь со всеми указателями на него, либо объект должен управляться только через такие указатели. В других случаях (например в нашем, когда Object -- только Object, а объекты хранятся в векторе) гениальность работать не будет.

[Армянское Радио]

jcmvbkbc: Контейнер же самопальный. Пользователь нам дает объект, мы его оборачиваем указателем и сваливаем в std::вектор. Как вариант.

[jcmvbkbc]

gbg: верно, но объекты при этом и так не будут перемещаться при реаллокации контейнером хранилища, так что можно обойтись просто вектором даже не очень умных указателей.

[Армянское Радио]

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

[jcmvbkbc]

Армянское Радио: да, верно. Спасибо.

[Армянское Радио]

jcmvbkbc: как-то так :-)

Answer 3

[Сергей]

Данный код возвращает копию объкта (был не верный ответ ссылку) .

Возвращать копию объекта не самое лучшее решение т.к. вызывающий код должен будет заботиться об его уничтожении. Лучше возвращать ссылку на константный объект если нужно, что бы вызывающий код не мог его менять.

Если желание возвращать копию пересилит то нужно реализовать копирующий конструктор (return new Object(listOfObject.at(i));) или использовать семантику перемещения.

Comments

[Ю Ю]

блин... так в o = oc.getMeAnyObject(1); будет копия объекта?? или всё же o теперь указывает на чототам в контейнере??

[jcmvbkbc]

> Данный код возвращает ссылку.
Вы ошибаетесь.

[Армянское Радио]

jcmvbkbc: +1

[Ю Ю]

>Делая присваивание, вы выполняете копирование.
Как товарищ выше сказал, объект o создался со скопированными в него полями. Так ведь?

[Сергей]

Ю Ю: Давно на С++ не писал, лажанулся - копия объекта возвращается, что бы ссылка нужно Object& getMeAnyObject(int i)

[Армянское Радио]

Сергей: Ну вернет оно ссылку, затем оператор присваивания эту ссылку съест и все равно культурненько скопирует поля в левый операнд.

[Сергей]

Армянское Радио: смотра чему результат присваивать:
ObjectContainer c = ...
Object& q = c.getMeAnyObject(0); при Object& getMeAnyObject(int i) копирования не будет

[Армянское Радио]

Так это уже другая история, с другим присваиванием.