Каков порядок уничтожения аргументов функции?

Порядок, в котором оцениваются аргументы функции, стандартом не определен. Из стандарта C++11 (онлайн-черновик):

5.2.2 Вызов функции

8 [ Примечание: Вычисления постфиксного выражения и выражений-аргументов не упорядочены друг относительно друга. Все побочные эффекты вычислений выражений аргументов упорядочиваются до входа в функцию (см. 1.9). —конец примечания ]

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

Разумная реализация уничтожила бы объекты в порядке, обратном их построению.

Мне не удалось найти ответ в стандарте, но я смог протестировать его на трех самых популярных компиляторах, совместимых с C++. Ответ R Sahu в значительной степени объясняет, что это определяется реализацией.

§5.2.2/8: вычисления постфиксного выражения и все аргументы не упорядочены друг относительно друга. Все побочные эффекты оценки аргументов упорядочиваются до входа в функцию.

Компилятор Visual Studio C++ (Windows) и gcc (Debian)
Аргументы создаются в порядке, обратном их объявлению, и уничтожаются в обратном порядке (таким образом, уничтожаются в порядке описания):

2
1
-1
-2

Clang (FreeBSD)
Аргументы создаются в порядке их объявления и уничтожаются в обратном порядке:

1
2
-2
-1

Всем компиляторам было приказано обрабатывать исходный код как C++11, и я использовал следующий фрагмент, чтобы продемонстрировать ситуацию:

struct A
{
    A(int) { std::cout << "1" << std::endl; }
    ~A() { std::cout << "-1" << std::endl; }
};

struct B
{
    B(double) { std::cout << "2" << std::endl; }
    ~B() { std::cout << "-2" << std::endl; }
};

void f(A, B) { }

int main()
{
    f(4, 5.);
}

В §5.2.2[4] N3337 довольно подробно описывает, что происходит (онлайн-черновик):

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

Так например в

f(g(h()));

возвращаемое значение из вызова h() является временным, которое будет уничтожено в конце полного выражения. Однако компилятору разрешено избегать этого временного и напрямую инициализировать своим значением параметр g(). В этом случае возвращаемое значение будет уничтожено после возврата g() (т.е. ПЕРЕД вызовом f()).

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

Два сценария:

1. Возвращаемое значение h используется для прямой инициализации параметра g. Этот объект уничтожается при возврате g и перед вызовом f.
2. h возвращаемое значение является временным. Копия создается для инициализации параметра g и уничтожается при возврате g. Вместо этого исходное временное значение уничтожается в конце полного выражения.

Я не знаю, следуют ли реализации этим правилам.