C++有这样一种特性：if(a&&b)中如果判断出a=false那么就会跳过判断b，a||b同理
但是，这种短路优化是得到明确规定的呢，还是不被官方规定，各编译器的优化呢？