ทำไม auto a = 1; รวบรวมใน C?

รหัส:

int main(void)
{
    auto a=1;
    return 0;
}

รวบรวมโดยไม่มีข้อผิดพลาดโดยคอมไพเลอร์ MS Visual Studio 2012 เมื่อไฟล์มีนามสกุล. c ฉันคิดมาตลอดว่าเมื่อคุณใช้นามสกุล. c การคอมไพล์ควรเป็นไปตามไวยากรณ์ C ไม่ใช่ C ++ ยิ่งไปกว่านั้นเท่าที่ฉันรู้ว่าอัตโนมัติที่ไม่มีประเภทนั้นอนุญาตให้ใช้เฉพาะใน C ++ ตั้งแต่ C ++ 11 ซึ่งหมายความว่าประเภทนั้นอนุมานจากตัวเริ่มต้น

นั่นหมายความว่าคอมไพเลอร์ของฉันไม่ยึดติดกับ C หรือรหัสถูกต้องในภาษาซีจริงหรือไม่?

autoคือคีย์เวิร์ด C แบบเก่าซึ่งหมายถึง "ขอบเขตเฉพาะที่" auto aเหมือนกับauto int aและเนื่องจากขอบเขตภายในเป็นค่าเริ่มต้นสำหรับตัวแปรที่ประกาศภายในฟังก์ชันจึงเหมือนกับint aในตัวอย่างนี้

คีย์เวิร์ดนี้เป็นคีย์เวิร์ดที่เหลือจาก B รุ่นก่อนหน้าซึ่งไม่มีประเภทพื้นฐาน: ทุกอย่างคือintตัวชี้ไปintอาร์เรย์ของint(*) การประกาศจะเป็นอย่างใดอย่างหนึ่งautoหรือextrn[sic] C รับค่า "ทุกอย่างเป็นint" มาเป็นกฎเริ่มต้นดังนั้นคุณสามารถประกาศจำนวนเต็มด้วย

auto a;
extern b;
static c;

ISO C ได้กำจัดสิ่งนี้ไปแล้ว แต่คอมไพเลอร์จำนวนมากยังคงยอมรับสำหรับความเข้ากันได้แบบย้อนหลัง หากดูเหมือนว่าไม่คุ้นเคยคุณควรตระหนักว่ากฎที่เกี่ยวข้องกำลังทำงานอยู่

unsigned d;  // actually unsigned int

ซึ่งยังคงมีอยู่ทั่วไปในโค้ดสมัยใหม่

C ++ 11 ใช้คีย์เวิร์ดซ้ำซึ่งมีเพียงไม่กี่คำที่โปรแกรมเมอร์ C ++ ใช้กับความหมายดั้งเดิมสำหรับการอนุมานประเภท ส่วนใหญ่ปลอดภัยเนื่องจากกฎ "ทุกอย่างเป็นint" จาก C ได้ถูกทิ้งใน C ++ 98 แล้ว สิ่งเดียวที่หยุดพักคือauto T aซึ่งไม่มีใครใช้อยู่แล้ว (บางแห่งในเอกสารของเขาเกี่ยวกับประวัติศาสตร์ของภาษา Stroustrup แสดงความคิดเห็นเกี่ยวกับเรื่องนี้ แต่ตอนนี้ฉันไม่พบข้อมูลอ้างอิงที่แน่นอน)

(*) การจัดการสตริงใน B นั้นน่าสนใจ: คุณต้องใช้อาร์เรย์intและแพ็คอักขระหลายตัวในสมาชิกแต่ละตัว B คือBCPL ที่มีไวยากรณ์ต่างกัน

นี่เป็นทั้งคำตอบและความคิดเห็นเพิ่มเติมสำหรับไม่นี่ไม่ใช่กฎหมาย C ตั้งแต่ปี 2542 ไม่มีคอมไพเลอร์ C สมัยใหม่ที่เหมาะสมอนุญาตให้ทำเช่นนี้

ใช่auto a=1;เป็นสิ่งผิดกฎหมายใน C1999 (และ C2011 ด้วย) เพียงเพราะตอนนี้สิ่งนี้ผิดกฎหมายไม่ได้หมายความว่าคอมไพเลอร์ C สมัยใหม่ควรปฏิเสธโค้ดที่มีโครงสร้างดังกล่าว ฉันจะเถียงในทางตรงกันข้ามว่าคอมไพเลอร์ C สมัยใหม่ที่เหมาะสมยังต้องยอมให้ทำเช่นนี้

ทั้ง clang และ gcc จะทำเช่นนั้นเมื่อรวบรวมโค้ดตัวอย่างในคำถามเทียบกับมาตรฐานเวอร์ชันปี 1999 หรือ 2011 auto int a=1;ทั้งคอมไพเลอร์ออกวินิจฉัยแล้วดำเนินการในการเป็นถ้างบไม่เหมาะสมได้รับ

ในความคิดของฉันนี่คือสิ่งที่คอมไพเลอร์ที่ดีควรทำ ด้วยการออกการวินิจฉัยเสียงดังและ gcc เป็นไปตามมาตรฐานอย่างสมบูรณ์ มาตรฐานไม่ได้บอกว่าคอมไพเลอร์ต้องปฏิเสธรหัสที่ผิดกฎหมาย มาตรฐานกล่าวเพียงว่าการใช้งานที่สอดคล้องต้องสร้างข้อความวินิจฉัยอย่างน้อยหนึ่งข้อความหากหน่วยการแปลมีการละเมิดกฎไวยากรณ์หรือข้อ จำกัด ใด ๆ (5.1.1.3)

ด้วยรหัสที่มีโครงสร้างที่ผิดกฎหมายคอมไพเลอร์ที่เหมาะสมจะพยายามทำความเข้าใจกับรหัสที่ผิดกฎหมายเพื่อให้คอมไพเลอร์สามารถค้นหาข้อผิดพลาดถัดไปในโค้ดได้ คอมไพเลอร์ที่หยุดเมื่อเกิดข้อผิดพลาดแรกไม่ใช่คอมไพเลอร์ที่ดีมาก มีวิธีที่จะทำให้เข้าใจauto a=1ได้ซึ่งก็คือใช้กฎ "implicit int" กฎนี้บังคับให้คอมไพลเลอร์ตีความauto a=1ราวกับว่าauto int a=1เมื่อคอมไพเลอร์ถูกใช้ในโหมด C90 หรือ K&R

โดยทั่วไปแล้วคอมไพเลอร์ส่วนใหญ่จะปฏิเสธรหัส (ปฏิเสธ: ปฏิเสธที่จะสร้างไฟล์อ็อบเจ็กต์หรือไฟล์ปฏิบัติการ) ที่มีไวยากรณ์ที่ผิดกฎหมาย นี่เป็นกรณีที่ผู้เขียนคอมไพเลอร์ตัดสินใจว่าการคอมไพล์ล้มเหลวไม่ใช่ทางเลือกที่ดีที่สุด สิ่งที่ดีที่สุดที่ต้องทำคือการวินิจฉัยแก้ไขรหัสและดำเนินการต่อ มีรหัสดั้งเดิมมากเกินไปที่สร้างขึ้นด้วยโครงสร้างเช่นregister a=1;. คอมไพเลอร์ควรจะคอมไพล์โค้ดนั้นในโหมด C99 หรือ C11 ได้ (แน่นอนว่าต้องมีการวินิจฉัย)

autoมีความหมายในCและC++ก่อนหน้ามาตรฐาน 2011 ก็หมายความว่าตัวแปรที่มีอายุการใช้งานโดยอัตโนมัติ, ที่อยู่, อายุการใช้งานที่กำหนดโดยขอบเขต ซึ่งตรงข้ามกับเช่นstaticอายุการใช้งานที่ตัวแปรคงอยู่ "ตลอดไป" โดยไม่คำนึงถึงขอบเขต autoคืออายุการใช้งานเริ่มต้นและแทบจะไม่เคยสะกดออกมาอย่างชัดเจน ด้วยเหตุนี้การเปลี่ยนความหมายจึงC++ปลอดภัย

ตอนนี้Cก่อนหน้า 99 Standard หากคุณไม่ระบุประเภทของตัวแปรค่าเริ่มต้นจะintเป็น

ดังนั้นauto a = 1;คุณกำลังประกาศ (และกำหนด) intตัวแปรโดยอายุการใช้งานจะถูกกำหนดโดยขอบเขต

("อายุการใช้งาน" เรียกถูกต้องมากกว่า "ระยะเวลาการจัดเก็บ" แต่ฉันคิดว่าอาจไม่ค่อยชัดเจน)

ในภาษา C และภาษาถิ่นในอดีตของ C ++ autoเป็นคำหลักที่aมีความหมายที่มีการจัดเก็บอัตโนมัติ เนื่องจากสามารถใช้ได้กับตัวแปรภายในเท่านั้นซึ่งเป็นค่าเริ่มต้นโดยอัตโนมัติจึงไม่มีใครใช้มัน ซึ่งเป็นเหตุผลว่าทำไม C ++ จึงเปลี่ยนคีย์เวิร์ดใหม่

ในอดีต C อนุญาตให้มีการประกาศตัวแปรโดยไม่มีตัวระบุประเภท intเริ่มต้นชนิด ดังนั้นคำประกาศนี้จึงเทียบเท่ากับ

int a=1;

ฉันคิดว่าสิ่งนี้เลิกใช้แล้ว (และอาจเป็นสิ่งต้องห้าม) ใน C สมัยใหม่ แต่คอมไพเลอร์ยอดนิยมบางตัวเริ่มต้นเป็น C90 (ซึ่งฉันคิดว่าอนุญาต) และเปิดใช้งานคำเตือนเฉพาะเมื่อคุณขอโดยเฉพาะ รวบรวมด้วย GCC และระบุ C99 ด้วย-std=c99หรือเปิดใช้งานคำเตือนโดยมี-Wallหรือ-Wimplicit-intให้คำเตือน:

warning: type defaults to ‘int’ in declaration of ‘a’

ในภาษา C autoหมายถึงสิ่งเดียวกันregisterใน C ++ 11 นั่นหมายความว่าตัวแปรมีระยะเวลาการจัดเก็บอัตโนมัติ

และใน C ก่อนที่จะ C99 (และคอมไพเลอร์ไมโครซอฟท์ไม่สนับสนุนการอย่างใดอย่างหนึ่งหรือ C99 C11 แม้ว่ามันอาจสนับสนุนบางส่วนของมัน), ชนิดสามารถถูกมองข้ามในหลาย ๆ intกรณีที่มันจะเริ่มต้น

มันไม่ได้ใช้ประเภทจากตัวเริ่มต้นเลย คุณเพิ่งบังเอิญเลือกผู้เริ่มต้นที่เข้ากันได้

right click on file -> Properties -> C/C++ -> Advanced -> Compile Asภาพสตูดิโอประเภทสะสมที่มีอยู่ใน เพื่อให้แน่ใจว่าคอมไพล์เป็นตัวเลือก C force แล้ว/TCในกรณีนี้คือสิ่งที่ larsmans พูด ( autoคีย์เวิร์ดC เก่า) อาจรวบรวมเป็น C ++ โดยที่คุณไม่รู้

คลาสหน่วยเก็บข้อมูลกำหนดขอบเขต (การมองเห็น) และอายุการใช้งานของตัวแปรและ / หรือฟังก์ชันภายในโปรแกรม C

มีคลาสพื้นที่เก็บข้อมูลต่อไปนี้ซึ่งสามารถใช้ในโปรแกรม C

auto
register
static
extern

auto เป็นคลาสพื้นที่จัดเก็บเริ่มต้นสำหรับตัวแปรโลคัลทั้งหมด

{
        int Count;
        auto int Month;
}

ตัวอย่างด้านบนกำหนดตัวแปรสองตัวที่มีคลาสพื้นที่เก็บข้อมูลเดียวกัน auto สามารถใช้ได้ภายในฟังก์ชันเท่านั้นเช่นตัวแปรโลคัล

intเป็นประเภทเริ่มต้นสำหรับautoโค้ดด้านล่าง:

auto Month;
/* Equals to */
int Month;

ด้านล่างรหัสถูกกฎหมายเช่นกัน:

/* Default-int */
main()
{
    reurn 0;
}