為什么空向量調用值類型的默認構造函數？

Question

使用g ++，我觀察到創建一個大小為零的向量會調用向量的參數化對象類型的構造函數一次。 然后它被刪除。 為什么會這樣？

#include <iostream>
#include <vector>
using namespace std;

class s
{
    public:
    s() { cout << endl << "default s constructor" << endl; }
    ~s() { cout << endl << "default s destructor" << endl; }

};

int main()
{
    vector<s> v(0);
}

輸出：

默認的構造函數

默認的析構函數

Answer 1

因為您顯式傳遞初始大小，該大小調用具有另一個參數（默認值為s()的構造函數。 只要省略(0) （即std::vector<s> v; ）就不會發生。

為了完整起見，標准23.2.4-2將您調用的構造函數定義為：

explicit vector(size_type n, const T& value = T() ,
const Allocator& = Allocator());

旁白（與C ++ 03相關但不與C ++ 11相關）

這個構造函數的另一個有趣的行為方面也定期提出SO：當請求的元素的初始數量> 0時，它將這些元素從原型參數復制構造到構造函數：

• 人們經常使用一個默認的構造函數來保留成員變量未初始化，希望使vector(n)幾乎與底層的免費存儲分配一樣快，但是
• 復制構造函數仍被調用n次，以將原型對象的“垃圾”內容復制到每個請求的元素中

這具有明顯的性能成本，但是如果垃圾內容包括例如復制構造器只能假設有效的指針，則也可能使應用程序崩潰。 類似地，即使push_back這樣一個未初始化的垃圾對象也是非常危險的 - 它缺乏適當的值語義封裝，並且可能在向量調整大小時被復制，像向量等執行算法操作，例如std::sort() 。

Answer 2

您正在調用的實際構造函數是（來自cplusplus.com）：

explicit vector ( size_type n, const T& value= T(), const Allocator& = Allocator() );

因此，即使您只指定了大小，也會為第二個參數創建一個新的T對象，因此也會在構造函數結束時銷毀它。