Доброго времени суток!
В процессе размышлений над новыми возможностями привнесенными в стандарт языка С++, в частности rvalue-ссылками у меня возник вот какой вопрос. Насколько я понял, rvalue-ссылки позволяют оптимизировать возвращаемое значение, т.е. вместо копирования памяти происходит перемещение объекта в памяти (из одной области в другую). До нового стандарта, насколько мне известно, данная проблема решалась через expression templates, означает ли что применяя rvalue-ссылки можно забыть об expression templates? Или я что-то неверно понимаю?
UPDATE: Уточню вопрос. Предположим у нас есть класс вида:
namespace math {
template<typename T>
class vector
{
public:
vector() : mptr(0), msize(0) {
}
vector(size_t n) : msize(n) {
mptr = new T[n];
}
vector(const vector& other) : msize(other.msize) {
if (mptr) delete[] m_ptr;
if (msize == 0) {
mptr = 0;
} else {
mptr = new T[msize];
std::copy(other.mptr, other.mptr + msize, m_ptr);
}
}
~vector() {
if (mptr)
delete[] mptr;
}
vector& operator=(const vector& other) {
msize = other.msize;
if (mptr) delete[] m_ptr;
if (msize == 0) {
mptr = 0;
} else {
mptr = new T[msize];
std::copy(other.mptr, other.mptr + msize, m_ptr);
}
}
vector& operator+=(const vector& x) {
assert(x.size() == msize)
std::transform(x.m_ptr, x.mptr+msize, mptr, std::plus<T>());
}
vector& operator-=(const vector& x) {
assert(x.size() == msize)
std::transform(x.m_ptr, x.mptr+msize, mptr, std::plus<T>());
}
// ... и так далее
private:
T* mptr;
size_t msize;
};
} // end namespace math
Теперь предположим мы хотим перегрузить бинарные операторы (+,-, и т.д.) :
template<typename T>
vector<T> operator+ (const vector<T>& x, const vector<T>& y)
{
vector<T> res(x); // временная переменная - копия x
res += y; // складываем x+y
return res; // возвращаем результат
}
Теперь мы воспользуемся нашим классом:
math::vector<double> a(1 << 18);
math::vector<double> b(1 << 18);
math::vector<double> c(1 << 18);
math::vector<double> d(1 << 18);
math::vector<double> r = a * b - c + d;
При выполнении этого кода будет создано как минимум 3 временных массива размера 2^18, в каждом операторе, которых можно избежать. Собственно это будет приводить к снижению производительности. Раньше это обходилось с помощью expression templates, которые разворачивали выражение a * b - c + d в один цикл следующим образом:
math::vector<double> r(n); for (size_t i = 0; i < n; i++) r[i] = a[i]* b[i] - c[i] + d[i];
В новом С++11 мы добавим к нашему классу конструктор перемещения и оператор перемещения (если я их правильно назвал), и объявление нашего класса поменяется следующим образом:
namespace math {
template<typename T>
class vector
{
public:
vector();
vector(size_t n);
vector(const vector&);
// Перемещающий кострктор
vector(const vector&& other);
vector& operator=(const vector&);
// Перемещающий оператор присваивания
vector& operator=(const vector&&);
// ...
};
}
Значит ли это, что теперь мы избавлены от копий и можем забыть про expression templates? Не об этом ли речь в http://www.artima.com/cppsource/rvalue.html в разделе 'Eliminating spurious copies'?
P.S. Код писал без проверки - только чтобы показать идеи, так что за ошибки не пинайте :)
Заранее спасибо за ответы!