Pregunta sobre algo básico

A ver cada una de las posibilidades

struct {} s;

Define una variable s del tipo definido por struct, no define un tipo. De
esto se deriva la necesidad de usar typedef para definir un tipo.

struct S {} s;

Define una variable s, exactamente el mismo comportamiento que el caso
anterior.

typedef struct S {} s;

Define un tipo s, no una variable. Es la sintaxis mas habitual porque
funciona tanto en C como en C++ y define un tipo que es lo que habitualmente
queremos hacer.

typedef struct {} s;

Igual que el caso anterior.

struct S {...};

Solo es legal en C++ define un tipo S.

struct S {...} s;

Solo es legal en C++ define un tipo S y una variable s.

Espero que haya aclarado tus dudas...

Gracias por la info, ahora lo tengo más claro.
Según lo que me has dicho, llego a la conclusión de que todo el mundo
usa typedef struct S {...}s; debido a su portabilidad entre C y C++, y
su comodidad de uso para varias varibles del nuevo tipo defnido, no?

Por cierto, solo para confirmar, typedef struct S {...}; que es la única
que no he visto, sería igual que usar la tercera o cuarta opción, no?
De nuevo, gracias.