C ++での一時的な寿命を保証しますか？

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 ++は、参照が存在する限り、ローカルの一時変数が有効であることを保証していることを知っています。これは、メンバー変数への参照がある場合、親オブジェクトに適用されますか？

ありがとう。

この種の一時的なデストラクタは、完全式の最後に呼び出されます。これは、他の式の一部ではない最も外側の式です。これは、関数が戻って値が評価された後のケースです。だから、それはすべてうまくいきます。

それが実際に式テンプレートを機能させるものです。次のような式で、そのような一時的なものへの参照を保持し続けることができます。

e = a + b * c / d

すべての一時的なものは式まで続くので

x = y

完全に評価されています。それは非常に簡潔に説明されています12.2 Temporary objectsは、標準れています。

litbの答えは正確です。一時オブジェクトの有効期間（右辺値とも呼ばれます）は式に関連付けられ、一時オブジェクトのデストラクタは式全体の最後に呼び出され、StringBufferのデストラクタが呼び出されると、m_bufferのデストラクタも呼び出されます。呼び出されますが、m_strは参照であるため、デストラクタではありません。

C ++ 0xは、右辺値参照を追加し、セマンティクスを移動するため、少しだけ変化することに注意してください。基本的に右辺値参照パラメーター（&&で表記）を使用することで、右辺値を（コピーする代わりに）関数に「移動」でき、右辺値の存続期間は、式ではなく、移動先のオブジェクトにバインドできます。MSVCチームからの非常に良いブログ投稿があり、これについて詳しく説明していますので、ぜひ読んでください。

右辺値を移動するための教育的な例は一時的な文字列であり、コンストラクターでの割り当てを示します。文字列メンバー変数を含むクラスMyTypeがある場合、次のようにコンストラクターで右辺値で初期化できます。

class MyType{
   const std::string m_name;
public:
   MyType(const std::string&& name):m_name(name){};
}

一時オブジェクトを使用してこのクラスのインスタンスを宣言すると、これは便利です。

void foo(){
    MyType instance("hello");
}

何が起こるかというと、一時オブジェクトのコピーと破棄を回避し、 "hello"を所有するクラスインスタンスのメンバー変数内に直接配置します。オブジェクトが「文字列」よりも重い場合、余分なコピーとデストラクタの呼び出しが重要になる可能性があります。

GetStringの呼び出しが戻った後。

StringBufferはGetStringのスコープ内にあります。GetStringのスコープの最後（つまり、戻り時）に破棄されます。また、C ++が参照がある限り、変数が存在することを保証するとは思いません。

以下はコンパイルすべきです：

Object* obj = new Object;
Object& ref = &(*obj);
delete obj;

私はほぼ同じクラスを書きました：

template <class C>
class _StringBuffer
{
    typename std::basic_string<C> &m_str;
    typename std::vector<C> m_buffer;

public:
    _StringBuffer(std::basic_string<C> &str, size_t nSize)
        : m_str(str), m_buffer(nSize + 1) { get()[nSize] = (C)0; }

    ~_StringBuffer()
        { commit(); }

    C *get()
        { return &(m_buffer[0]); }

    operator C *()
        { return get(); }

    void commit()
    {
        if (m_buffer.size() != 0)
        {
            size_t l = std::char_traits<C>::length(get());
            m_str.assign(get(), l);    
            m_buffer.resize(0);
        }
    }

    void abort()
        { m_buffer.resize(0); }
};

template <class C>
inline _StringBuffer<C> StringBuffer(typename std::basic_string<C> &str, size_t nSize)
    { return _StringBuffer<C>(str, nSize); }

標準以前は、コンパイラごとに異なる方法で行われていました。C ++の古い注釈付きリファレンスマニュアルでは、一時範囲はスコープの最後でクリーンアップする必要があると指定されていたので、一部のコンパイラはそれを行いました。2003年には、SunのForte C ++コンパイラでもデフォルトで動作が存在するため、StringBufferは機能しませんでした。しかし、現在のコンパイラがそれでも壊れていたら、私は驚かれることでしょう。