Guarda bene il secondo diagramma... i e b sono marcate come "in/out"...
Amaro C++, il gusto pieno dell'undefined behavior.
Regole del Forum