RelaxedUnspecConstraint

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

对于客户端：没有显式约束；约束是通过跟踪的 guards 隐式推断出的。

对于后端：该维度的尺寸至少存在两个可能的值，且这些值满足该维度的 guards。

换句话说，这个约束帮助我们区分“我们不关心这个维度是否会特化”和“这个维度必须是未特化的”。然而，这个约束对于允许什么样的特化没有太多说明；例如，如果我们对尺寸为偶数进行 guarding，这在 unspec 约束下仍然是可以接受的。这使得 RelaxedUnspecConstraint 对于 eager 模式很有用，在这种模式下，您的后端编译器可能会对原本动态的维度添加约束；我们不能断言没有 guards，因为这会很脆弱，因为编译器应该能够添加额外的约束。如果您想断言没有 guards，请使用带有无界 ValueRanges 的 StrictMinMaxConstraint。