const void คืออะไร?

คำอธิบายของstd::is_voidระบุว่า:

ระบุค่าคงที่ของสมาชิกที่เท่ากับจริงถ้า T เป็นประเภทโมฆะ const โมฆะโมฆะระเหยหรือ const โมฆะระเหย

แล้วจะconst voidเป็นvolatile voidอย่างไรหรือก.

คำตอบนี้ระบุว่าconst voidประเภทการส่งคืนจะไม่ถูกต้อง (อย่างไรก็ตามคอมไพล์ใน VC ++ 2015)

const void foo() { }

ถ้าตามมาตรฐานแล้วconst voidไม่ถูกต้อง (VC ผิด) - แล้วคือconst voidอะไร?

const voidเป็นประเภทที่คุณสามารถสร้างตัวชี้ได้ มันคล้ายกับตัวชี้โมฆะธรรมดา แต่การแปลงจะทำงานต่างกัน ตัวอย่างเช่นconst int*ไม่สามารถแปลง a โดยปริยายเป็น a void*ได้ แต่สามารถแปลงเป็นconst void*ไฟล์. ในทำนองเดียวกันถ้าคุณมีconst void*คุณไม่สามารถstatic_castไปยังint*แต่คุณสามารถไปที่static_castconst int*

const int i = 10;
void* vp = &i;                           // error
const void* cvp = &i;                    // ok
auto ip = static_cast<int*>(cvp);        // error
auto cip = static_cast<const int*>(cvp); // ok

ในฐานะที่เป็นvoid, const voidเป็นชนิดที่เป็นโมฆะ อย่างไรก็ตามหากconst voidเป็นประเภทผลตอบแทนconstจะไม่มีความหมาย (แม้ว่าจะถูกกฎหมาย!) เนื่องจาก[expr] / 6 :

หาก prvalue ในตอนแรกมีประเภท " cv T " โดยที่Tเป็นประเภทที่ไม่ใช่อาร์เรย์แบบไม่มีเงื่อนไขที่ไม่มีเงื่อนไขประเภทของนิพจน์จะถูกปรับเป็นTก่อนที่จะมีการวิเคราะห์เพิ่มเติม

อย่างไรก็ตามเป็นประเภทที่ถูกต้องและเกิดขึ้นในเช่นฟังก์ชันไลบรารีมาตรฐาน Cซึ่งใช้เพื่อรับรองความถูกต้องของตัวชี้อาร์กิวเมนต์: int const*ไม่สามารถแปลงเป็นได้void*แต่void const*.

ประเภทอาจเป็นผลมาจากเทมเพลต แม่แบบอาจรัฐconst Tและยกตัวอย่างประกอบกับเป็นTvoid

คำตอบที่เชื่อมโยงผิดหรือค่อนข้าง จำกัด ในมุมมองในการที่จะนับถือกรณีพิเศษของชนิดที่ไม่ใช่แม่แบบและได้แล้วconst voidอาจจะไม่มีความหมายแต่มันเป็นรหัสที่ถูกต้อง