使用noncopyable成員聚合類的初始化

Question

假設我有一些帶有刪除拷貝構造函數的類：

struct NoCopy
{
    NoCopy(int) {}
    NoCopy(const NoCopy &) = delete;
};

我在另一個類中使用這個類：

struct Aggregate
{
    NoCopy nc;
};

但是當我嘗試使用聚合初始化時

int main()
{
    Aggregate a{3};
}

編譯器輸出以下錯誤：

error: use of deleted function ‘NoCopy::NoCopy(const NoCopy&)’

為什么聚合初始化需要類成員的副本構造函數？ 聚合初始化是否使用復制構造函數初始化所有成員？

Answer 1

您想要的正確語法是：

Aggregate a{{3}};

這為NoCopy成員提供了初始化程序。 如果沒有額外的{} ，編譯器需要執行從int到NoCopy的轉換（它很樂意通過非顯式構造函數執行），然后使用它來構造nc 。 這通常會作為移動構造發生，但通過刪除復制文件，您也有效地刪除了移動構造函數。

考慮它的一種更簡單的方法可能是想象NoCopy有一個值構造函數采用兩個參數而不是一個：

struct NoCopy {
    NoCopy(int, int);
};

現在如果你寫了

Aggregate a{1, 2};

這表示1用於初始化nc ， 2用於初始化其他東西（編譯時錯誤）。 你必須為此添加額外的{}才有意義

Aggregate a{{1, 2}};

第三種方法是查看函數調用：

struct NoCopy {
  NoCopy(int) {}
  NoCopy(const NoCopy &) = delete;
};

void fun(NoCopy) { }

int main() {
  fun(1); // wrong
  fun({1}); // right
}

在// wrong版本中，使用NoCopy(int)構造函數在調用點處構造臨時NoCopy對象。 然后，臨時值通過值傳遞給fun ，但由於NoCopy不可復制，因此失敗。

在// right版本中，您將為要構造的參數提供初始化列表。 沒有制作副本。