休闲未指定约束 ¶

class torch.fx.experimental.symbolic_shapes.RelaxedUnspecConstraint(warn_only)

对于客户端：没有显式约束；约束由守卫从跟踪中隐式推断。

对于后端来说，在这个维度上必须存在至少两个可能的大小值，这些值满足该维度的守卫条件。

换句话说，这个约束有助于我们区分“我们不在乎这个维度是否专业化”与“这个维度必须是未专业化的”。然而，这个约束并没有说明允许什么样的专业化；例如，如果我们对大小进行偶数守卫，这在未专业化的约束下仍然是可接受的。这使得 RelaxedUnspecConstraint 在急切模式下很有用，因为你的后端编译器可能会向其他动态维度添加约束；我们不能断言没有守卫，因为这很脆弱，因为编译器应该能够添加额外的约束。如果你想断言没有守卫，请使用具有无界 ValueRanges 的 StrictMinMaxConstraint。