Graphics Output Primitives

Graphics Output Primitives：把连续几何转换成离散像素覆盖，以公式、章专属交互和可重放故障证据独立重写。

学习目标

能说明Graphics Output Primitives中的“把连续几何转换成离散像素覆盖”，并指出公式中每个量的空间、单位或概率含义
能比较正常基线与“混用像素角与像素中心，或相邻线段采用不同端点规则”反例，定位覆盖像素集合、端点、八分区对称性和裁剪后连续性中的首个差异
能操作三个章专属实验，让graphics output primitive、point同时具备解释、视觉和练习证据
能修改最小实现、固定输入重放，并判断“Graphics Output Primitives的输入、公式中间量、输出与恢复结果可用同一基线复算”是否重新成立

从一个会失败的图像实验开始

Graphics Output Primitives要回答的不是“这个名词是什么”，而是：在固定输入下，如何验证“把连续几何转换成离散像素覆盖”，并让一个反例可重复地推翻错误实现？先写下预期像素、几何或估计量，再运行基线；只要覆盖像素集合、端点、八分区对称性和裁剪后连续性无法指出差异来自哪一步，图像看起来正确也不能通过。

本页的不变量是：Graphics Output Primitives的输入、公式中间量、输出与恢复结果可用同一基线复算。反例“混用像素角与像素中心，或相邻线段采用不同端点规则”只改变一个条件，因而正常、故障与恢复三次运行应能用同一输入直接比较。

原版、版次与事实来源

Graphics Output Primitives只用Pearson第4版书目与22章目录确定原书单元；未取得正文，因此不宣称复现作者表述。以下机制、公式与代码按图形学定义独立编写，OpenGL 4.6 Core规范与GLSL 4.60规范只核对现代API事实，不替代原书历史内容。

六个检查词

、、、、。这些词共同约束把连续几何转换成离散像素覆盖，每个词都必须落到公式、交互状态或可重放输出，不能只出现在术语表。

原书单元与独立机制解释

Graphics Output Primitives

graphics output primitive 是点、线和多边形等管线输入；point 提供最小离散覆盖单元。输出算法必须声明像素中心、端点包含规则和坐标取整，否则相邻图元会产生裂缝或重复覆盖。

本单元的正式坐标是graphics output primitive、point。验证Graphics Output Primitives时，先制造“混用像素角与像素中心，或相邻线段采用不同端点规则”，再检查覆盖像素集合、端点、八分区对称性和裁剪后连续性能否把错误定位到把连续几何转换成离散像素覆盖的首个分叉。

p_{pixel}=\operatorname{round}(p_{screen}-0.5)+0.5

先预测，再操作三个章专属实验

分步1 / 3

1. 概念与因果路径

在Graphics Output Primitives中选择任一正式坐标，沿机制链查看它的输入、状态变化和可推翻探针。

图形管线坐标审计

Graphics Output Primitives

把把连续几何转换成离散像素覆盖放进输入、变换、离散、外观与显示五个责任阶段。

正式概念

Graphics Output Primitives / graphics output primitive

模型/输入

定义图元、属性、数据或交互事件

探针：覆盖像素集合、端点、八分区对称性和裁剪后连续性

当前公式坐标

p_{pixel}=\operatorname{round}(p_{screen}-0.5)+0.5

原书边界：Donald Hearn、M. Pauline Baker、Warren Carithers《Computer Graphics with OpenGL》第4版。课程实验显式标注坐标和状态，不把现代API示例冒充原书正文。

最小可重现实验

plot(x0, y0);
int error = 2*dy - dx;
for (int x = x0; x < x1; ++x) {
  if (error > 0) { ++y; error -= 2*dx; }
  error += 2*dy;
  plot(x+1, y);
}

运行Graphics Output Primitives时固定随机种子、输入几何、坐标约定和数值精度；记录编译命令或算法版本、输出摘要与失败条件。实验输出若依赖隐藏全局状态，必须先消除该依赖再比较。

练习与答案

练习

问题 1：公式与边界。 怎样用一个数值样本证明 $p_{pixel}=\operatorname{round}(p_{screen}-0.5)+0.5$ 中的量没有混用空间、单位或概率密度？

问题 2：正式坐标。 graphics output primitive、point如何进入可操作验证？

graphics output primitive：在专属实验中选中该节点，保存输入与覆盖像素集合、端点、八分区对称性和裁剪后连续性，注入“混用像素角与像素中心，或相邻线段采用不同端点规则”后恢复并重放。
point：在专属实验中选中该节点，保存输入与覆盖像素集合、端点、八分区对称性和裁剪后连续性，注入“混用像素角与像素中心，或相邻线段采用不同端点规则”后恢复并重放。

问题 3：故障恢复。 如何证明“混用像素角与像素中心，或相邻线段采用不同端点规则”已经真正修复？

本章回顾

掌握Graphics Output Primitives意味着能将“把连续几何转换成离散像素覆盖”写成明确公式或算法，能操作正式坐标，能制造“混用像素角与像素中心，或相邻线段采用不同端点规则”，还能凭覆盖像素集合、端点、八分区对称性和裁剪后连续性恢复同输入结果，而不是把一段Vulkan生命周期模板换上本章标题。

名词解释

本章出现的专业名词，用大白话再讲一遍。

graphics output primitive: graphics output primitive在Graphics Output Primitives中用于把连续几何转换成离散像素覆盖；应由覆盖像素集合、端点、八分区对称性和裁剪后连续性确认，而不是只凭术语出现。
point: point在Graphics Output Primitives中用于把连续几何转换成离散像素覆盖；应由覆盖像素集合、端点、八分区对称性和裁剪后连续性确认，而不是只凭术语出现。
coordinate space: coordinate space：坐标空间声明数值当前属于模型、世界、观察、裁剪或设备阶段。
raster state: raster state：光栅状态决定覆盖、深度、混合和面剔除等离散规则。
reference image: reference image：参考图用固定输入和高质量设置提供误差比较基线。

阅读导航

← Computer Graphics Systems and Applications · Attributes of Graphics Primitives × Implementation Algorithms for Graphics Primitives and Attributes →