FBO 与后处理技术
FBO 与后处理技术：用完整FBO附件合同实现可复算的多遍后处理，以章专属交互与可重放证据独立重写。
学习目标
- 能说明“FBO 与后处理技术”中的用完整FBO附件合同实现可复算的多遍后处理，并给出对应对象、状态或概率边界
- 能用正常基线与“FBO不完整仍绘制，或把当前颜色附件同时绑定为采样输入”反例定位完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素中的首个差异
- 能操作三个章专属实验，让framebuffer、color attachment、depth attachment、post-processing具备解释、视觉和练习证据
- 能修改最小实现、固定输入重放，并判断“FBO 与后处理技术的输入、状态、输出与恢复结果可用同一证据包重放”是否恢复
从一个可推翻的运行假设开始
“FBO 与后处理技术”先固定一个问题：如何证明用完整FBO附件合同实现可复算的多遍后处理？先写下预期对象、状态或像素，再运行正常基线；若完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素不能指出第一个分叉，最终画面看起来正确也不能通过。
本页不变量是：FBO 与后处理技术的输入、状态、输出与恢复结果可用同一证据包重放。故障模式“FBO不完整仍绘制，或把当前颜色附件同时绑定为采样输入”每次只改变一个条件，正常、故障、恢复三次运行必须共享输入与版本。
来源、版本与课程边界
“FBO 与后处理技术”不是某本同名原书的翻译，也不把四套API规范拼成虚构目录。OpenGL状态与对象语义以OpenGL 4.6 Core规范核对，着色语言以GLSL 4.60规范核对，移动端与浏览器边界分别以OpenGL ES 3.2规范和WebGL 2规范核对。八个正式单元是独立课程分类。
六个检查词
在“FBO 与后处理技术”的六词核对中，↡framebuffer在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中用于用完整FBO附件合同实现可复算的多遍后处理；应由完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素确认。、↡color attachment在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中用于用完整FBO附件合同实现可复算的多遍后处理；应由完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素确认。、↡depth attachment在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中用于用完整FBO附件合同实现可复算的多遍后处理；应由完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素确认。、↡post-processing在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中用于用完整FBO附件合同实现可复算的多遍后处理；应由完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素确认。、↡状态所有权决定哪一个上下文或对象保存该值。、↡绑定把对象选为后续命令的隐式参数。。术语只有进入公式、交互状态、代码和可重放输出，才算真正覆盖。
正式单元与机制解释
Framebuffer and Post-processing
在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中，framebuffer把颜色、深度和模板attachment组成渲染目标；完整性取决于附件尺寸、样本数、格式和层级等条件。在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中，后处理先渲染到离屏颜色附件，再以纹理输入执行下一pass，必须防止读写同一子资源的反馈环。
在“FBO 与后处理技术”本页，正式坐标是framebuffer、color attachment、depth attachment、post-processing。在“FBO 与后处理技术”的反例核对中，反事实为“FBO不完整仍绘制，或把当前颜色附件同时绑定为采样输入”；应从完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素找到第一个分叉。
先预测，再操作三个章专属实验
1. 对象与执行路径
选择任一正式坐标，沿真实对象、状态、队列或像素路径查看因果关系。
OpenGL 状态所有权图
FBO 与后处理技术
把“用完整FBO附件合同实现可复算的多遍后处理”放回context、binding、object与draw的真实责任边界。
正式坐标
Framebuffer and Post-processing
framebuffer把颜色、深度和模板attachment组成渲染目标；完整性取决于附件尺寸、样本数、格式和层级等条件。后处理先渲染到离屏颜色附件，再以纹理输入执行下一pass，必须防止读写同一子资源的反馈环。
当前合同
Pass_{n+1}=Shader(Texture(Pass_n))最小可重现实验
glBindFramebuffer(GL_FRAMEBUFFER, offscreen);
assert(glCheckFramebufferStatus(GL_FRAMEBUFFER) == GL_FRAMEBUFFER_COMPLETE);
drawScene();
glBindFramebuffer(GL_FRAMEBUFFER, 0);
drawPostProcess(colorAttachment);运行“FBO 与后处理技术”时记录API/规范版本、设备或浏览器能力、固定输入、关键中间状态与输出摘要。不得用一次漂亮截图替代对象合同、验证消息、时间戳或像素差异。
练习与答案
练习
问题 1：公式边界。 在“FBO 与后处理技术”中，如何用一个可手算样本验证 ，并标明每个量属于哪一对象、stage、空间或时间点？
问题 2：正式坐标。 在“FBO 与后处理技术”中，framebuffer、color attachment、depth attachment、post-processing如何进入可操作验证？
问题 3：恢复证据。 怎样证明“FBO不完整仍绘制，或把当前颜色附件同时绑定为采样输入”已真正修复？
本章回顾
掌握“FBO 与后处理技术”意味着能把“用完整FBO附件合同实现可复算的多遍后处理”落到具体对象、状态与输出，能制造“FBO不完整仍绘制，或把当前颜色附件同时绑定为采样输入”，还能凭完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素恢复同输入结果。
名词解释
本章出现的专业名词，用大白话再讲一遍。
- framebuffer
framebuffer在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中用于用完整FBO附件合同实现可复算的多遍后处理；应由完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素确认。
- color attachment
color attachment在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中用于用完整FBO附件合同实现可复算的多遍后处理；应由完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素确认。
- depth attachment
depth attachment在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中用于用完整FBO附件合同实现可复算的多遍后处理；应由完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素确认。
- post-processing
post-processing在“FBO 与后处理技术”的“Framebuffer and Post-processing”检查中用于用完整FBO附件合同实现可复算的多遍后处理；应由完整性状态、附件尺寸/样本数、draw buffers和逐pass参考像素确认。
- state ownership
状态所有权决定哪一个上下文或对象保存该值。
- binding
绑定把对象选为后续命令的隐式参数。