C++中||是否为有序运算符？vector越界场景执行逻辑问题

• 基础结论：C++ 中内置的||逻辑或运算符属于有序求值的短路运算符，严格遵循从左到右的执行顺序。
• 示例代码执行结果：你给出的代码在n == vector.size()的场景下不会抛出错误，原理如下：
  内置||运算符的执行规则是优先对左侧表达式求值，只要左侧表达式结果为true，就会直接返回整个运算结果为true，完全不会执行右侧表达式。你示例中n == vector.size()时，左侧n >= vector.size()的求值结果为true，右侧vector[n]的越界访问逻辑根本不会被触发，自然不会出现问题。
• 关于有序性的证明：这个示例的运行结果确实可以证明内置||运算符的有序求值特性，但要注意例外场景：如果代码中出现的是重载后的||运算符，则不具备短路求值特性，也不会严格保证从左到右的执行顺序，只有原生内置的||运算符才有该规则。

补充说明：即使没有短路特性，vector的下标[]访问越界本身属于未定义行为，不一定会抛出异常，只有调用at()方法访问越界才会明确抛出std::out_of_range异常，你的示例中因为右侧逻辑完全不执行，所以不会触发任何越界相关问题。

内容的提问来源于stack exchange，提问作者Ink