スマートポインタとコンストラクタの例外

Question

コンストラクタがいくつかの例外を生成するときに役立つスマートポインタを読みました。

問題は、コンストラクタが例外生成前にいくつかのリソースを取得したが、デストラクタが呼び出されない（リソースが永続的にビジー状態になる）という問題です。

しかし、私は正しくそれをundestandすることはできません。 マイコード：

#include <memory> 
#include <iostream> 

class resOwner { 
    public: 
    resOwner() { 
     std::cout << "Map some huge resources\n"; 
     throw "hi"; 
    } 

    ~resOwner() { 
     std::cout << "Free some huge resources\n"; 
    } 
}; 

class normal : resOwner { 
}; 

int main(){ 
    try { 
     std::shared_ptr<resOwner> k (new resOwner()); 
    } catch (...) {} 
} 

出力がMap some huge resourcesです。 どのようにスマートポインタでこのリソースリークを解決するには？

Answer 1

どのようにスマートポインタでこのリソースリークを解決するには？

リソースをRAIIコンテナにラップし、コンテナをresOwnerのメンバとして格納します。スマートポインタは必ずしも必要ではありません。 std::unique_ptr：その巨大なリソースが動的に割り当てられたオブジェクトがある場合は、標準ライブラリはすでにそれらのための容器を持っているので

struct resource { 
    resource() { 
     std::cout << "Map some huge resources\n"; 
    } 
    ~resource() { 
     std::cout << "Free some huge resources\n"; 
    } 
}; 

struct resOwner { 
    resource res; 
    resOwner() { 
     throw "hi"; 
    } 
}; 

、あなたは、別のresourceクラスを実装する必要はありません。動的に割り当てられた配列の場合は、std::vectorを使用できます。

方法：コンストラクタ本体またはサブオブジェクトコンストラクタのいずれかがスローすると、すでに構築されているすべてのサブオブジェクト（メンバーおよびベースオブジェクト）が破棄されます。これにより、~resourceが呼び出されることが保証されます。

Answer 2

スマートポインタをリソースと併用すると、リソースリークを防ぐのに役立ちます。以下のような：オブジェクトが実際に作成される前に、

class resource { 
public: 
    resource() { 
     std::cout << "resource allocated\n"; 
    } 
    ~resource() { 
     std::cout << "resource deallocated\n"; 
    } 
}; 

class resOwner { 
    std::shared_ptr<resource> res; 
public: 
    resOwner() : res(new resource) { 
     std::cout << "Map some huge resources\n"; 
     throw "hi"; 
     // res will be destroyed even though exception happened 
    } 
    ~resOwner() { 
     // nothing need to do here 
    } 
}; 

LIVE

Answer 3

例外がスローされます。オブジェクトが作成されないので、そのデストラクタは呼び出されません。

一方、コンストラクタ内で例外がスローされた場合、コンストラクタが実行を完了したすべてのサブオブジェクトに対して、デストラクタが呼び出されます。比較のためにこれを試してみてください：

class Resource 
{ 
public: 
    Resource() 
    { 
     std::cout << "constructing resource" << std::endl; 
    } 
    ~Resource() 
    { 
     std::cout << "destroying resource" << std::endl; 
    } 
}; 

class Owner 
{ 
    ::std::unique_ptr <Resource> theResource; 
public: 
    Owner() 
      : theResource(new Resource()) 
    { 
     std::cout << "Map some huge resources\n"; 
     throw "hi"; 
    } 

    ~Owner() 
    { 
     std::cout << "Free some huge resources\n"; 
    } 
};