Оптимизируем return объекта; конструктор копирования

[Kn793]

Есть класс

class A {
public:
	int arr[10000];
};

Например нужно написать функцию

A sum(const A & arg1, const A & arg2);

Которая будет возвращать объект с просуммированным массивом(result.arr[i] = arg1.arr[i] + arg2.arr[i]; )

Можно конечно написать что-нибудь вроде

A sum(const A & arg1, const A & arg2) {
    A res;
    for (int i = 0; i << 10000; ++i)
        res.arr[i] = arg1.arr[i] + arg2.arr[i];
    return res;
}

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

Можно ли как нибудь этого избежать?
A sum(A & result, const A & arg1, const A & arg2); не предлагать вопрос скорее теоретический

[netrino]

Ну, в некоторых случаях компилятор в качестве оптимизации может не проводить копирование объекта, а оставить его в стеке, не теряя таким образом время на копирование, но на сие полагаться не стоит )
Наиболее логичным было бы реализовать копирование по записи, то бишь разделение единственного массива между множеством объектов, при этом копия будет производится только когда какой-то из объектов попытается записать что-нибудь в этот массив, избегая глубокого копирования при передаче объектов в качестве параметра/возвращения из объекта из ф-ции. Пример этого, если не ошибаюсь, был у Страуструпа в его реализации класса строки - можете поискать.

[Nick Alte]

Другим интересным способом является реализация оператора += и оператора + на его основе:

A& A::operator += (const A& op2)
{
    for (int i = 0; i << 10000; ++i)
        arr[i] += op2.arr[i];
    return *this;
}

A A::operator + (const A& op2) const
{
    A retval(*this);
    return retval += op2;
}

Тогда за счёт некоторого увеличения корявости формул можно сэкономить на временных объектах, используя += вместо +.