libC++でmac osのバグが発生する可能性があります。文字列objがスコープ外に出たときにデストラクタが呼び出されません。

Question

libc++私はbasic_string destructorが呼び出されないことを発見しました。演算子をdestructorと呼び、destructorから削除演算子を呼び出すのはなぜですか？

これを説明できる人はいますか？ サンプルプログラムに新しいオン

void * operator new (size_t len) throw (std::bad_alloc) 
{ 
    void * mem = malloc(len); 
    if ((mem == 0) && (len != 0)) 
     throw std::bad_alloc(); 
    return mem; 
} 

void operator delete (void * ptr) throw() 
{ 
    if (ptr != 0) 
     free(ptr); 
} 

int main(int argc, const char * argv[]) 
{ 
    std::string mystr("testing very very very big string for string class"); 
    std::string mystr2(mystr1.begin(),mystr.end()); 
} 

入れブレークポイントを参照し、削除してから、コールスタックを確認してください。 new演算子はbasic_stringクラスから呼び出されますが、deleteがmainの最後から呼び出されますが、理想的にはbasic_string destructorが最初に呼び出されてから、deallocateの呼び出しで呼び出されるべきです。allocatorの呼び出しです。

Answer 1

私はデバッガであなたと同じことを見ています。私は確かにわからないが、私はものがインラインになっていると思う。 basic_stringのデストラクタは非常に小さいです。小さな文字列の最適化のための単一のテスト、そしてアロケータのdeallocate関数への呼び出し（allocate_traitsを介して）。 std::allocatorのallocate関数も非常に小さく、ちょうどoperator deleteのラッパーです。

あなた自身のアロケータを書くことでこれをテストすることができます。 （後で：下記を参照）

この質問を調べている間に私が生成したその他のもの;あなたが興味を持っているならば読んでください。

[注：あなたのコードにバグがあります - あなたが書いた2行目に：？ - mystr1宣言ですmystr1.begin(),mystr.end())]：

それはタイプミスだと仮定すると、私はいくつかのわずかに異なるコードを試してみました

を

#include <string> 
#include <new> 
#include <iostream> 

int news = 0; 
int dels = 0; 

void * operator new (size_t len) throw (std::bad_alloc) 
{ 
    void * mem = malloc(len); 
    if ((mem == 0) && (len != 0)) 
     throw std::bad_alloc(); 
    ++news; 
    return mem; 
} 

void operator delete (void * ptr) throw() 
{ 
    ++dels; 
    if (ptr != 0) 
     free(ptr); 
} 

int main(int argc, const char * argv[]) 
{ 
    { 
    std::string mystr("testing very very very big string for string class"); 
    std::string mystr2(mystr.begin(),mystr.end()); 
    std::cout << "News = " << news << "; Dels = " << dels << std::endl; 
    } 
    std::cout << "News = " << news << "; Dels = " << dels << std::endl; 

} 

あなたはこのコードを実行した場合、それは（少なくとも私にとっては）出力します。

News = 2; Dels = 0 
News = 2; Dels = 2 

それはまさにそれが必要なものです。

コードをcompiler explorerに送信すると、私は期待通りにbasic_string::~basic_string()への両方の呼び出しを表示します。 （まあ、私は3つのを参照してくださいが、そのうちの1つは例外処理ブロックにあり、これは_Unwind_resumeへの呼び出しで終了します）。その後

- このコード：

#include <string> 
#include <new> 
#include <iostream> 

int news = 0; 
int dels = 0; 

template <class T> 
class MyAllocator 
{ 
public: 
    typedef T value_type; 

    MyAllocator() noexcept {} 

    template <class U> 
    MyAllocator(MyAllocator<U>) noexcept {} 

    T* allocate(std::size_t n) 
    { 
     ++news; 
     return static_cast<T*>(::operator new(n*sizeof(T))); 
    } 

    void deallocate(T* p, std::size_t) 
    { 
     ++dels; 
     return ::operator delete(static_cast<void*>(p)); 
    } 

    friend bool operator==(MyAllocator, MyAllocator) {return true;} 
    friend bool operator!=(MyAllocator, MyAllocator) {return false;} 
}; 


int main(int argc, const char * argv[]) 
{ 
    { 
    typedef std::basic_string<char, std::char_traits<char>, MyAllocator<char>> S; 
    S mystr("testing very very very big string for string class"); 
    S mystr2(mystr.begin(),mystr.end()); 
    std::cout << "Allocator News = " << news << "; Allocator Dels = " << dels << std::endl; 
    } 
std::cout << "Allocator News = " << news << "; Allocator Dels = " << dels << std::endl; 
} 

プリント：

Allocator News = 2; Allocator Dels = 0 
Allocator News = 2; Allocator Dels = 2 

アロケータが呼び出さなっていることを確認。