จาก Python ไป C++: ทำไมช่องว่างถึงดูใหญ่โตขนาดนี้

โปรแกรมเมอร์ Python ทุกคนที่สัมผัส C++ เป็นครั้งแรกมีปฏิกิริยาเดียวกัน: ทำไมการพิมพ์ "hello world" ถึงต้องใช้พิธีกรรมมากขนาดนี้? การกระโดดไม่ใช่แค่ไวยากรณ์ มันเป็นการเปลี่ยนแปลงในวิธีคิดเกี่ยวกับหน่วยความจำ ประเภท และสิ่งที่คอมพิวเตอร์กำลังทำจริง ๆ ขณะที่โปรแกรมของคุณทำงาน

Python ซ่อนอะไรไว้จากคุณ

Python ทำงานบนตัวแปล (CPython ในกรณีส่วนใหญ่) ที่จัดการการจัดสรรหน่วยความจำ การเก็บขยะ และการตรวจสอบประเภทเบื้องหลัง เมื่อคุณเขียน x = 5 แล้วต่อมาเขียน x = "hello" Python ก็แค่ปฏิเสธและจัดสรรชื่อใหม่ ไม่มีการบ่น ไม่ต้องล้างข้อมูลใด ๆ เอง

C++ ไม่ทำเช่นนั้นให้คุณ เมื่อคุณเขียน int x = 5; คุณก็จองหน่วยความจำคงที่ที่มีขนาดพอสำหรับจำนวนเต็ม คุณไม่สามารถโยนสตริงไปในนั้นได้ในภายหลัง และเมื่อคุณจัดสรรหน่วยความจำแบบไดนามิกด้วย new คุณต้องรับผิดชอบในการปล่อยมันด้วย delete หากลืม คุณก็มีการรั่วไหลหน่วยความจำ ลืมตรวจสอบว่าตัวชี้เป็น null ก่อนการอ้างอิง และคุณก็มี segfault Python สลับประสิทธิภาพเพื่อเงื่อนข้อความกล่อง C++ มอบกรรไกรให้คุณและเชื่อว่าคุณจะไม่วิ่ง

การพิมพ์แบบสแตติกเปลี่ยนวิธีการเขียนโค้ด ไม่ใช่เพียงวิธีการประกาศตัวแปร

ใน Python ลายเซ็นฟังก์ชันเป็นเพียงข้อเสนอแนะ ใน C++ พวกมันเป็นสัญญาที่บังคับใช้ในเวลารวบรวม:

int add(int a, int b) {
    return a + b;
}

เรียก add(3, "four") และคอมไพเลอร์ก็หยุดคุณก่อนที่โปรแกรมจะทำงาน Python จะยินดีให้คุณเขียน def add(a, b): return a + b จากนั้นก็จะพังเมื่อใครสักคนส่งประเภทที่เข้ากันไม่ได้เข้าไป นี่ไม่ใช่เรื่องเล็กน้อย มันเป็นปรัชญาที่แตกต่างกันเกี่ยวกับเวลาที่ข้อผิดพลาดควรแสดงขึ้นมา C++ ต้องการให้คุณจับข้อผิดพลาดในเวลารวบรวม Python ก็ยินดีจับพวกมันในการผลิตหากคุณไม่ได้เขียนการทดสอบ

การจัดการหน่วยความจำคือหลักสูตรที่แท้จริง

การกระโดดแนวคิดที่ใหญ่ที่สุดคือการเข้าใจสแต็คเทียบกับฮีป ตัวแปรท้องถิ่นและพารามิเตอร์ฟังก์ชันมักจะอาศัยอยู่บนสแต็ค และพวกมันทำความสะอาดตัวเองโดยอัตโนมัติเมื่อฟังก์ชันส่งคืน สิ่งใด ๆ ที่สร้างด้วย new อาศัยอยู่บนฮีป และมันจะอยู่ที่นั่นจนกว่าคุณจะชัดเจน delete มันหรือห่อมันด้วยตัวชี้อัจฉริยะ

C++ สมัยใหม่ (C++11 เป็นต้นไป) ให้ std::unique_ptr และ std::shared_ptr ให้คุณโดยเฉพาะเพื่อให้คุณไม่ต้องจัดการตัวชี้ดิบด้วยมือบ่อย ๆ:

std::unique_ptr<int> ptr = std::make_unique<int>(42);

ออบเจ็กต์นี้ทำลายตัวเองเมื่อออกจากขอบเขต ไม่จำเป็นต้อง delete ด้วยมือ หากคุณกำลังเรียนรู้ C++ ในปี 2024 ให้ข้ามไปที่ตัวชี้อัจฉริยะและรูปแบบ RAII (Resource Acquisition Is Initialization) โดยตรง แทนที่จะบดอบดำเนินการแบบฝึกหัดเลขคณิตตัวชี้ดิบที่ตั้งใจไว้สำหรับหลักสูตรปี 1998 คุณยังคงต้องเข้าใจตัวชี้ตามแนวคิด แต่คุณไม่จำเป็นต้องเขียนโค้ด malloc/free เพื่อพิสูจน์มัน

การรวบรวมเป็นลูปการตอบรับที่แตกต่างกัน

Python ให้ข้อเสริมทันทีแก่คุณ: เรียกใช้สคริปต์ ดูข้อผิดพลาด แก้ไข เรียกใช้อีกครั้ง C++ ใส่ขั้นตอนรวบรวมไว้ตรงกลาง และขั้นตอนนั้นจะจับข้อผิดพลาดทั้งหมดที่ Python เลื่อนไปจนถึงเวลาทำงาน การรวบรวมด้วย g++ -Wall -Wextra program.cpp -o program และให้ความสนใจต่อทุกคำเตือนจะช่วยให้คุณประหยัดเวลาในการแก้จุดบกพร่องแบบสับสนหลายชั่วโมง ความไม่ตรงกันของประเภท ตัวแปรที่ไม่ได้เริ่มต้น และปัญหาการเปรียบเทียบที่ลงนามแบบอื่น ทั้งหมดแสดงขึ้นที่นี่แทนที่จะเป็นพฤติกรรมรันไทม์ที่ลึกลับ การค้นแหว่งขัดแย้งคือความเร็วในการวนซ้ำ: วงจรแก้ไข-รวบรวม-เรียกใช้ของคุณช้ากว่าวงจรแก้ไข-เรียกใช้ของ Python โดยเฉพาะอย่างยิ่งในเบสโค้ดขนาดใหญ่ที่การสร้างใหม่อย่างสมบูรณ์อาจใช้เวลาหลายนาที อนั่นคือส่วนหนึ่งของเหตุผลที่เครื่องมือเช่น ccache และการสร้างแบบค่อยเป็นค่อยไปผ่าน CMake มีความสำคัญเมื่อโครงการของคุณเติบโตเกินกว่าไฟล์สองสามไฟล์

ที่ที่เรื่องนี้สำคัญในการปฏิบัติจริง

คุณไม่ได้เรียนรู้ C++ เพื่อเขียนโปรแกรมเดียวกันที่คุณเขียนใน Python แล้วเร็วขึ้น คุณเรียนรู้มันเพราะปัญหาบางอย่างต้องการมัน: เครื่องยนต์เกมที่มีงบประมาณเฟรมที่เข้มงวด ระบบฝังตัวที่มีหน่วยความจำไม่กี่ไบต์ ระบบการซื้อขายความถี่สูงที่ไมโครวินาทีมีราคา หรือส่วนประกอบระบบปฏิบัติการที่อยู่ต่ำกว่าตัวแปลของ Python เอง หากคุณกำลังทำงานด้านความปลอดภัย การเข้าใจแบบจำลองหน่วยความจำ C++ ยังอธิบายโดยตรงว่าความเสี่ยงการล้นบัฟเฟอร์และการใช้หลังจากปล่อยเกิดขึ้นที่ระดับไบนารี่ได้อย่างไร ความรู้ที่นามธรรมของ Python ซ่อนไว้อย่างแข็งขัน

คำแนะนำที่ซื่อสัตย์: อย่าพยายามทำให้ C++ รู้สึกเหมือน Python เปล่งเสียงอย่างไม่สบายตัวสักครู่ ความไม่สบายตัวก็คือประเด็น มันสอนให้คุณรู้ว่าตัวแปล Python ของคุณทำการทำงานอะไรเพื่อคุณตลอดเวลา

หากเปรียบเทียบภาษาแบบนี้มีประโยชน์ Korra Studio มีส่วนที่เกี่ยวข้องเกี่ยวกับความปลอดภัยของหน่วยความจำ พื้นฐานการเขียนโปรแกรมระบบ และวิศวกรรมย้อนกลับที่สร้างจากแนวคิดเหล่านี้โดยแน่นอน