第 6 章 Shapes
第 6 章 Shapes：让Shape求交返回稳定的参数坐标、法线、微分几何与误差界，依据PBRT 4e完整正文独立重写。
学习目标
- 能说明“第 6 章 Shapes”如何让Shape求交返回稳定的参数坐标、法线、微分几何与误差界
- 能逐项核对shape、triangle mesh、SurfaceInteraction、rounding error、bilinear patch在对象、测度、空间或执行阶段中的归属
- 能用章专属路径图与估计量实验制造“只返回命中布尔值，或用固定epsilon同时造成自相交与漏交”并找到t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu中的首个分叉
- 能修改最小实现、固定随机种子，并验证“第 6 章 Shapes的固定输入、路径状态、估计量输出和恢复结果可由同一证据包重放”
从一个像素样本开始
“第 6 章 Shapes”先固定scene hash、pixel、sample index和随机种子，再预测一条路径或一个估计量的中间状态。若t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu不能解释首个差异，即使最终图像看起来合理也不能通过。
本页不变量是：第 6 章 Shapes的固定输入、路径状态、估计量输出和恢复结果可由同一证据包重放。正常、故障、恢复三次运行共享场景、版本、采样序列与质量目标，只允许改变一个机制条件。
来源、版本与重写边界
本页依据开放在线的 PBRT 4e 官方完整正文独立重写，并用官方总目录核对章节与小节边界。正文不复刻原书段落；公式、接口名和机制结论以第4版正文与pbrt-v4官方源代码交叉检查。
第4版正式结构是16个编号章与A–C三个附录。本课程保持16个页面；最终综合页显式映射第16章和三个实现附录，不再把旧版章节顺序、Vulkan API或虚构“Rendering System”当作第4版目录。
六个检查词
在“第 6 章 Shapes”的术语核对中，↡shape在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。、↡triangle mesh在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。、↡SurfaceInteraction在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。、↡rounding error在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。、↡bilinear patch在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。。术语必须进入公式、路径状态、代码和可重放输出，不能只在目录里出现。
原版单元、机制与边界
6 Shapes
在“第 6 章 Shapes”的本单元核对中，Shape接口必须同时回答是否命中、最近参数t和完整SurfaceInteraction；几何法线、着色法线与参数导数不能混为一谈。PBRT用保守误差界偏移二次射线起点，避免自相交而不跳过邻近几何。
本单元的可推翻反例是“只返回命中布尔值，或用固定epsilon同时造成自相交与漏交”。若发生分叉，按t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu定位，而不是把差异归因于“渲染有随机性”。
官方小节覆盖
- Basic Shape Interface：在“第 6 章 Shapes”中以让Shape求交返回稳定的参数坐标、法线、微分几何与误差界的对象、测度或执行合同核对。
- Spheres, Cylinders, and Disks：在“第 6 章 Shapes”中以让Shape求交返回稳定的参数坐标、法线、微分几何与误差界的对象、测度或执行合同核对。
- Triangle Meshes：在“第 6 章 Shapes”中以让Shape求交返回稳定的参数坐标、法线、微分几何与误差界的对象、测度或执行合同核对。
- Bilinear Patches and Curves：在“第 6 章 Shapes”中以让Shape求交返回稳定的参数坐标、法线、微分几何与误差界的对象、测度或执行合同核对。
- Managing Rounding Error：在“第 6 章 Shapes”中以让Shape求交返回稳定的参数坐标、法线、微分几何与误差界的对象、测度或执行合同核对。
先预测，再操作三个章专属实验
1. 路径空间与对象归属
调整路径顶点与下一事件估计，观察本章对象如何改变throughput和贡献。
Path-space inspection
第 6 章 Shapes
让Shape求交返回稳定的参数坐标、法线、微分几何与误差界
0.4620.620观察对象：shape、triangle mesh、SurfaceInteraction、rounding error、bilinear patch
最小可重现实验
std::optional<ShapeIntersection> isect = shape.Intersect(ray, tMax);
Ray next = isect->intr.SpawnRay(wi);
CHECK_GE(Dot(next.o - isect->intr.p(), isect->intr.n), 0);运行“第 6 章 Shapes”时保存PBRT版本、场景hash、像素/样本、波长样本、关键对象状态和输出摘要。截图只能证明最终外观，不能替代路径顶点、PDF、throughput、错误界或队列身份。
练习与答案
练习
问题 1：公式边界。 在“第 6 章 Shapes”中，如何用固定小样本验证 ，并标明每个量的对象、测度、空间和时间点？
问题 2：正式坐标。 shape、triangle mesh、SurfaceInteraction、rounding error、bilinear patch怎样进入可操作验证？
问题 3：恢复证据。 怎样证明“只返回命中布尔值，或用固定epsilon同时造成自相交与漏交”已真正修复？
本章回顾
掌握“第 6 章 Shapes”意味着能把“让Shape求交返回稳定的参数坐标、法线、微分几何与误差界”落到真实PBRT对象、数学测度和执行阶段，能主动制造“只返回命中布尔值，或用固定epsilon同时造成自相交与漏交”，并凭t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu恢复同输入结果。
名词解释
本章出现的专业名词，用大白话再讲一遍。
- shape
shape在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。
- triangle mesh
triangle mesh在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。
- SurfaceInteraction
SurfaceInteraction在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。
- rounding error
rounding error在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。
- bilinear patch
bilinear patch在“第 6 章 Shapes”的“6 Shapes”中用于让Shape求交返回稳定的参数坐标、法线、微分几何与误差界；由t interval、primitive id、uv、pError、geometric normal、shading normal与dpdu核对。
阅读导航
← 第 5 章 Cameras and Film · 第 7 章 Primitives and Intersection Acceleration →