爲什麼std :: aligned_union需要最小尺寸作爲模板參數？

Question

std::aligned_union有一個std::size_t「最小長度」參數。現在，一個通常的工會沒有這個，所以我想知道爲什麼這是必要的。有人可以向我解釋爲什麼？

Answer 1

相關紙張似乎是N2140。原因基本上是你可以過度對齊類型。給出的例子是你可以製作頁面對齊的數據結構。

（我第一次使用aligned_storage和aligned_union混合起來，很抱歉）。

Aligned_storage在N2140中被描述爲aligned_union的可能基類。 N2140還描述（但不強制）aligned_storage<N, ...>點的實現作爲對齊的char[N]的warpper。顯然你需要N。

因爲它是一個非平凡瑣碎型）

std::aligned_union是POD類型與至少每指定的類型的給定的大小，和取向。這些類型不一定是POD類型，從中可以看出它們不能成爲成員。

你能做什麼，但是，是利用放置新把一個 T[n]在該存儲提供的aligned_union爲 T對齊，其大小至少爲 sizeof(T[n])

Answer 2

我打賭這是爲泛型編程的情況下，其中可變類型列表可能是空的。

在這種情況下，有一定的最小尺寸將被使用，這樣你仍然控制對準（就沒有類型採取從對準值）