เหตุใด std :: ssize () จึงถูกนำมาใช้ใน C ++ 20

C ++ 20แนะนำstd::ssize()ฟังก์ชันฟรีดังต่อไปนี้:

template <class C>
    constexpr auto ssize(const C& c)
        -> std::common_type_t<std::ptrdiff_t,
                              std::make_signed_t<decltype(c.size())>>;

ดูเหมือนการใช้งานที่เป็นไปได้จะใช้static_castเพื่อแปลงค่าส่งคืนของsize()ฟังก์ชันสมาชิกของ cl ass Cเป็นคู่ที่ลงนาม

เนื่องจากsize()ฟังก์ชันสมาชิกของ C จะส่งกลับค่าที่ไม่ใช่ค่าลบเสมอเหตุใดใคร ๆ จึงต้องการเก็บไว้ในตัวแปรที่ลงชื่อ static_castในกรณีที่ต้องการจริงๆมันเป็นเรื่องของความเรียบง่าย

เหตุใดจึงถูกstd::ssize()นำมาใช้ใน C ++ 20

มีการอธิบายเหตุผลไว้ในบทความนี้ คำพูด:

เมื่อนำสแปนมาใช้ใน C ++ 17 จะใช้จำนวนเต็มเซ็นชื่อทั้งเป็นดัชนีและขนาด ส่วนหนึ่งก็เพื่ออนุญาตให้ใช้ "-1" เป็นค่า sentinel เพื่อระบุประเภทที่ไม่ทราบขนาดในเวลาคอมไพล์ แต่การมีคอนเทนเนอร์ STL ที่มีฟังก์ชัน size () ส่งคืนค่าที่มีลายเซ็นนั้นเป็นปัญหาดังนั้น P1089 จึงได้รับการแนะนำให้ "แก้ไข" ปัญหา ได้รับการสนับสนุนส่วนใหญ่ แต่ไม่ใช่อัตรากำไร 2 ต่อ 1 ที่จำเป็นสำหรับฉันทามติ

บทความนี้คือ P1227 เป็นข้อเสนอในการเพิ่มฟังก์ชัน std :: ssize ที่ไม่ใช่สมาชิกและสมาชิก ssize () การรวมสิ่งเหล่านี้จะทำให้โค้ดบางอย่างตรงไปตรงมามากขึ้นและช่วยให้สามารถหลีกเลี่ยงการคำนวณขนาดที่ไม่ได้ลงนามที่ไม่ต้องการได้ แนวคิดคือความต้านทานต่อ P1089 จะลดลงหาก ssize () พร้อมใช้งานสำหรับคอนเทนเนอร์ทั้งหมดทั้งผ่าน std :: ssize () และเป็นฟังก์ชันสมาชิก

จำเป็นที่ถูกขโมยจากเอริค Niebler:

'Unsigned types signal that a negative index/size is not sane'เป็นภูมิปัญญาที่แพร่หลายเมื่อ STL ได้รับการออกแบบครั้งแรก แต่ตามหลักแล้วจำนวนของสิ่งต่างๆไม่จำเป็นต้องเป็นบวก ฉันอาจต้องการนับในจำนวนเต็มที่มีลายเซ็นเพื่อแสดงจำนวนองค์ประกอบที่เพิ่มหรือลบออกจากคอลเลกชัน จากนั้นฉันก็อยากจะรวมกับขนาดของคอลเลกชัน หากขนาดของคอลเลกชันไม่ได้ลงนามตอนนี้ฉันบังคับให้ผสมเลขคณิตที่มีลายเซ็นและเลขคณิตที่ไม่ได้ลงนามซึ่งเป็นฟาร์มบั๊ก คอมไพเลอร์เตือนเกี่ยวกับเรื่องนี้ แต่เนื่องจากการออกแบบของ STL ค่อนข้างบังคับให้โปรแกรมเมอร์เข้าสู่สถานการณ์นี้คำเตือนจึงเป็นเรื่องธรรมดาที่คนส่วนใหญ่ปิดใช้งาน เป็นเรื่องน่าเสียดายเพราะสิ่งนี้ซ่อนข้อบกพร่องที่แท้จริง

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

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