c++ - 在 C++ 中保证临时的生命周期？

Question

C++ 是否为在函数调用中创建但不用作参数的临时变量的生命周期提供保证？这是一个示例类:

class StringBuffer
{
public:
    StringBuffer(std::string & str) : m_str(str)
    {
        m_buffer.push_back(0);
    }
    ~StringBuffer()
    {
        m_str = &m_buffer[0];
    }
    char * Size(int maxlength)
    {
        m_buffer.resize(maxlength + 1, 0);
        return &m_buffer[0];
    }
private:
    std::string & m_str;
    std::vector<char> m_buffer;
};

下面是您将如何使用它:

// this is from a crusty old API that can't be changed
void GetString(char * str, int maxlength);

std::string mystring;
GetString(StringBuffer(mystring).Size(MAXLEN), MAXLEN);

什么时候会调用临时 StringBuffer 对象的析构函数？是吗:

• 在调用 GetString 之前？
• GetString 返回后？
• 依赖于编译器？

我知道 C++ 保证局部临时变量只要存在对它的引用就有效 - 当存在对成员变量的引用时，这是否适用于父对象？

谢谢。

Answer 1

这种临时对象的析构函数在完整表达式的末尾被调用。这是最外层的表达式，不属于任何其他表达式。在您的情况下，函数返回并计算值后。所以，它会很好地工作。

这实际上是使表达式模板起作用的原因:它们可以在像这样的表达式中保留对那种临时对象的引用

e = a + b * c / d

因为每个临时的都会持续到表达式

x = y

已完全评估。在标准的 12.2 Temporary objects 中对其进行了相当简洁的描述。