C ++ decltype และวงเล็บ - ทำไม

มีการพูดถึง เรื่องนี้มาก่อนแต่นี่ไม่ได้ซ้ำกัน

เมื่อมีคนถามถึงความแตกต่างระหว่างdecltype(a)และdecltype((a))คำตอบปกติคือ - aเป็นตัวแปร(a)คือการแสดงออก ฉันพบคำตอบนี้ไม่พอใจ

อย่างแรกaคือการแสดงออกเช่นกัน ตัวเลือกสำหรับการแสดงออกหลักได้แก่ หมู่คนอื่น ๆ -

• (นิพจน์)
• ID-แสดงออก

ที่สำคัญกว่านั้นการใช้ถ้อยคำสำหรับเดคไทป์จะพิจารณาวงเล็บอย่างชัดเจนมาก :

For an expression e, the type denoted by decltype(e) is defined as follows:
(1.1)  if e is an unparenthesized id-expression naming a structured binding, ...
(1.2)  otherwise, if e is an unparenthesized id-expression naming a non-type template-parameter, ...
(1.3)  otherwise, if e is an unparenthesized id-expression or an unparenthesized class member access, ...
(1.4)  otherwise, ...

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

มันไม่ใช่การกำกับดูแล เป็นเรื่องที่น่าสนใจในDecltype และ auto (รุ่นที่ 4) (N1705 = 04-0145)มีข้อความ:

ตอนนี้กฎของ decltype ระบุอย่างชัดเจนว่าdecltype((e)) == decltype(e)(ตามที่ EWG แนะนำ)

แต่ในDecltype (การแก้ไข 6): ถ้อยคำที่เสนอ (N2115 = 06-018)การเปลี่ยนแปลงอย่างใดอย่างหนึ่งคือ

วงเล็บแสดงออกภายใน decltype id-expressionจะไม่ถือว่าเป็น

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

การใช้งานที่แสดงใน C ++ draft9.2.8.4:

const int&& foo();
int i;
struct A { double x; };
const A* a = new A();
decltype(foo()) x1 = 17;        // type is const int&&
decltype(i) x2;                 // type is int
decltype(a->x) x3;              // type is double
decltype((a->x)) x4 = x3;       // type is const double&

สิ่งที่น่าสนใจจริงๆคือวิธีการทำงานกับreturnข้อความ:

decltype(auto) f()
{
    int i{ 0 };
    return (i);
}

My Visual Studio 2019 แนะนำให้ฉันลบวงเล็บที่ซ้ำซ้อน แต่จริงๆแล้วพวกเขาเปลี่ยนdecltype((i))เป็นการเปลี่ยนค่าส่งคืนint&ซึ่งทำให้ UB นับตั้งแต่กลับมาอ้างอิงถึงตัวแปรท้องถิ่น

ทำไมวงเล็บจึงได้รับการปฏิบัติต่างกัน?

วงเล็บไม่ได้รับการปฏิบัติแตกต่างกัน เป็นนิพจน์ id ที่ไม่ยึดติดที่ได้รับการปฏิบัติแตกต่างกัน

เมื่อมีวงเล็บอยู่จะมีการใช้กฎปกติสำหรับนิพจน์ทั้งหมด decltypeชนิดและประเภทค่าจะถูกสกัดและการประมวลผลในรูปแบบของ

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

ถ้าเราสนใจคุณสมบัติของตัวแปรในการแสดงออกเราก็ยังสามารถรับมันได้อย่างง่ายดายโดยมีวงเล็บเป็นคู่

ภาษา C ++ 11 ล่วงหน้าต้องการเครื่องมือเพื่อรับข้อมูลสองประเภท :

• ประเภทของการแสดงออก
• ชนิดของตัวแปรตามที่ประกาศไว้

เนื่องจากลักษณะของข้อมูลนี้จึงต้องเพิ่มคุณสมบัติในภาษา (ไม่สามารถทำได้ในห้องสมุด) นั่นหมายถึงคำหลักใหม่ มาตรฐานอาจมีคำหลักใหม่สองคำสำหรับสิ่งนี้ ตัวอย่างเช่นexprtypeการรับชนิดของนิพจน์และdecltypeเพื่อรับชนิดการประกาศของตัวแปร นั่นจะเป็นตัวเลือกที่ชัดเจนและมีความสุข

อย่างไรก็ตามคณะกรรมการมาตรฐานพยายามอย่างหนักที่สุดเพื่อหลีกเลี่ยงการแนะนำคำหลักใหม่เป็นภาษาเพื่อลดการแตกหักของรหัสเก่า ความเข้ากันได้ย้อนหลังเป็นปรัชญาหลักของภาษา

ดังนั้นด้วย C ++ 11 decltypeเราได้เพียงแค่หนึ่งคำที่ใช้สำหรับสองสิ่งที่แตกต่างกัน: วิธีที่แตกต่างระหว่างการใช้งานสองแบบคือการปฏิบัติdecltype(id-expression)แตกต่างกัน มันเป็นการตัดสินใจที่มีสติโดยคณะกรรมการประนีประนอม (เล็ก)