爲什麼從一個std initilizer列表填充一個std ::矢量::字符串不會調用的std :: string構造

Question

我有以下類：

class StringContainer { 
    public: 
    StringContainer(const std::string& s1, const std::string& s2) { 
     string_array_ = {s1, s2}; 
    } 

    std::vector<std::string> string_array_; 
}; 

，然後我從這個結構創建一個對象像這樣：

StringContainer con(s1, s2); 

其中s1和s2是非const const std :: string變量在本地定義的。 我注意到，從初始化列表中分配string_array_不會至少調用std :: string的構造函數一次。 （不適用於初始化程序列表中的臨時對象或插入到向量中的對象）。我已經讀過這對於可以構造的類是可能的，但trivially構造函數的要求之一是具有隱式的默認構造函數/拷貝構造函數。然而，std :: string（std :: basic_string）已經定義。我在這裏錯過了什麼？ 如果我想編寫一個可以利用這種優化的字符串類，我該怎麼做？

Answer 1

我的調試器確信構造函數已被調用，但如果我不能使用調試器，我決定做一些小實驗來獲取證明。你也可以自己嘗試。

創建的std :: string的子類，由字符串2取代的std :: string在你的代碼，添加一些打印輸出，並獲得視覺證明，構造函數被調用：

class string2 : public string 
{ 
public: 
    string2(std::string s) : std::string(s) 
    { 
     std::cout << "string2 constructor" << std::endl; 
    } 
    string2(const string2& s) : std::string(s) 
    { 
     std::cout << "string2 copy constructor" << std::endl; 
    } 
}; 

Answer 2

但願這是因爲牛？

參見：

• C++11 internal std::string representation (libstdc++)

從報價有報價：

* This approach has the enormous advantage that a string object 
* requires only one allocation. All the ugliness is confined 
* within a single %pair of inline functions, which each compile to 
* a single @a add instruction: _Rep::_M_data(), and 
* string::_M_rep(); and the allocation function which gets a 
* block of raw bytes and with room enough and constructs a _Rep 
* object at the front. 

參見：

• Copy-on-write support in STL