main () เป็นจุดเริ่มต้นของโปรแกรม C ++ จริงหรือ?

ส่วน $ 3.6.1 / 1 จาก C ++ Standard อ่าน

โปรแกรมจะต้องมีฟังก์ชันโกลบอลที่เรียกว่าmainซึ่งเป็นจุดเริ่มต้นของโปรแกรม

ลองพิจารณารหัสนี้

int square(int i) { return i*i; }
int user_main()
{ 
    for ( int i = 0 ; i < 10 ; ++i )
           std::cout << square(i) << endl;
    return 0;
}
int main_ret= user_main();
int main() 
{
        return main_ret;
}

โค้ดตัวอย่างนี้ทำในสิ่งที่ฉันตั้งใจจะทำนั่นคือการพิมพ์กำลังสองของจำนวนเต็มตั้งแต่ 0 ถึง 9 ก่อนที่จะเข้าสู่main()ฟังก์ชันซึ่งควรจะเป็น "start" ของโปรแกรม

ฉันยังรวบรวมด้วย-pedanticตัวเลือก GCC 4.5.0 มันไม่มีข้อผิดพลาดไม่เตือน!

ดังนั้นคำถามของฉันคือ

รหัสนี้เป็นไปตามมาตรฐานจริงหรือไม่?

หากเป็นไปตามมาตรฐานแล้วจะไม่ทำให้สิ่งที่มาตรฐานกล่าวเป็นโมฆะหรือไม่? main()ยังไม่เริ่มโปรแกรมนี้! user_main()ดำเนินการก่อนmain().

ฉันเข้าใจดีว่าในการเริ่มต้นตัวแปรส่วนกลางmain_retนั้นuse_main()จะดำเนินการก่อน แต่นั่นเป็นสิ่งที่แตกต่างโดยสิ้นเชิง ประเด็นก็คือว่ามันไม่เป็นโมฆะคำสั่งยก $ 3.6.1 / 1 จากมาตรฐานในขณะที่main()ไม่ได้เป็นจุดเริ่มต้นของโปรแกรม; มันเป็นจุดสิ้นสุดของโปรแกรมนี้จริงๆ!

แก้ไข:

คุณนิยามคำว่า 'เริ่มต้น' ได้อย่างไร?

มันทำให้คำจำกัดความของวลี"start of the program" ลดลง แล้วคุณนิยามมันอย่างไร?

ไม่ C ++ ทำหลายสิ่งหลายอย่างเพื่อ "กำหนดสภาพแวดล้อม" ก่อนที่จะเรียก main; อย่างไรก็ตามสิ่งสำคัญคือการเริ่มต้นอย่างเป็นทางการของส่วน "ผู้ใช้ที่ระบุ" ของโปรแกรม C ++

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

หลังจาก main แล้วโค้ดของคุณมีแนวคิด "อยู่ในการควบคุมอย่างเต็มที่" ของโปรแกรมในแง่ที่คุณสามารถระบุคำสั่งที่จะดำเนินการและลำดับที่จะดำเนินการได้ มัลติเธรดสามารถจัดเรียงลำดับการเรียกใช้โค้ดใหม่ได้ แต่คุณยังสามารถควบคุม C ++ ได้เนื่องจากคุณระบุให้มีส่วนของการดำเนินการโค้ด (อาจ) ไม่อยู่ในลำดับ

คุณกำลังอ่านประโยคไม่ถูกต้อง

โปรแกรมจะต้องมีฟังก์ชันโกลบอลที่เรียกว่า main ซึ่งเป็นจุดเริ่มต้นของโปรแกรมที่กำหนดไว้

มาตรฐานกำลังกำหนดคำว่า "เริ่ม" สำหรับวัตถุประสงค์ของส่วนที่เหลือของมาตรฐาน มันไม่ได้บอกว่าไม่มีรันรหัสก่อนที่จะmainถูกเรียกว่า mainมันบอกว่าจุดเริ่มต้นของโปรแกรมจะถือเป็นที่ฟังก์ชั่น

โปรแกรมของคุณเป็นไปตามมาตรฐาน โปรแกรมของคุณยังไม่ "เริ่ม" จนกว่าโปรแกรมหลักจะเริ่มทำงาน ตัวสร้างถูกเรียกก่อนโปรแกรมของคุณ "เริ่ม" ตามคำจำกัดความของ "start" ในมาตรฐาน แต่แทบจะไม่สำคัญ จำนวนมากของรหัสจะถูกดำเนินการก่อนที่จะmainมีการที่เคยเรียกว่าในทุกโปรแกรมไม่เพียงตัวอย่างนี้

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

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

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

ดูนี่สิ:

class Foo
{
public:
   Foo();

 // other stuff
};

Foo foo;

int main()
{
}

ขั้นตอนของโปรแกรมของคุณจะเกิดขึ้นอย่างมีประสิทธิภาพ Foo::Foo()

คุณติดแท็กคำถามเป็น "C" ด้วยเช่นกันหากพูดถึง C อย่างเคร่งครัดการเริ่มต้นของคุณควรล้มเหลวตามข้อ 6.7.8 "การเริ่มต้น" ของมาตรฐาน ISO C99

สิ่งที่เกี่ยวข้องมากที่สุดในกรณีนี้ดูเหมือนจะเป็นข้อ จำกัด # 4 ซึ่งระบุว่า:

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

ดังนั้นคำตอบสำหรับคำถามของคุณคือรหัสไม่สอดคล้องกับมาตรฐาน C

คุณอาจต้องการลบแท็ก "C" หากคุณสนใจเฉพาะมาตรฐาน C ++

ส่วน 3.6 โดยรวมชัดเจนมากเกี่ยวกับการโต้ตอบmainและการเริ่มต้นแบบไดนามิก "การเริ่มต้นที่กำหนดของโปรแกรม" main()ที่ไม่ได้ใช้ที่ใดและเป็นเพียงสื่อความหมายของความตั้งใจทั่วไปของ ไม่มีเหตุผลใดที่จะตีความวลีนั้นในรูปแบบเชิงบรรทัดฐานที่ขัดแย้งกับข้อกำหนดที่ละเอียดและชัดเจนในมาตรฐาน

คอมไพเลอร์มักจะต้องเพิ่มโค้ดก่อน main () เพื่อให้เป็นไปตามมาตรฐาน เนื่องจากมาตรฐานระบุว่าต้องทำ initalization of globals / statics ก่อนที่โปรแกรมจะทำงาน และตามที่กล่าวไว้ก็เช่นเดียวกันกับตัวสร้างวัตถุที่วางไว้ที่ขอบเขตไฟล์ (globals)

ดังนั้นคำถามเดิมจึงเกี่ยวข้องกับ C เช่นกันเนื่องจากในโปรแกรม C คุณจะยังคงมีการเริ่มต้นแบบ globals / static ก่อนที่โปรแกรมจะเริ่มทำงานได้

มาตรฐานถือว่าตัวแปรเหล่านี้เริ่มต้นผ่าน "magic" เนื่องจากไม่ได้บอกว่าควรตั้งค่าอย่างไรก่อนเริ่มต้นโปรแกรม ฉันคิดว่าพวกเขาถือว่าสิ่งนั้นเป็นสิ่งที่อยู่นอกขอบเขตของมาตรฐานภาษาโปรแกรม

แก้ไข: ดูตัวอย่าง ISO 9899: 1999 5.1.2:

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

ทฤษฎีที่อยู่เบื้องหลังวิธีการสร้าง "เวทมนตร์" นี้ย้อนกลับไปสู่การเกิดของ C ซึ่งเป็นภาษาโปรแกรมที่ตั้งใจจะใช้สำหรับ UNIX OS บนคอมพิวเตอร์ที่ใช้ RAM เท่านั้น ตามทฤษฎีแล้วโปรแกรมจะสามารถโหลดข้อมูลที่เตรียมไว้ล่วงหน้าทั้งหมดจากไฟล์ปฏิบัติการลงใน RAM ในเวลาเดียวกันกับที่โปรแกรมอัปโหลดไปยัง RAM

ตั้งแต่นั้นเป็นต้นมาคอมพิวเตอร์และระบบปฏิบัติการได้พัฒนาขึ้นและ C ถูกใช้ในพื้นที่กว้างกว่าที่คาดการณ์ไว้ในตอนแรก ระบบปฏิบัติการพีซีสมัยใหม่มีที่อยู่เสมือนเป็นต้นและระบบฝังตัวทั้งหมดจะรันโค้ดจาก ROM ไม่ใช่ RAM ดังนั้นจึงมีหลายสถานการณ์ที่ไม่สามารถตั้งค่า RAM "โดยอัตโนมัติ" ได้

นอกจากนี้มาตรฐานยังเป็นนามธรรมเกินกว่าที่จะรู้อะไรเกี่ยวกับสแต็กและหน่วยความจำการประมวลผล ฯลฯ สิ่งเหล่านี้ต้องทำเช่นกันก่อนที่โปรแกรมจะเริ่มทำงาน

ดังนั้นโปรแกรม C / C ++ ทุกโปรแกรมจะมีโค้ด init / "copy-down" ที่เรียกใช้งานก่อนที่จะเรียก main เพื่อให้สอดคล้องกับกฎการเริ่มต้นของมาตรฐาน

ตัวอย่างเช่นระบบฝังตัวมักจะมีตัวเลือกที่เรียกว่า "การเริ่มต้นที่ไม่เป็นไปตามมาตรฐาน ISO" ซึ่งขั้นตอนการเริ่มต้นทั้งหมดจะถูกข้ามไปด้วยเหตุผลด้านประสิทธิภาพจากนั้นโค้ดจะเริ่มต้นโดยตรงจาก main แต่ระบบดังกล่าวไม่เป็นไปตามมาตรฐานเนื่องจากคุณไม่สามารถพึ่งพาค่าเริ่มต้นของตัวแปรส่วนกลาง / คงที่ได้

"โปรแกรม" ของคุณเพียงแค่ส่งคืนค่าจากตัวแปรส่วนกลาง อย่างอื่นคือรหัสเริ่มต้น ดังนั้นมาตรฐานจึงถือ - คุณมีโปรแกรมที่ไม่สำคัญมากและการเริ่มต้นที่ซับซ้อนมากขึ้น

main () เป็นฟังก์ชันผู้ใช้ที่เรียกโดยไลบรารีรันไทม์ C

ดูเพิ่มเติม: การหลีกเลี่ยงหลัก (จุดเริ่มต้น) ในโปรแกรม C

ดูเหมือนเป็นการเล่นลิ้นความหมายภาษาอังกฤษ OP หมายถึงบล็อกโค้ดของเขาก่อนเป็น "รหัส" และต่อมาเป็น "โปรแกรม" ผู้ใช้เขียนโค้ดจากนั้นคอมไพลเลอร์จะเขียนโปรแกรม

main ถูกเรียกหลังจากเริ่มต้นตัวแปรส่วนกลางทั้งหมด

สิ่งที่มาตรฐานไม่ได้ระบุคือลำดับการเริ่มต้นของตัวแปรส่วนกลางทั้งหมดของโมดูลทั้งหมดและไลบรารีที่ลิงก์แบบสแตติก

ใช่หลักคือ "จุดเริ่มต้น" ของโปรแกรม C ++ ทุกโปรแกรมยกเว้นส่วนขยายเฉพาะการนำไปใช้งาน ถึงกระนั้นบางสิ่งก็เกิดขึ้นก่อน main โดยเฉพาะอย่างยิ่งการเริ่มต้นทั่วโลกเช่น main_ret