เทมเพลต C ++ เป็นเพียงแมโครชนิดหนึ่งที่ได้รับการยกย่องหรือไม่?

จากการเปรียบเทียบที่แตกต่างกันระหว่างเทมเพลต C ++ และเจเนอรัล C # / Java เช่นนี้ -

/programming/31693/what-are-the-differences-between-generics-in-c-and-java-and-templates-in-c/31929#31929

ฉันเข้าใจว่ามีการใช้เทมเพลต C ++ โดยการประมวลผลล่วงหน้าบางอย่าง (การแทนที่ข้อความธรรมดาก่อนการแยกวิเคราะห์) ไม่ได้รวบรวม เนื่องจากการตรวจสอบชนิดในเทมเพลต C ++ มีลักษณะคล้ายกับมาโคร C ฉันหมายความว่าหากมีข้อผิดพลาดบางอย่างพวกเขาเป็นข้อผิดพลาดจากรหัสที่สร้างขึ้นหลังจากการประมวลผลบล็อกรหัส templated ไม่ใช่จากแม่แบบเอง กล่าวอีกนัยหนึ่งมันเป็นแค่มาโครระดับสูงในซี

จากนั้นฉันก็พบข้อเท็จจริงอื่น ๆ ที่สนับสนุนสิ่งนี้ -

• ฉันคิดว่าถ้ามีการใช้เทมเพลต C ++ โดยการประมวลผลล่วงหน้าจะมีปัญหากับการเชื่อมโยงแบบไดนามิก (โดยใช้. dll) และ googling ที่รวดเร็วสนับสนุนสิ่งนี้

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

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

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

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

ดังนั้น: เท็มเพลต C ++ ไม่ได้ทำการประมวลผลล่วงหน้าในมาโครที่มีความหมายเหมือนกันพวกมันไม่ใช่มาโครแบบ C และเป็นไปไม่ได้ที่จะใช้มาโคร C เพื่อทำซ้ำสิ่งที่เทมเพลตทำ

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

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

เทมเพลตช่วยลดความจำเป็นในการใช้งานแมโครด้วยการนำเสนอวิธีที่ปลอดภัยกว่ามีประสิทธิภาพและพิเศษกว่า (แม้ว่าฉันจะไม่คิดว่าเป็นคำจริง) ในการติดตั้งโค้ดสำหรับหลาย ๆ ประเภท

มีหลากหลายวิธีในการพิมพ์รหัสเทมเพลตใน c ซึ่งไม่มีวิธีไหนที่ดีมากเมื่อคุณได้รับมากกว่าประเภทที่เรียบง่าย

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

ความแตกต่างก็คือแม่แบบให้เกียรติเนมสเปซ

IMHO เทมเพลต C ++ และมาโคร C มีไว้เพื่อแก้ไขปัญหาที่แตกต่างกันสองอย่าง เทมเพลตไลบรารี C ++ มาตรฐานดั้งเดิมเป็นกลไกในการแยกคลาสคลาสคอนเทนเนอร์ (อาร์เรย์รายการที่ลิงก์และอื่น ๆ ) ออกจากฟังก์ชั่นทั่วไปที่ใช้กับพวกมัน (เช่นการเรียงลำดับและการเรียงต่อกัน) การมีการนำเสนอนามธรรมของอัลกอริธึมที่มีประสิทธิภาพและโครงสร้างข้อมูลนำไปสู่โค้ดที่แสดงออกมากขึ้นเนื่องจากมีการคาดเดาน้อยลงในวิธีที่ดีที่สุดในการใช้ฟังก์ชันที่ทำงานกับข้อมูลบางส่วน มาโคร C มีความสอดคล้องกับสิ่งที่คนทั่วไปมักจะเห็นในมาโคร Lisp ซึ่งพวกเขาได้จัดเตรียมวิธีการ "ขยาย" ภาษาด้วยโค้ดอินไลน์ สิ่งที่น่าสนใจคือ C ++ Standard Library ได้ขยายฟังก์ชันการทำงานของเทมเพลตเพื่อให้ครอบคลุมส่วนใหญ่ที่เราใช้ #define ใน C