为何OpenGL上下文被建模为状态机？是否更适合称为状态集？

你提到的是严格学术定义下的有限状态机（FSM），但OpenGL里的“状态机”是广义的概念，和严格FSM的特征有对应但不完全一致，下面具体解释：

关于状态转换的规则约束 #

你认为OpenGL可以自由在任意状态间跳转、无规则约束，但实际上并非如此：

• OpenGL的状态转换存在隐性的规范约束，不是所有状态切换都是合法或有效的。比如：
  • 未绑定顶点数组对象（VAO）时调用glDrawArrays会触发错误；
  • 切换纹理时必须先通过glActiveTexture激活对应纹理单元，再调用glBindTexture才能完成有效绑定；
  • 某些状态仅在特定上下文（如帧缓冲绑定状态）下修改才生效。
• 从状态机的核心逻辑看，OpenGL完全符合“当前状态 + API调用（输入）→ 新状态”的模式：每个GL调用本质就是给状态机输入一个指令，状态机根据当前状态和指令，转换到对应的新状态（或保持状态不变）。只是它的状态空间极大，没有像简单FSM那样画出明确的状态图，但规则是明确存在的。

关于输出的定义 #

你认为OpenGL不直接生成输出，但它的输出就是渲染后的像素数据：

• 严格FSM的输出可以是任意形式，并非只有文本。OpenGL更接近Mealy型状态机：最终的输出（帧缓冲中的像素）由当前的状态集合（着色器、纹理、深度测试配置等）加上输入的绘制指令（如glDraw*系列调用）共同决定。
• 比如同样调用glDrawTriangles，如果当前开启了混合模式、绑定了不同的纹理，输出的像素结果会完全不同——这就是状态机的“输出”逻辑：状态直接影响行为结果。

为什么不叫“状态集”？ #

“状态集”只是静态的状态变量集合，而“状态机”强调的是状态对行为的动态影响：
OpenGL的所有绘制操作的行为，100%由当前的状态集合决定。状态的变化会直接改变后续操作的执行结果，这种“状态驱动行为”的动态特性，是“状态机”这个称呼的核心依据，而非单纯的静态状态变量堆叠。

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