为布尔值设置默认值

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;
};