爲什麼不是std :: array的operator ==（）標記爲constexpr？

Question

這是very natural想要比較std::array在編譯時;其operator==()明顯是constexpr'能夠。然而 - 它isn't標記爲constexpr。這是故意的還是疏忽？而且 - 這是什麼原因（顯然在C++ 17中）？

Answer 1

P0031解釋爲什麼它沒有提出constexpr比較：

目前比較和swap/fill可以與算法的幫助 從<algorithm>頭實現。與 標記比較constexpr將打破該能力，並可能導致性能下降 。

例如，==可以在std::equal方面來實現，其中 - 在適當的情況下 - 可以調用高度優化 - 丁決然-不可─constexprmemcmp。在==上編制constexpr將排除此優化，而無需特殊的編譯器幫助。

Answer 2

基本原理可能是這樣的：如果包含的類型的==也是constexpr，則陣列的==只能是constexpr。

由於容器無法執行該操作，因此它不能（通常）提供operator==() constexpr。