什么是“哨兵对象”？在 C++ 中？

Question

我回答了这个问题 和 Potatoswatter 也回答了

现代 C++ 的等价物是 哨兵对象：构造它 函数的开头，及其 实现 call() 的构造函数，以及 返回（或异常退出）时，其 析构函数实现

我不熟悉在 C++ 中使用哨兵对象。 我认为它们仅限于输入和输出流。

有人可以向我解释一下 C++ 哨兵对象以及如何将它们用作类中一个或多个方法的周围拦截器吗？

即如何做到这一点？

Sentry 对象非常相似 的确。一方面他们要求 显式实例化（并且是 通过了这个）但另一方面你 可以添加到它们中，以便它们检查不 只有类的不变量，但是 一些前置/后置条件 手头的功能。

Answer 1

Sentry 对象是一种模式，但我不确定下面的哪一个（也许全部）。

C++ 程序通常严重依赖于知道对象（可能是用户定义的类）何时被销毁，即何时调用其析构函数。对于具有垃圾收集功能的语言来说，情况并非如此。

例如，该技术用于拥抱“资源获取即初始化”范例：在调用对象构造函数时获取资源，编译器会在正常和异常（异常）情况下自动调用其析构函数来释放资源（检查 < a href="https://stackoverflow.com/questions/712639/please-help-us-non-c-developers-understand-what-raii-is">这个问题）。

可以利用构造/销毁计时知识的常见位置是

• 块：在块的末尾调用“堆栈分配”对象的析构函数

  void 函数()
  { 类 foo = 对象（资源）;
     其他操作（）；
  } // 此处调用 foo 的析构函数
  

• 函数调用：“stack-当您调用函数时也会发生分配”

  void 函数()
  { another_function ( 类(资源) );
     // 调用未命名对象的析构函数
     // another_function() 返回（或抛出）之后
     其他操作（）；
  }
  

• 包含对象的构造/销毁：

  类 Foo
  { 班级哨兵；
     公共：Foo()
     { // 这里调用哨兵的构造函数
        某物（）;
     }        
     公共：~Foo()
     {
        某物（）;
     } // 这里调用哨兵的析构函数
  };
  

在STL中，有一个名为sentry的类（更准确地说，istream::sentry)，它实现了上述的第三种模式。所以我认为这就是一些程序员所说的“哨兵对象”。

但事实上，上述Class类的任何对象都可以称为“哨兵对象”。它们是“哨兵”，因为它们确保即使有异常抛出，也不会错过这些难以捉摸的对象析构函数（因此它们就像块/类的守护者）。

更多哨兵对象示例位于 RAII 问题。

---

您可以看到与面向方面编程的关系；这些对象类似于“方面”，具有“在封闭块的开始/结束处”、“在包含对象的构造/销毁时”等切点。但是这些“方面”必须存在于他们关注的代码。因此，与原始的调用/返回功能相比，它们的“视角”较少；相反，应该将哨兵对象插入到该类的每个函数中：

class X{
  struct Sentry {
     Sentry() { /* call() */}
    ~Sentry() { /* return() */};
  };

  void member_function()
  { Sentry();
    /* operations */
  }

  void another_member_function()
  { Sentry();
    /* operations */
  }
};

Answer 2

与 AOP 的区别在于，它必须通过将哨兵显式地放置在函数体或类定义内的某个位置来协作来完成。

如果不修改目标函数或类，您就无法捕获调用。