เหตุใด std :: swap จึงไม่ทำงานบนองค์ประกอบเวกเตอร์ <bool> ใน Clang / Win

ฉันมีรหัสเช่นนี้:

#include <vector>
#include <utility>

int main()
{
   std::vector<bool> vb{true, false};
   std::swap(vb[0], vb[1]);
}

ข้อโต้แย้งเกี่ยวกับความมีสติvector<bool>นอกเหนือจากนี้สิ่งนี้ใช้ได้ผลดีกับ:

• เสียงดังกราวสำหรับ Mac
• Visual Studio สำหรับ Windows
• GCC สำหรับ Linux

จากนั้นฉันพยายามสร้างด้วย Clang บน Windows และได้รับข้อผิดพลาดต่อไปนี้ (ย่อ):

error: no matching function for call to 'swap'
                                std::swap(vb[0], vb[1]);
                                ^~~~~~~~~

note: candidate function [with _Ty = std::_Vb_reference<std::_Wrap_alloc<std::allocator<unsigned int> > >, $1 = void] not viable: expects an l-value for 1st argument
inline void swap(_Ty& _Left, _Ty& _Right) _NOEXCEPT_COND(is_nothrow_move_constructible_v<_Ty>&&

ฉันประหลาดใจที่ผลลัพธ์ต่างกันในการติดตั้งใช้งาน

ทำไมมันไม่ทำงานกับ Clang บน Windows?

มาตรฐานไม่จำเป็นต้องใช้สิ่งนี้ในการรวบรวมบนtoolchain ใด ๆ !

การเรียกคืนแรกที่vector<bool>เป็นที่แปลกและ subscripting จะช่วยให้คุณวัตถุชั่วคราวของพร็อกซี่ชนิดที่เรียกว่ามากกว่าที่เกิดขึ้นจริงstd::vector<bool>::referencebool&

ข้อความแสดงข้อผิดพลาดกำลังบอกคุณว่ามันไม่สามารถผูกชั่วคราวนี้กับการconstอ้างอิงที่ไม่คุ้มค่าในการtemplate <typename T> std::swap(T& lhs, T& rhs)ใช้งานทั่วไป

ส่วนขยาย!

อย่างไรก็ตามมันกลับกลายเป็นว่า libstdc ++ กำหนดโอเวอร์โหลดสำหรับstd::swap(std::vector<bool>::reference, std::vector<bool>::reference)แต่นี่เป็นส่วนขยายของมาตรฐาน (หรือถ้าอยู่ในนั้นฉันไม่สามารถหาหลักฐานใด ๆ ได้)

libc ++ ไม่นี้เกินไป

ฉันเดาว่าการใช้ Visual Studio stdlib ที่คุณยังใช้อยู่ไม่ได้แต่หลังจากนั้นเพื่อเพิ่มการดูถูกการบาดเจ็บคุณสามารถผูกขมับเพื่ออ้างอิง lvalueใน VS (เว้นแต่ว่าคุณกำลังใช้โหมดความสอดคล้อง) ดังนั้น มาตรฐาน "ทั่วไป" std::swapฟังก์ชั่นทำงานจนกว่าคุณจะแทนที่ VS คอมไพเลอร์สำหรับคอมไพเลอร์ที่เข้มงวด Clang

ด้วยเหตุนี้คุณจึงต้องพึ่งพาส่วนขยายของทั้งสามแถบเครื่องมือที่ใช้งานได้สำหรับคุณและชุดเสียงดังกราวบน Windows เป็นเพียงสิ่งเดียวที่แสดงให้เห็นถึงการปฏิบัติตามอย่างเคร่งครัด

(ในความคิดของฉันเครื่องมือสามตัวนี้ควรได้รับการวินิจฉัยดังนั้นคุณจึงไม่ได้จัดส่งรหัสที่ไม่ใช่พกพาตลอดเวลานี้😊)

เกิดอะไรขึ้น

อาจเป็นการดึงดูดให้เพิ่มความเชี่ยวชาญของคุณเองstd::swapและstd::vector<bool>::referenceแต่คุณไม่ได้รับอนุญาตให้ทำสิ่งนี้สำหรับประเภทมาตรฐาน ที่จริงแล้วมันจะขัดแย้งกับโอเวอร์โหลดที่ libstdc ++ และ libc ++ เลือกที่จะเพิ่มเป็นส่วนขยาย

ดังนั้นที่จะพกพาและสอดคล้อง, คุณควรเปลี่ยนรหัสของคุณ

บางทีอาจเป็นเรื่องล้าสมัยที่ดี:

const bool temp = vb[0];
vb[0] = vb[1];
vb[1] = temp;

หรือใช้ประโยชน์จากฟังก์ชั่นสมาชิกคงพิเศษที่ทำสิ่งที่คุณต้องการ :

std::vector<bool>::swap(vb[0], vb[1]);

สามารถสะกดได้ดังนี้:

vb.swap(vb[0], vb[1]);