處置

Question

假設以下兩類：

struct A { 
    A() {} 
}; 

struct B { 
    B(const A& a) {} 
}; 

它發生在我多次遇到這樣的情況，我必須以建立創建一個類的臨時實例我需要使用的一個實例。喜歡的東西：

A a; 
// Do very complex computations using a; 
B b(a); 
// use b, a is not needed anymore. 
return make_result(b); 

我的問題是，有時我的計算後a持有的資源可以是顯著的，我實例b後，我想將他們釋放。與此同時，整個過程a -> b -> result在邏輯上是一個非常緊湊的東西，我想避免把它分解成函數，因爲在這種情況下會有pretty much nothing to gain。

C++中有哪些可用的解決方案來解決這類問題？

Answer 1

很大程度上取決於您在程序中製作的類。 A和B必須具有公共協議（或其他類的子協議）以及暗示該協議的公共存儲（例如某些定製struct的vector）。如果是這種情況，負責的類可以具有資源代理（如set_owner）的功能，這是另一個類可以使用的功能。該模式很大程度上（或完全）取決於您擁有的類/資源/模式。

如果存在一些通用協議，則可以適當地更改一個或兩個（或多個）類。

如果類相似（例如涉及繼承或嵌套類），則可以使用返回值優化，Name-RVO或move構造。

Answer 2

你可以默認構造的對象分配到A，假設A的賦值操作符正常釋放‘資源’：

A a; 
// Do very complex computations using a; 
B b(a); 
a = {}; 
// use b, a is not needed anymore. 
return make_result(b); 

你可以改變B通過值採取A和移動構建A實例到B：

struct A { 
    A() {} 
}; 

struct B { 
    B(A a) {} 
}; 
// ... 
A a; 
// Do very complex computations using a; 
B b(std::move(a)); 
// use b, a is not needed anymore. 
return make_result(b); 

它具有很好的優勢B的構造都不可能‘偷’resou來自A的對象。

你可以使用lambda來構造A，並把它傳遞給B：

B b([&]{ 
    A a; 
    // Do very complex computations using a; 
    return a; 
}()); 
// use b, a is not needed anymore. 
return make_result(b); 

你可以既構建A與拉姆達和有B把它的值：

struct A { 
    A() {} 
}; 

struct B { 
    B(A a) {} 
}; 
// ... 
B b([&]{ 
    A a; 
    // Do very complex computations using a; 
    return a; 
}()); 
// use b, a is not needed anymore. 
return make_result(b); 

它允許B從A盜取東西，但不會留下殭屍A實例layin g周圍。