andreybs,
ссылки (если угодно - автоматически разименуемые указатели) дают выигрыш только на больших структурах данных, а вот на "плоских" - нет. Просто потому, что размер этих данных (double, int, etc..) сравним с размером указателя, и тогда что передавать по ссылке, что по значению - всё равно. Для "плоских типов" передавать что-то по ссылке (точно так же, как и по указателю) нужно только в том случае, если "получатель" ссылки должен менять значения, и они должны "отражаться в оригинале" (при передаче по копии такие изменения в "источник" не вернутся). Для больших типов (вроде вектров, списков и т.д) экономия происходит за счёт избегания копирования большого количества элементов контейнера.

Вот простой пример:
int i = 10;
int ii = 1000;
int& j =i;
cout << i << endl;
j = 100;
cout << i << endl;
j = ii;
cout << i << endl;

вывод этого кода будет
10
100
1000

А вот переопределить ссылку (чтобы они сначала указывала на одну переменную, а с какого-то места - на другую) - не получится. Но вы можете для себя написать класс-обрёртку, которая будет играть эту роль. Вот только нужно ли? Похоже, что вам надо сначала сформулировать задачу, а уже потом задумываться об эффективности её решения.

[quot andreybs]BagaBagaЕсть только одно неудобство. Например, для double есть операция +=, а для bool ее нет. Поэтому перегрузку оператора += не получается включить в состав класса var<T>.

Если речь идёт о вашей обёртке, то я принципиально не вижу проблемы. Например, вот такой код


выводит


Я намеренно не использовал шаблоны, чтобы за "деревьями" не "потерять лес". Переписать это на шаблоны нет проблем. Там, конечно, нужен будет не только оператор, принимающий double (в вашем случае - тип-параметр), но и оператор, принимающий в качестве входа "такую же обёртку" (а также аналогичный конструктор), но в данном случае это суть не изменит, а строк добавит. Для особых случаев (для тех типов, для которых операция *ptr +=d не определена) вы можете сделать специализацию шаблона и задать то поведение, которое нужно в соответствии с вашей задачей (если такая операция просто недопустима, то можно породить исключение, правда, мне это кажется нелогичным - хотеть оператор для "общего" случая и не иметь понятия о желаемом его поведении).

Но я всё равно не понимаю вашей задачи (да она и не озвучена). Использование стандартного контейнера предполагает использование предоставливаемых им штатных средств. Знание того, что вектор хранит свои структуры в непрерывном "куске памяти" полезно при обеспечении совместимости с С-кодом, а вот в других случаях - это верный способ "выстрелить себе в ногу". В отличии от memset, контейнер при создании каждого элемента вызывает его конструктор, ну, и деструктор при выходе из области жизни. Простое же копирование допустимо только для "плоских" типов, что идёт в разрез со "сложными непонятно где определёнными типами".

Приведу простой пример:
создание простого массива (через new) и его последующая инициализация с memset по сравнению с vector<int>v(elem_number, 0) давало выигрыш менее 0.5%.