The vec3 Class

The vec3 Class：用一个三分量类型统一表达方向、点与线性色彩，以公式、章专属交互和可重放故障证据独立重写。

学习目标

  • 能说明The vec3 Class中的“用一个三分量类型统一表达方向、点与线性色彩”，并指出公式中每个量的空间、单位或概率含义
  • 能比较正常基线与“对零长度向量归一化，或把color误当作point3参与几何平移”反例，定位长度、点积、叉积方向和分量运算的单元样本中的首个差异
  • 能操作三个章专属实验，让vec3、point3、color同时具备解释、视觉和练习证据
  • 能修改最小实现、固定输入重放，并判断“The vec3 Class的输入、公式中间量、输出与恢复结果可用同一基线复算”是否重新成立

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

The vec3 Class要回答的不是“这个名词是什么”，而是：在固定输入下，如何验证“用一个三分量类型统一表达方向、点与线性色彩”，并让一个反例可重复地推翻错误实现？先写下预期像素、几何或估计量，再运行基线；只要长度、点积、叉积方向和分量运算的单元样本无法指出差异来自哪一步，图像看起来正确也不能通过。

本页的不变量是：The vec3 Class的输入、公式中间量、输出与恢复结果可用同一基线复算。反例“对零长度向量归一化，或把color误当作point3参与几何平移”只改变一个条件，因而正常、故障与恢复三次运行应能用同一输入直接比较。

原版、版次与事实来源

The vec3 Class以官方4.0.2全文核对实现顺序、公式与调试边界，并以官方源码仓库交叉检查可编译接口。课程示例为独立教学重写；固定版本后不把Vulkan、GPU管线或其他书的模板倒灌进这个纯C++路径追踪器。

六个检查词

、、、、、。这些词共同约束用一个三分量类型统一表达方向、点与线性色彩，每个词都必须落到公式、交互状态或可重放输出，不能只出现在术语表。

原书单元与独立机制解释

The vec3 Class

vec3 提供加减、点积、叉积和归一化；point3 与 color 是语义别名，帮助读者区分位置和辐射颜色，却不会产生新的运行时类型。验收重点是每个运算的几何含义，而不是运算符重载本身。

本单元的正式坐标是vec3、point3、color。验证The vec3 Class时，先制造“对零长度向量归一化，或把color误当作point3参与几何平移”，再检查长度、点积、叉积方向和分量运算的单元样本能否把错误定位到用一个三分量类型统一表达方向、点与线性色彩的首个分叉。

v^=vv⋅v\widehat{v}=\frac{v}{\sqrt{v\cdot v}}

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

分步1 / 3

1. 概念与因果路径

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

射线、交点与章节机制

The vec3 Class

沿一条可见射线检查用一个三分量类型统一表达方向、点与线性色彩，改变t时只移动采样点，不偷偷改变原点或方向。

正式概念坐标

射线参数 t
Q 原点P(1)P(t)=Q+td

The vec3 Class / vec3

vec3 提供加减、点积、叉积和归一化；point3 与 color 是语义别名，帮助读者区分位置和辐射颜色，却不会产生新的运行时类型。验收重点是每个运算的几何含义，而不是运算符重载本身。

可推翻探针：长度、点积、叉积方向和分量运算的单元样本

版本坐标：Peter Shirley、Trevor David Black、Steve Hollasch《Ray Tracing in One Weekend》4.0.2。实验状态只解释本章因果合同，不替代官方C++源码。

最小可重现实验

double length_squared(const vec3& v) { return dot(v, v); }
vec3 unit_vector(const vec3& v) {
  if (length_squared(v) == 0) throw std::domain_error("zero vector");
  return v / std::sqrt(length_squared(v));
}

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

练习与答案

练习

问题 1：公式与边界。 怎样用一个数值样本证明 v^=vv⋅v\widehat{v}=\frac{v}{\sqrt{v\cdot v}} 中的量没有混用空间、单位或概率密度？

问题 2：正式坐标。 vec3、point3、color如何进入可操作验证？

问题 3：故障恢复。 如何证明“对零长度向量归一化，或把color误当作point3参与几何平移”已经真正修复？

本章回顾

掌握The vec3 Class意味着能将“用一个三分量类型统一表达方向、点与线性色彩”写成明确公式或算法，能操作正式坐标，能制造“对零长度向量归一化，或把color误当作point3参与几何平移”，还能凭长度、点积、叉积方向和分量运算的单元样本恢复同输入结果，而不是把一段Vulkan生命周期模板换上本章标题。

名词解释

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

vec3

vec3在The vec3 Class中用于用一个三分量类型统一表达方向、点与线性色彩；应由长度、点积、叉积方向和分量运算的单元样本确认，而不是只凭术语出现。

point3

point3在The vec3 Class中用于用一个三分量类型统一表达方向、点与线性色彩；应由长度、点积、叉积方向和分量运算的单元样本确认，而不是只凭术语出现。

color

color在The vec3 Class中用于用一个三分量类型统一表达方向、点与线性色彩；应由长度、点积、叉积方向和分量运算的单元样本确认，而不是只凭术语出现。

ray parameter

ray parameter：射线参数决定半直线上采样点与前后顺序。

hit interval

hit interval：命中区间排除相机背后、过近或更远的候选根。

sample estimator

sample estimator：样本估计器用明确PDF和权重近似目标积分。

阅读导航

← Overview × Output an Image · Rays, a Simple Camera, and Background →

讨论

评论区加载中…