为布尔值设置默认值
Setting a default value for a bool
我正在使用 C++ 中的线程处理队列 class (Windows 10 Visual Studio)。
在我的构造函数中,我首先将布尔错误值设置为 false。紧接着,我尝试初始化关键部分。如果有问题,bool 设置为 true,否则保持为 false。我在主函数(未显示)中检查此值,如果未初始化暴击秒(bool 为假)则结束程序。
构造函数代码:
Queue() {
// ERROR_CRIT is bool: false = no error in initialising crit section, true = there is an error
ERROR_CRIT = false;
// check init
if (!InitializeCriticalSectionAndSpinCount(&CritSec, 0x00000400)) {
ERROR_INIT_CRIT_SEC = true;
}
totalCustomers = 0;
currentReadIndex = 0;
currentWriteIndex = 0;
customerNum = 0;
};
我的问题是:我应该将哪些类型的布尔值默认设置为 true 或 false ?我在编写其他程序时曾多次考虑过这个问题,除非很明显,否则我不确定何时为 bool 设置默认值。有时从任何一个值开始似乎都是公平的。我觉得把一个error bool设置成true会很奇怪,但是把它设置成false也可能很奇怪。
在现实世界或公司中,我会删除第 3 行并使用 else {ERROR_CRIT = false;}
向 if 添加 else 语句吗?这会提高可读性吗?这可能是偏好,但在现实世界的编程中经常看到什么?
提前谢谢你:D
更好的方法是在无法创建临界区的情况下根本不存在队列。这为 Queue
class 建立了更严格的 class 不变式,从而简化了其实现。
这是通过抛出异常来完成的:
Queue() {
// check init
if (!InitializeCriticalSectionAndSpinCount(&CritSec, 0x00000400)) {
throw std::runtime_error("failed to create the critical section");
}
totalCustomers = 0;
currentReadIndex = 0;
currentWriteIndex = 0;
customerNum = 0;
};
这样,您就永远不需要检查 ERROR_CRIT
,因为现有的队列已经有足够的信息来保证临界区被正确初始化。
虽然我总体上同意接受的答案(并赞成它),但我想补充一点,现代 OS 的既定方法是进程内同步原语不会因为缺少资源什么的。
它们只有在使用不当的情况下才会出现故障,前提是有针对此类故障的诊断。
这证实了 InitializeCriticalSectionAndSpinCount
documentation:
Return value
This function always succeeds and returns a nonzero value.
Windows Server 2003 and Windows XP: blah blah blah
原因是,当同步原语失败时,恢复起来非常复杂,但有可能拥有永不失败的同步原语。因此,在现代 OS 上,故障处理代码永远无法执行,因此 OS 它仍然不太可能使程序恢复。
C++ std::mutex
和其他 C++ 互斥锁与此对齐,并且永远不会因内存或资源不足而抛出(具体来说 std::mutex
甚至 constexpr
可构造,尽管 Visual C++ 违反了它).新的 C++20 基元也不会抛出异常。
所以你可以写:
Queue() noexcept {
InitializeCriticalSectionAndSpinCount(&CritSec, 0x00000400);
totalCustomers = 0;
currentReadIndex = 0;
currentWriteIndex = 0;
customerNum = 0;
};
或者,如果你是偏执狂:
Queue() noexcept {
// check init
if (!InitializeCriticalSectionAndSpinCount(&CritSec, 0x00000400)) {
__fastfail(1); // something terrible happened, cannot recover
}
totalCustomers = 0;
currentReadIndex = 0;
currentWriteIndex = 0;
customerNum = 0;
};
我正在使用 C++ 中的线程处理队列 class (Windows 10 Visual Studio)。
在我的构造函数中,我首先将布尔错误值设置为 false。紧接着,我尝试初始化关键部分。如果有问题,bool 设置为 true,否则保持为 false。我在主函数(未显示)中检查此值,如果未初始化暴击秒(bool 为假)则结束程序。
构造函数代码:
Queue() {
// ERROR_CRIT is bool: false = no error in initialising crit section, true = there is an error
ERROR_CRIT = false;
// check init
if (!InitializeCriticalSectionAndSpinCount(&CritSec, 0x00000400)) {
ERROR_INIT_CRIT_SEC = true;
}
totalCustomers = 0;
currentReadIndex = 0;
currentWriteIndex = 0;
customerNum = 0;
};
我的问题是:我应该将哪些类型的布尔值默认设置为 true 或 false ?我在编写其他程序时曾多次考虑过这个问题,除非很明显,否则我不确定何时为 bool 设置默认值。有时从任何一个值开始似乎都是公平的。我觉得把一个error bool设置成true会很奇怪,但是把它设置成false也可能很奇怪。
在现实世界或公司中,我会删除第 3 行并使用 else {ERROR_CRIT = false;}
向 if 添加 else 语句吗?这会提高可读性吗?这可能是偏好,但在现实世界的编程中经常看到什么?
提前谢谢你:D
更好的方法是在无法创建临界区的情况下根本不存在队列。这为 Queue
class 建立了更严格的 class 不变式,从而简化了其实现。
这是通过抛出异常来完成的:
Queue() {
// check init
if (!InitializeCriticalSectionAndSpinCount(&CritSec, 0x00000400)) {
throw std::runtime_error("failed to create the critical section");
}
totalCustomers = 0;
currentReadIndex = 0;
currentWriteIndex = 0;
customerNum = 0;
};
这样,您就永远不需要检查 ERROR_CRIT
,因为现有的队列已经有足够的信息来保证临界区被正确初始化。
虽然我总体上同意接受的答案(并赞成它),但我想补充一点,现代 OS 的既定方法是进程内同步原语不会因为缺少资源什么的。
它们只有在使用不当的情况下才会出现故障,前提是有针对此类故障的诊断。
这证实了 InitializeCriticalSectionAndSpinCount
documentation:
Return value
This function always succeeds and returns a nonzero value.
Windows Server 2003 and Windows XP: blah blah blah
原因是,当同步原语失败时,恢复起来非常复杂,但有可能拥有永不失败的同步原语。因此,在现代 OS 上,故障处理代码永远无法执行,因此 OS 它仍然不太可能使程序恢复。
C++ std::mutex
和其他 C++ 互斥锁与此对齐,并且永远不会因内存或资源不足而抛出(具体来说 std::mutex
甚至 constexpr
可构造,尽管 Visual C++ 违反了它).新的 C++20 基元也不会抛出异常。
所以你可以写:
Queue() noexcept {
InitializeCriticalSectionAndSpinCount(&CritSec, 0x00000400);
totalCustomers = 0;
currentReadIndex = 0;
currentWriteIndex = 0;
customerNum = 0;
};
或者,如果你是偏执狂:
Queue() noexcept {
// check init
if (!InitializeCriticalSectionAndSpinCount(&CritSec, 0x00000400)) {
__fastfail(1); // something terrible happened, cannot recover
}
totalCustomers = 0;
currentReadIndex = 0;
currentWriteIndex = 0;
customerNum = 0;
};