Последовательность разрушения параметров функции

Согласно C ++ 14 [expr.call] / 4:

Время жизни параметра заканчивается, когда возвращается функция, в которой он определен.

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

Тем не менее, этот код показывает по-другому:

#include <iostream>

struct G
{
G(int): moved(0) { std::cout << "G(int)\n"; }
G(G&&): moved(1) { std::cout << "G(G&&)\n"; }
~G() { std::cout << (moved ? "~G(G&&)\n" : "~G()\n"); }

int moved;
};

struct F
{
F(int) { std::cout << "F(int)\n"; }
~F() { std::cout << "~F()\n"; }
};

int func(G gparm)
{
std::cout << "---- In func.\n";
return 0;
}int main()
{
F v { func(0) };
std::cout << "---- End of main.\n";
return 0;
}

Выход для gcc и clang, с -fno-elide-constructors, (с моими аннотациями):

G(int)               // Temporary used to copy-initialize gparm
G(G&&)               // gparm
---- In func.
F(int)               // v
~G(G&&)              // gparm
~G()                 // Temporary used to copy-initialize gparm
---- End of main.
~F()                 // v

Итак, ясно vконструктор работает раньше gparmдеструктор. Но в MSVC, gparm уничтожен раньше vконструктор работает.

Та же самая проблема может быть замечена с включенным разрешением копирования и / или с func({0}) так что параметр имеет прямую инициализацию. v всегда строится раньше gparm разрушен. Я также наблюдал проблему в более длинной цепочке, например F v = f(g(h(i(j()))); не уничтожил ни один из параметров f,g,h,i до после v был инициализирован.

Это может быть проблемой на практике, например, если ~G разблокирует ресурс и F() приобретает ресурс, это будет тупик. Или если ~G бросает, тогда выполнение должно перейти к обработчику catch без v будучи инициализированным.

У меня вопрос: разрешает ли стандарт оба этих заказа? , Есть ли более конкретное определение отношения секвенирования, связанное с уничтожением параметров, чем просто та цитата из expr.call/4, в которой не используются стандартные термины секвенирования?