Go image.Rectangle.Canon 后为什么裁剪范围仍然为空

如果 image.Rectangle.Canon() 调用后裁剪范围仍然为空，通常不是 Canon 失效，而是原矩形在某一维只有零长度，或者后续 Intersect、Inset 又把范围压空了。Canon 只交换反向的 Min/Max，不会凭空增加宽度和高度。

先把 Min、Max 和 Canon 的职责分开

Rectangle{Min: image.Pt(80, 40), Max: image.Pt(20, 10)} 是反向坐标。它的宽高分别是 20-80=-60 和 10-40=-30，所以 Empty() 会返回 true。调用 Canon 后，返回值变为左上角 (20,10)、右下角 (80,40)，这才是一个有面积的矩形。

关键细节是 Canon 的接收者是值，不是指针。下面的写法只计算了返回值，却没有保存它：

r := image.Rectangle{Min: image.Pt(80, 40), Max: image.Pt(20, 10)}
r.Canon() // 中文注释：Canon 返回规范化副本，丢弃返回值不会改变 r
fmt.Println(r.Empty()) // 中文注释：这里仍可能打印 true

r = r.Canon() // 中文注释：接住返回值，修正两个方向的坐标
fmt.Println(r, r.Dx(), r.Dy(), r.Empty()) // 中文注释：再检查边界、宽高和空矩形状态

如果你的代码已经写成 r = r.Canon()，却仍为空，就不要继续重复调用 Canon，转而检查尺寸和后续操作。

用 Dx、Dy 判断到底是哪一维没有范围

Go 的 Rectangle 是半开区间，最大坐标不属于矩形本身，因此尺寸计算就是 Max-Min。当 Min.X == Max.X 时，宽度为零；当 Min.Y == Max.Y 时，高度为零。两种情况都会让 Empty 返回 true，即使所有坐标看起来都已经“方向正确”。

func usableCrop(r image.Rectangle) (image.Rectangle, bool) {
    r = r.Canon() // 中文注释：先处理用户拖拽或计算产生的反向坐标
    if r.Dx() 

这里不要只判断 r == image.Rectangle{}。非零坐标的零宽矩形同样是空的，例如 (20,10)-(20,80)。用 Empty() 可以表达语义，用 Dx() 和 Dy() 可以告诉你具体是哪一维出了问题。

Canon 正常后，Intersect 和 Inset 仍可能让范围为空

很多“Canon 后还是空”的现场，其实 Canon 之后还有一步。比如原图范围是 (0,0)-(100,80)，请求区域是 (120,10)-(160,40)，两者没有重叠。Intersect 会返回零矩形，这是正确结果，不是坐标方向问题。

同样，Inset(n) 在 n 较大时可能把矩形某一维压到中心线。它不会因为调用了 Canon 就恢复面积。静态关系可以这样记：输入边界先经过规范化，再进入相交或内缩，最终对象必须重新经过空检查。

裁剪前的排查清单

按下面顺序检查，能快速把问题归类：

1. 打印或记录 Min、Max，确认两个轴是否反向。
2. 执行 r = r.Canon()，不要丢弃返回值。
3. 分别查看 Dx()、Dy()，确认不是零宽或零高。
4. 如果经过 Intersect 或 Inset，对新结果再次调用 Empty()。
5. 只有范围非空时才交给图像裁剪逻辑；空范围应返回明确错误或跳过本次操作。

这样处理的边界是 Rectangle 几何本身，不涉及 JPEG、PNG 或其他图像编码。编码器没问题时，传入空矩形也不会替你猜一个有效裁剪区域。

常见问题

Canon 会原地修改 Rectangle 吗？

不会。它返回一个规范化后的值，调用方应写成 r = r.Canon()。

Min 等于 Max 算不算空矩形？

算。任一维满足 Min 大于等于 Max，Empty() 就为 true。

为什么 Intersect 后坐标看起来正常却仍为空？

因为相交结果可能只有一条边或没有公共区域；重新检查 Dx()、Dy() 才能确认。