Здравствуйте, Zhendos, Вы писали:

Z>Почему код ниже превращается в ассебмлер, где каждую итерацию цикла
Z>"size" перевычисляется? Грубо говоря "foo" получает "MyVec<int> *",
Z>почему компилятор считает что "MyVec<MyVec<int>>" может из-за этого поменяться?

Мешает передача в функцию по ссылке, скорее всего, т.к. компилятор думает что снаружи вектор может поменяться. Вот так — уже не думает.