- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我很难选择我应该在 D 中“强制”一个条件还是“断言”一个条件。(不过,这是语言中立的。)
从理论上讲,我知道您使用断言来查找错误,并强制执行其他条件以检查非典型条件。例如。你可能会说 assert(count >= 0)
对于您的方法的参数,因为这表明调用者存在错误,并且您会说 enforce(isNetworkConnected)
,因为这不是一个错误,它只是你假设的事情,在你无法控制的合法情况下很可能不是真的。
此外,断言可以作为优化从代码中删除,没有副作用,但无法删除强制执行,因为它们必须始终执行其条件代码。因此,如果我正在实现一个惰性填充容器,该容器在第一次访问其任何方法时填充自身,我会说 enforce(!empty())
而不是 assert(!empty())
,因为检查 empty()
必须总是发生,因为它懒惰地执行里面的代码。
所以我想我知道他们应该是这个意思。但是理论比实践容易,我很难实际应用这些概念。
考虑以下:
我正在创建一个范围(类似于迭代器),它在其他两个范围内进行迭代,并添加结果。 (对于函数式程序员:我知道我可以使用 map!("a + b")
代替,但我现在忽略它,因为它没有说明问题。)所以我的伪代码如下所示:
void add(Range range1, Range range2)
{
Range result;
while (!range1.empty)
{
assert(!range2.empty); //Should this be an assertion or enforcement?
result += range1.front + range2.front;
range1.popFront();
range2.popFront();
}
}
uint getFileSize(string path)
{
HANDLE hFile = CreateFile(path, ...);
assert(hFile != INVALID_HANDLE_VALUE); //Assertion or enforcement?
return GetFileSize(hFile); //and close the handle, obviously
}
...
最佳答案
我不确定它是否完全与语言无关。我使用的任何语言都没有 enforce()
,如果我遇到了,那么我想使用 assert
和 enforce
以它们预期的方式,这可能是该语言的惯用方式。
例如 assert
在 C 或 C++ 中,当程序失败时停止程序,它不会抛出异常,因此它的用法可能与您所说的不一样。你不使用 assert
在 C++ 中,除非您认为调用者已经犯了一个严重到不能依靠他们来清理的错误(例如传入一个负数),或者其他地方的一些其他代码犯了一个非常严重的错误,以至于程序应被视为处于未定义状态(例如,您的数据结构似乎已损坏)。不过,C++ 确实区分了运行时错误和逻辑错误,它们可能大致对应,但我认为主要是关于可避免和不可避免的错误。
在add
的情况下如果作者的意图是提供不匹配列表的程序存在错误并需要修复,或者运行时异常只是可能发生的事情之一,那么您将使用逻辑错误。例如,如果您的函数要处理任意生成器,而不必报告它们的长度而不是破坏性地评估整个序列,则您更有可能将其视为不可避免的错误情况。
将其称为逻辑错误意味着调用者有责任在调用 add
之前检查长度。 ,如果他们不能通过纯粹的理由来确保它。所以他们不会在没有首先明确检查长度的情况下传递来自用户的列表,老实说,他们应该认为自己很幸运,他们甚至遇到了异常而不是未定义的行为。
将其称为运行时错误表示传入不同长度的列表是“合理的”(如果异常),但异常表明它发生在这种情况下。因此,我认为是强制执行而不是断言。
在filesize
的情况下:对于文件的存在,如果可能,您应该将其视为潜在的可恢复故障(强制执行),而不是错误(断言)。原因很简单,调用者无法确定某个文件是否存在——在检查是否存在和调用filesize
.因此,当它不存在时,它不一定是调用代码中的逻辑缺陷(尽管最终用户可能已经将自己射中了自己的脚)。由于这个事实,很可能会有调用者将其视为发生的事情之一,这是一种不可避免的错误情况。创建文件句柄也可能因内存不足而失败,这是大多数系统上另一个不可避免的错误,尽管如果启用了过度提交,则不一定是可恢复的错误。
另一个需要考虑的例子是 operator[]
对比 at()
对于 C++ 的向量。 at()
抛出 out_of_range
, 一个逻辑错误,不是因为调用者可能想要恢复是不可想象的,或者因为你必须是某种 NumPy 才能犯使用 at()
访问超出范围的数组的错误,但是因为如果调用者希望错误是完全可以避免的 - 您可以随时检查 size()
如果您没有其他方法知道您的索引是否良好,则在访问之前。等等 operator[]
根本不保证任何检查,并且以效率的名义,超出范围的访问具有未定义的行为。
关于language-agnostic - 断言()与强制(): Which to choose?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5120364/
在嵌入式系统编程的上下文中是否存在普遍差异? 最佳答案 这些不是正式的术语,所以这是相当主观的。 迁移意味着将您的代码库移动到另一个系统(无意返回)。这也可能意味着切换到另一个工具链或编程语言。 移植
听说任何递归算法都可以用栈来表示。最近,我一直在一个可用调用堆栈非常小的环境中编写程序。 我需要做一些深度递归,所以我想知道如何重新设计任何递归算法以使用显式堆栈。 例如,假设我有这样一个递归函数 f
这个问题与语言无关,但受到这些 c/c++ 问题的启发。 How to convert a single char into an int Char to int conversion in C 假设
我最接近汇编的是构建我自己的 Java 类库,它加载类文件并允许您创建、编译和反编译类。在努力完成这个项目时,我想知道 Java 虚拟机实际上是如何在 JIT 优化期间在运行时生成 native 机器
如标题所说的简单问题。我在 StackOverflow(和互联网)上看到了一些关于半字节用例的问题,但我不明白为什么我们需要使用半字节。我的意思是字节是计算中最小的内存单位,因此对它执行操作来操作它的
这真是一个详细的格式问题,但我每次都被它绊倒...... 对于多行条件表达式,逻辑运算符的首选位置是什么? 备选方案 1:每行末尾的逻辑运算符 if (value1 == comparision1 &
计算“2021-01-01 12:56:23.423 UTC”和“2001-01-01 00:00:00.000 UTC”之间的 SI 秒数” 为例。 最佳答案 C++20 可以用下面的语法来完成:
我正在读一本名为“干净的代码”的书,当作者试图讲述我们如何编写一个高效的函数时卡住了。他说,“为了确保我们的函数做”一件事, “我们需要确保我们函数中的语句都处于同一抽象级别”。那么作者究竟想通过抽象
我的网站上有一张相当大的图片(大约 200kb)。我没有计划在不久的将来改变它。我如何告诉浏览器缓存它? 最佳答案 设置正确的标题对您有很大帮助。 过期时间:2012 年 4 月 15 日星期四 20
一般来说,重构工具的优缺点是什么? 最佳答案 优势 如果工具对您有帮助,您更有可能进行重构。 一个工具更有可能在第一次正确地进行“重命名”类型重构。 一个工具可以让您在代码库上进行重构,而无需手动进行
当我第一次开始自学编程时,在完成教程后,我会觉得我仍然无法用语言做任何事情。所以,我环顾四周,想找点事情做。由于我刚刚学习了一些基础知识,因此查找、阅读和添加到一个开源项目中所涉及的工作量似乎是无法克
在我工作的公司,最近要求所有“高度可见”的 bool 逻辑必须以析取范式表示。 例如(尽管这个概念与语言无关), #if (defined(A) || defined( B )) || (define
我想知道我们如何在 mathematica 中设计一个魔方。这可能吗?我们如何使用它。我们如何决定立方体的 6 个面上的较小立方体的不同分隔。 最佳答案 您问的是如何定义数据结构。您的选择是任意的,只
对于具有系统托盘图标的应用程序的行为方式,是否有任何标准? 我最近编写了一个应用程序,它大部分时间都位于系统托盘中。我把它交给了一个 friend ,她的第一 react 是双击图标进入主窗口(工作正
一个商业可分发软件的文本长度和/或音频片段长度是多少才能通过合理使用的阈值并侵犯所包含作品的版权?归属是否可以免除开发者的侵权行为?一个例子是在启动屏幕上使用的小说中的引用。 最佳答案 不幸的是,没有
我是一名经验丰富的 C/C++/C#/Objective-C 桌面、Web 和移动程序员,我已经习惯于从头开始构建我的大部分软件。我已经使用 ASP.NET 从头开始构建了我的所有网站。对于我想测
我一直在阅读有关使用矩阵转换 Vector3 的内容,并且正在努力深入研究数学并自己编写代码而不是使用现有代码。无论出于何种原因,我的学校类(class)从未包括矩阵,所以我正在填补我的知识空白。谢天
所以我目前正在尝试掌握递归的概念,我理解我遇到的大部分问题,但我觉得它的使用似乎不适用于太多计算问题。不过,这只是一个新手的假设,所以我问,作为程序员,递归有很多实际用途吗?还有,用它可以解决哪些典型
我正在学习递归。我已经使用递归解决了一些其他问题,例如创建二叉树、汉诺塔等。所以,我明白什么是递归,但我发现自己很难规划和实现正确的递归解决方案。 是否有任何关于规划、思考或实现问题递归解决方案的一般
每次我需要移动到一台新机器,或者买一台笔记本电脑,或者通过不断的安装和卸载搞砸我的注册表时,我开始变得非常厌烦和厌倦设置我的所有开发工具。 这么新的计划。我听说有人虚拟化他们的开发环境,这听起来是个好
我是一名优秀的程序员,十分优秀!