&& et || sont des sequence points, donc c'est un des rares cas où l'ordre d'exécution est garanti. (Ceci est valable pour le C et le C++, je ne connais pas ce genre de détails pour le C#.)