assert 相关问题

断言是一个语句，它在计算结果为false时中止该程序。断言通常用于调试和永远不会发生的情况。

如何在C中重写assert宏？

我想创建我自己的断言版本，其中它会打印一些日志，以防在 NDEBUG 模式下调用断言。我尝试使用 LD_PRELOAD 技巧并重新定义断言宏，但似乎

c assert ld-preload ndebug

回答 5 投票 0

如何从pytest中的外部断言函数获取详细的断言错误消息？

在使用 pytest 时，我试图将断言语句从我的测试函数移到一个单独的函数中。这是一个例子： def 断言(): 断言 1 + 1 == 2, '加法错误' 断言 2 *...

python pytest assert autotest

回答 1 投票 0

XSD：断言检查同一类型的多个元素的值是否不相等

使用 XML 版本 1.1 对于游戏，我构建了一个名为“connected_condition”的复杂结构。它的代码看起来有点像这样：使用 XML 版本 1.1 对于游戏，我构建了一个名为“connected_condition”的复杂结构。它的代码看起来有点像这样： <xs:complexType name="connected_condition" mixed="true"> <xs:sequence> <xs:choice minOccurs="0" maxOccurs="3"> <xs:element name="instruction" type="command" minOccurs="0" maxOccurs="2"/> <xs:element name="condition" type="extendedConditionFunction" minOccurs="0" maxOccurs="1"/> <xs:element name="annotation" type="defined_annotation" minOccurs="0" maxOccurs="2"/> </xs:choice> </xs:sequence> <xs:attribute name="annotation" type="annotation"/> <xs:attribute name="clothes" type="clothesType"/> <xs:attribute name="extended"> <xs:simpleType> <xs:union memberTypes="extendedParameter extendedFunction"/> </xs:simpleType> </xs:attribute> <xs:attribute name="value" type="valueString"/> <xs:attribute name="lasting" type="children" use='required'/> </xs:complexType> 此结构应该调用我的 xml xsd 文件中定义的几个可能属性的一个对象。第一个属性或元素应该是稍后要检查的条件（可以是任何预定义类型）。第二个元素及其属性始终被认为是当第一个属性或元素被满足时触发的结果。一个过于简单的例子如下所示： <connected_condition lasting ='false' annotation='stand'><annotation extended='roll_twice'/></connected_condition> 在这个例子中，当玩家处于站立状态时，他也应该掷两次骰子，而不是一次。属性lasting还定义了这是否是一次性使用，或者该效果是否将持续到被取消为止。由于该结构应该检查并造成几种不同的效果，因此也可以使用类似的元素。所以像这样的结构也是有效的： <connected_condition lasting='false' annotation='stand'><annotation annotation='sit'/></connected_condition> 正如您可以想象的那样，这有可能两个元素实际上可能具有相同的属性，并且值也相同。所以可能有这样的结构：<annotation='stand'><annotation annotation='stand'/>。为了防止这种情况，我在 xsd 文件中使用了一个断言，如下所示： <xs:assert test="not (. eq (annotation/@annotation))"/> 到目前为止，这一切都完美无缺。然而，我的结构变得更加灵活，并且还应该调用给出新条件的函数（例如，为了在满足另一个条件时删除较早的状态或条件本身）。这引出了我手头的问题。当我仅使用一次类似类型的子元素时，我的断言有效。但当我使用多个子元素时，它总是失败。我想要有效的结构看起来像这样： <connected_condition lasting='true' extended='sit'><annotation annotation='roll_twice'/><annotation annotation='changeMood'/><annotation annotation='delete'/></connected_condition> 在这里，玩家再次应该掷骰子两次，这次是坐着的。这种效果应该会持续到被取消为止。然而，一旦游戏情绪发生变化（可能由其他效果或条件触发），它就应该被删除。问题是，目前这些结构一旦具有多个相同类型的元素annotation，就会在默认情况下无法通过断言检查。我如何编辑我的断言来检查，如果在具有相同类型的多个子元素的更复杂的条件结构中，这些元素的值永远不会相同，而不会在默认情况下失败？我不确定我是否完全理解了您的要求，但是... 您通常可以通过唯一性约束来做到这一点。例如，在 connected_condition 的元素声明（不是类型声明）中使用 <xs:unique selector="annotation" field="@annotation"/>。如果您不能这样做（例如，因为需要唯一的元素需要更复杂的谓词），那么您可以使用 test="count(annotation/@annotation) = count(distinct-values(annotation/@annotation))" 形式的断言。

xml xsd assert xsd-validation

回答 1 投票 0

断言在 PHP 中不起作用。很简单。我做错了什么？

php assert

回答 2 投票 0

运行Python时“-O”标志有什么用？

Python 可以在优化模式 (python -O) 下运行脚本，该模式会关闭调试、删除断言语句，并且 IIRC 它还会删除文档字符串。不过，我还没有看到它被使用过。 python -O 实际上是...

python assert assertion

回答 4 投票 0

py.test：格式化失败断言并打印自定义消息

py.test 断言文档说 ...如果您使用如下断言指定消息：断言 a % 2 == 0，“值是奇数，应该是偶数” 然后没有断言内省发生...

python assert pytest