Имеем функцию в которой обьявлены обьекты:

[ccode]
Foo f1;
Foo f2;
Foo f3;
[ccode]

Гарантирует ли стандарт, что вызов конструкторов и деструкторов будет таким же как и расположение обьявления обьектов в коде?

конструктор -> f1, f2, f3
деструктор -> f3, f2, f1

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

Tom>Имеем функцию в которой обьявлены обьекты:

Tom>

Tom>Foo f1;
Tom>Foo f2;
Tom>Foo f3;
Tom>

Tom>Гарантирует ли стандарт, что вызов конструкторов и деструкторов будет таким же как и расположение обьявления обьектов в коде?

Если порядок их вызова не важен (т.е. всегда получается один и тот же результат), может и переставить или вообще пустить одновременно на разных процессорах.

Простейший пример — вынос константы из цикла:

for (Foo f1 = 1;...)
{
   const Foo f2 = 2;
   ...
}

станет

const Foo f2 = 2;
for (Foo f1 = 1;...)
{
   ...
}

Деструкторы всегда вызываются в порядке, обратном порядку вызова конструкторов.

You will always get what you always got
  If you always do  what you always did

J>Деструкторы всегда вызываются в порядке, обратном порядку вызова конструкторов.
гм. Понятно. Но порядок конструкторов может и поменять, что приведёт к изменению порядка деструкторов, но он всё равно останется обратным порядку вызова конструкторов. Так?

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

J>>Деструкторы всегда вызываются в порядке, обратном порядку вызова конструкторов.
Tom>гм. Понятно. Но порядок конструкторов может и поменять, что приведёт к изменению порядка деструкторов, но он всё равно останется обратным порядку вызова конструкторов. Так?

так, но какая разница, если, как я говорил выше, разницы никакой быть не должно — это необходимое условие?

You will always get what you always got
  If you always do  what you always did

J>так, но какая разница, если, как я говорил выше, разницы никакой быть не должно — это необходимое условие?

Разница есть если важен порядок вызова деструкторов, а конструктор скажем тривиальный или пустой.

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

J>>Деструкторы всегда вызываются в порядке, обратном порядку вызова конструкторов.
Tom>гм. Понятно. Но порядок конструкторов может и поменять, что приведёт к изменению порядка деструкторов, но он всё равно останется обратным порядку вызова конструкторов. Так?

Порядок вызова конструкторов тот же что и порядок объявлений — порядок в списке инициализации конструктора значения не имеет. В остальных случаях вызов конструктора собственно объявлением и задаётся, за исключением временных объектов в вызове функции, для которых порядок не определён.