torch.fx.experimental.symbolic_shapes.definitely_true

torch.fx.experimental.symbolic_shapes.definitely_true(a)

仅当我们能够判断 a 为 True 时才返回 True，可能会在此过程中引入 guard。如果 a 依赖于某些未备份的 SymInt，即使可能存在 SymInt 的某个值会导致表达式返回 True，我们也可能返回 False。

何时适合使用 definitely_true？首先，如果您可以使用更高级别的组合器，请优先使用它们，它们肯定是安全的（模短路）。其次，如果程序在 definitely_true 始终返回 False 的情况下行为等效，则可以使用它。最后，即使程序行为不等效，只要更改是语义保留的，也可以接受。如果程序在比以前更多的情况下出错（但其他方面的行为相同），或者如果它以无关紧要的方式更改某些量（例如，步幅通常属于这种情况），则它可以是语义保留的。

返回类型

bool