ทำไมไวยากรณ์ BNF ของ C อนุญาตการประกาศด้วยชุดคำสั่ง init ที่ว่างเปล่า

เมื่อมองผ่าน BNF ไวยากรณ์ของ C ฉันคิดว่ามันแปลกที่กฎการผลิตสำหรับการประกาศมีลักษณะเช่นนี้ (ตามhttps://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of% 20C% 20in% 20Backus-Naur% 20form.htm ):

<declaration> ::=  {<declaration-specifier>}+ {<init-declarator>}* ;

ใช้ทำไม*ปริมาณ (หมายถึงศูนย์หรือมากกว่าเกิดขึ้น) สำหรับinit-declarator? สิ่งนี้อนุญาตให้ใช้ข้อความเช่นint;หรือvoid;เพื่อให้มีความถูกต้องทางไวยากรณ์แม้ว่าจะไม่ถูกต้องทางอรรถศาสตร์ พวกเขาไม่สามารถใช้ตัว+นับจำนวน (อย่างน้อยหนึ่งเหตุการณ์) แทน*กฎการผลิตได้หรือไม่

ฉันพยายามคอมไพล์โปรแกรมอย่างง่ายเพื่อดูว่าคอมไพเลอร์เอาท์พุทอะไรและมันทำอะไรเป็นคำเตือน

การป้อนข้อมูล:

int main(void) {
    int;
}

เอาท์พุท:

test.c: In function ‘main’:
test.c:2:5: warning: useless type name in empty declaration
     int;
     ^~~

declaration-specifierรวมซึ่งรวมถึงtype-specifier enum-specifierโครงสร้างเหมือน

enum stuff {x, y};

เป็นที่ถูกต้องไม่มีdeclarationinit-declarator

โครงสร้างเช่นint;นั้นถูกตัดออกโดยข้อ จำกัด นอกเหนือจากไวยากรณ์ :

การประกาศอื่น ๆ นอกเหนือจากการประกาศ static_assert จะต้องประกาศอย่างน้อยผู้ประกาศ (นอกเหนือจากพารามิเตอร์ของฟังก์ชั่นหรือสมาชิกของโครงสร้างหรือสหภาพ) แท็กหรือสมาชิกของการแจงนับ

ฉันเดาว่ามีเหตุผลด้านความเข้ากันได้แบบย้อนหลังที่อยู่เบื้องหลังคอมไพเลอร์ของคุณเท่านั้นที่ออกคำเตือน

การประกาศที่ไม่มีตัวประกาศ init:

<declaration> ::=  {<declaration-specifier>}+ {<init-declarator>}* ;

ไม่เป็นอันตรายสำหรับรายการตัวระบุการประกาศที่ไม่ใช่ตัวenum/ struct/ ตัวunionระบุเดียวและจะตรงกับที่เป็นประโยชน์

ไม่ว่าในกรณีใดไวยากรณ์ที่นำเสนอจะตรงกับการประกาศเช่นint struct foo x;หรือdouble _Bool y;(อนุญาตให้ตัวระบุหลายตัวเพื่อจับคู่สิ่งต่าง ๆ เช่นlong long int) แต่สิ่งเหล่านี้สามารถตรวจพบได้ในภายหลังในการตรวจสอบความหมาย

ไวยากรณ์ของ BNF นั้นจะไม่กำจัดสิ่งก่อสร้างที่ผิดกฎหมายทั้งหมด