Ámbito de una variable inicializada en la lista de parámetros de una función

El siguiente código construye, compila y ejecuta (C++, mingw) aparentemente sin ningún problema. Sin embargo, ¿estoy garantizado que los objetos construidos con listas inicializadoras dentro de la lista de parámetros de una función, viven a través del alcance de esa función, aunque la función tome el argumento por referencia?

Si no es así, es cierto que al crear un objeto usando su inicializador-lista en la lista de parámetros de una función (que toma el argumento por referencia) puede ser peligroso porque se destruirá inmediatamente: En este caso, la función no tiene una copia, sino una referencia a la memoria que puede, o no puede ser reasignada por otro proceso?

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;
}