oynos的博客

原创 电子工程中“assert”和“deassert”翻译思考

有些资料将"assert"译作“断言”，而“断言”和电子工程无关。其作为专有名词出现在中文语境中时，是与数理逻辑有关的术语，将“assert”译作“断言”显然是不合理的。《现代汉语辞典》-断言①十分肯定地说：可以断言，这种办法行不通。②断定的话；结论：作出这样的断言未免过早。维基百科-断言 (程序)在程序设计中，断言（assertion）是一种放在程序中的一阶逻辑（如一个结果为真或是假的逻辑判断式），目的是为了标示与验证程序开发者预期的结果－当程序运行到断言的位置时，对应的断言应该