โดยพื้นฐานแล้วพวกเขาไม่เหมือนกันหรือ?
ไม่ไม่อย่างแน่นอน ไม่ได้ใกล้เคียง.
นอกเหนือจากข้อเท็จจริงที่ว่ามาโครของคุณเป็นintและconstexpr unsignedเป็นของคุณunsignedแล้วยังมีข้อแตกต่างที่สำคัญและมาโครมีข้อดีเพียงอย่างเดียว
ขอบเขต
มาโครถูกกำหนดโดยตัวประมวลผลล่วงหน้าและจะถูกแทนที่ลงในโค้ดทุกครั้งที่เกิดขึ้น ตัวประมวลผลก่อนเป็นใบ้และไม่เข้าใจไวยากรณ์ C ++ หรือความหมาย มาโครจะไม่สนใจขอบเขตเช่นเนมสเปซคลาสหรือบล็อกฟังก์ชันดังนั้นคุณจึงไม่สามารถใช้ชื่อสำหรับสิ่งอื่นในไฟล์ต้นฉบับได้ นั่นไม่เป็นความจริงสำหรับค่าคงที่ที่กำหนดให้เป็นตัวแปร C ++ ที่เหมาะสม:
#define MAX_HEIGHT 720
constexpr int max_height = 720;
class Window {
int max_height;
};
เป็นเรื่องปกติที่จะมีการเรียกตัวแปรสมาชิกmax_heightเนื่องจากเป็นสมาชิกชั้นเรียนจึงมีขอบเขตที่แตกต่างกันและแตกต่างจากตัวแปรที่ขอบเขตเนมสเปซ หากคุณพยายามใช้ชื่อMAX_HEIGHTของสมาชิกซ้ำตัวประมวลผลก่อนจะเปลี่ยนเป็นเรื่องไร้สาระที่จะไม่รวบรวม:
class Window {
int 720;
};
นี่คือเหตุผลที่คุณต้องให้มาโครUGLY_SHOUTY_NAMESเพื่อให้แน่ใจว่ามันโดดเด่นและคุณสามารถระมัดระวังในการตั้งชื่อเพื่อหลีกเลี่ยงการปะทะกัน หากคุณไม่ใช้มาโครโดยไม่จำเป็นคุณก็ไม่ต้องกังวลเรื่องนั้น (และไม่ต้องอ่านSHOUTY_NAMES)
หากคุณต้องการค่าคงที่ภายในฟังก์ชันคุณไม่สามารถทำได้ด้วยมาโครเนื่องจากตัวประมวลผลล่วงหน้าไม่ทราบว่าฟังก์ชันคืออะไรหรืออยู่ภายในฟังก์ชันนั้นหมายความว่าอย่างไร หากต้องการ จำกัด มาโครเฉพาะบางส่วนของไฟล์คุณต้องใช้#undefมันอีกครั้ง:
int limit(int height) {
#define MAX_HEIGHT 720
return std::max(height, MAX_HEIGHT);
#undef MAX_HEIGHT
}
เปรียบเทียบกับสิ่งที่สมเหตุสมผลกว่า:
int limit(int height) {
constexpr int max_height = 720;
return std::max(height, max_height);
}
ทำไมคุณถึงชอบมาโคร?
ตำแหน่งหน่วยความจำจริง
ตัวแปร constexpr เป็นตัวแปรดังนั้นจึงมีอยู่จริงในโปรแกรมและคุณสามารถทำสิ่งต่างๆของ C ++ ตามปกติเช่นใช้ที่อยู่ของมันและเชื่อมโยงการอ้างอิงกับมัน
รหัสนี้มีพฤติกรรมที่ไม่ได้กำหนดไว้:
#define MAX_HEIGHT 720
int limit(int height) {
const int& h = std::max(height, MAX_HEIGHT);
return h;
}
ปัญหาคือนั่นMAX_HEIGHTไม่ใช่ตัวแปรดังนั้นสำหรับการเรียกstd::maxชั่วคราวintจะต้องสร้างโดยคอมไพเลอร์ การอ้างอิงที่ส่งคืนโดยstd::maxอาจอ้างถึงชั่วคราวนั้นซึ่งไม่มีอยู่หลังจากสิ้นสุดคำสั่งนั้นดังนั้นจึงreturn hเข้าถึงหน่วยความจำที่ไม่ถูกต้อง
ปัญหานั้นไม่มีอยู่ในตัวแปรที่เหมาะสมเนื่องจากมีตำแหน่งคงที่ในหน่วยความจำที่ไม่หายไป:
int limit(int height) {
constexpr int max_height = 720;
const int& h = std::max(height, max_height);
return h;
}
(ในทางปฏิบัติคุณอาจจะint hไม่ประกาศconst int& hแต่ปัญหาอาจเกิดขึ้นในบริบทที่ละเอียดกว่านี้)
เงื่อนไขของตัวประมวลผลล่วงหน้า
เวลาเดียวที่จะชอบมาโครคือเมื่อคุณต้องการให้พรีโปรเซสเซอร์เข้าใจค่าของมันเพื่อใช้ใน#ifเงื่อนไขเช่น
#define MAX_HEIGHT 720
#if MAX_HEIGHT < 256
using height_type = unsigned char;
#else
using height_type = unsigned int;
#endif
คุณไม่สามารถใช้ตัวแปรได้ที่นี่เนื่องจากตัวประมวลผลล่วงหน้าไม่เข้าใจวิธีอ้างถึงตัวแปรตามชื่อ มันเข้าใจเฉพาะสิ่งพื้นฐานพื้นฐานเท่านั้นเช่นการขยายมาโครและคำสั่งที่ขึ้นต้นด้วย#(like #includeand #defineand #if)
หากคุณต้องการค่าคงที่ที่พรีโปรเซสเซอร์สามารถเข้าใจได้คุณควรใช้ตัวประมวลผลล่วงหน้าเพื่อกำหนด หากคุณต้องการค่าคงที่สำหรับรหัส C ++ ปกติให้ใช้รหัส C ++ ปกติ
ตัวอย่างข้างต้นเป็นเพียงการแสดงให้เห็นถึงเงื่อนไขของตัวประมวลผลล่วงหน้า แต่ถึงแม้รหัสนั้นจะหลีกเลี่ยงการใช้ตัวประมวลผลล่วงหน้าได้:
using height_type = std::conditional_t<max_height < 256, unsigned char, unsigned int>;