用于临时延长生命周期的 const 参考

Question

我对某些 C++ 标准合规性或缺乏标准有疑问。

在我的项目中，我使用一些简单的 Guard 类，该类使用 const 引用技巧。我使用的是 Visual Studio 2005，有两种配置 - 一种用于正常发布构建，另一种用于单元测试。

在这两种情况下，最终都会暂时挂在 const 引用上，但同时发生的事情才是问题所在。对于发布配置，const 引用直接指向创建 Guard 实例的辅助函数模板的返回中创建的 temp（不调用复制构造函数，甚至没有实例化）。

但对于单元测试conf，首先复制函数模板temp，然后调用其析构函数，仅在const引用超出范围后执行应执行的操作。

我通过禁用基类复制构造函数中的原始保护解决了这个问题（因此，对于调用复制构造函数的配置，不会触发析构函数中的操作），但令我困扰的是：

复制临时行为是标准的吗？符合吗？标准是否规定 const 引用应直接指向 temp，或者标准中未指定这种实现定义的行为？

我的代码大致基于 DDJ 中的 Scope Guard 文章和 Herb Sutter 的 gotw 88 文章，但这两个来源似乎都没有考虑早期的析构函数调用。

来自知识渊博的人的任何信息将不胜感激。

编辑：

好的，代码是这样的：

class GuardBase
{
public:

  GuardBase() : m_enabled(true)
  {}

  //this is done because in normal build no copy constructor is called ( directly using the function temporary)
  //but for UT conf somehow the original temp is copied and destroyed
  GuardBase(const GuardBase& other)
  {
    other.disable();
  }

  void disable() const
  {
    m_enabled = false;
  }

protected:
  //member is mutable because we will access the object through the const reference
  mutable bool m_enabled;
};

template< typename Arg, typename ObjType, typename MemberMethod >
class Guard1Arg : public GuardBase 
{
public:
  Guard1Arg(ObjType& obj, MemberMethod remover,  Arg arg) : m_arg(arg), m_remover(remover), m_object(obj)
  {}

  ~Guard1Arg()
  {
    if ( m_enabled )
    {
      (m_object.*m_remover)(m_arg);
    }
  }

private:
  Arg m_arg;
  MemberMethod m_remover;
  ObjType& m_object;

  //this class should not be assigned
  Guard1Arg& operator=(const Guard1Arg& other);

};

//utility template function used to create Guards using member functions with 1 argument
template<typename MemberFunction, typename Obj, typename Arg>
Guard1Arg<Arg, Obj, MemberFunction> MakeGuard1Arg(Obj& obj, MemberFunction memberFunction, Arg& arg)
{
  return Guard1Arg<Arg, Obj, MemberFunction>(obj, memberFunction, arg);
}


#define GUARD_CREATE(arg, remover) const GuardBase& guard = MakeGuard1Arg(*this,  remover, arg);
#define GUARD_DISABLE guard.disable();
#define GUARD_FRIEND template< typename Arg, typename ObjType, typename MemberMethod > friend class Guard1Arg;

Answer 1

这两种行为都符合标准。
如果您有这样的代码：

T foo()
{
  return T();
}

int main()
{
  const T& x = foo();
}

那么，从概念上讲，在 foo 中，将创建一个临时对象。该临时值被复制到 foo 的返回值。在 main 中，此副本（也是临时对象）绑定到 x。
作为 foo 返回值的副本的生命周期得到延长，但作为副本源的临时副本的生命周期却没有延长。

但是，C++ 标准明确允许删除多余的临时对象。因此，foo 可以直接在该槽中创建临时值，而不是创建临时值并将其复制到槽中以获取返回值。
这两个选项都是可能的，编译器甚至不必记录何时使用哪个选项。

C++ 标准的相关部分是 6.6.3 ([stmt.return]) 和 12.2 ([class.temporary])。