関数のパラメータリストで初期化された変数のスコープ 質問する

以下のコードは、一見問題なくビルド、コンパイル、実行（C++、mingw）されます。しかし、関数が参照によって引数を取る場合でも、関数のパラメータ リスト内の初期化リストを使用して構築されたオブジェクトがその関数のスコープ内で存続することが保証されますか?

そうでない場合、関数のパラメータ リスト (引数を参照によって受け取る) で初期化リストを使用してオブジェクトを作成すると、すぐに破棄されるため危険であるというのは本当ですか。この場合、関数にはコピーはなく、別のプロセスによって再割り当てされる可能性のあるメモリへの参照があります。

struct S
{
  S() : a(0), b(0) {}
  S(int a, int b) : a(a), b(b) {}
  int a;
  int b;
};

void foo(const S& s)
{
  std::cout << "s.a = " << s.a << std::endl;
  std::cout << "s.b = " << s.b << std::endl;
}

int main()
{
  foo({4,5}); // <-- What is the scope of the struct initialized here?

  return 0;
}