对有序非重入调用的简单断言？
我有两个功能：
void prepare（）和void finish（）将按顺序调用，如：
prepare();
<do something>;
finish();
...
prepare();
<do something>;
finish();
int test = 0;
void prepare() {
assert(++test == 1);
.
.
.
}
void finish() {
assert(--test == 0);
.
.
.
}
没有找到相关结果
已邀请:
6 个回复
呕蹿尉
和来电。 如果不允许嵌套，可以使用而不是：bool locked = false;; void prepare() { assert( ! locked ); locked = true; ... } void finish() { assert( locked ); locked = false; ... }古擅坛犯
至满足您的要求“任何与此测试有关的代码都应从生产中省略”。味芯憨
int test = 0; void prepare() { // enter critical section assert(test++ == 0); . . . // leave critical section } void finish() { // enter critical section assert(--test == 0); . . . // leave critical section }渐首洽陈染
的值，然后在寄存器中递增它以获得，然后进行比较得到。 使它成为并没有帮助。相反，你应该在上放一个互斥量，如下所示：boost::mutex mtx; int test = 0; void prepare() { boost::mutex::scoped_try_lock lock(&mtx); assert(lock.owns_lock()); assert(test++ == 0); // ... } void finish() { boost::mutex::scoped_try_lock lock(&mtx); assert(lock.owns_lock()); assert(--test == 0); }鞘垒飘
放入，你可以减少检查的需要： 只需要构造函数调用和析构函数调用。然后它会自动强制执行它们被恰当地调用。 请注意，并发和嵌套问题仍然适用：如果您想要阻止嵌套，那么您仍然需要某种全局状态（静态类成员？）来跟踪它，如果它在多个线程中使用，则访问它计数器需要受互斥保护。 另请注意，您也可以私有以防止有人在堆上创建一个并且不会破坏它。箩冀娥
struct Frobber { Frobber() { assert(mtx.try_lock()); #ifndef NDEBUG try { // in case prepare throws #endif prepare(); #ifndef NDEBUG } catch (...) { mtx.unlock(); throw; } #endif } void something(); // And the other actions that can be performed between preparation and finishing. ~Frobber() { finish(); #ifndef NDEBUG mtx.unlock(); #endif } private: #ifndef NDEBUG static boost::mutex mtx; #endif Frobber(Frobber const&); // not defined; 0x: = delete Frobber& operator=(Frobber const&); // not defined; 0x: = delete }; #ifndef NDEBUG boost::mutex Frobber::mtx; #endif void example() { Frobber blah; // instead of prepare() blah.something(); // implicit finish() }