序列下标与遍历观察器
同一排元素，四种类型；边界相同，访问能力并不相同。
绿色 = 可解引用范围 红线 = 尾后位置
对象声明
i = 0访问方式
有效下标 [0, n)首元素下标是 0，最后一个元素下标是 n−1。
begin()指向第一个元素；空序列中它与 end() 相等。
end()指向尾后位置，只作边界标记，不能解引用。
范围 for：变量究竟是谁？
选择循环变量形式，再让同一段循环体运行。轨迹会标明变量是副本、引用还是只读引用。
一次循环的观察轨迹
尚未运行。先选择变量形式，再应用循环体。
规则观察器只展示 C++ 语义，不执行任意代码，也不模拟编译器。对于未定义行为，不给出虚构结果。