I agree about the somewhat unexpectedness of exceptions, although it is much structured than gotos (you just go up the stack)

virtual polymorphism for example is completely unexpected, as well as function pointers and other constructs that in my opinion are harder to track than exceptions