Bukankah pada dasarnya mereka sama?
Tidak. Sama sekali tidak. Bahkan tidak dekat.
Terlepas dari kenyataan makro Anda adalah intdan Anda constexpr unsignedadalah unsigned, ada perbedaan penting dan macro hanya memiliki satu keuntungan.
Cakupan
Makro didefinisikan oleh preprocessor dan hanya diganti ke dalam kode setiap kali itu terjadi. Preprocessor bodoh dan tidak memahami sintaks atau semantik C ++. Makro mengabaikan cakupan seperti ruang nama, kelas, atau blok fungsi, sehingga Anda tidak dapat menggunakan nama untuk hal lain dalam file sumber. Itu tidak benar untuk konstanta yang didefinisikan sebagai variabel C ++ yang tepat:
#define MAX_HEIGHT 720
constexpr int max_height = 720;
class Window {
int max_height;
};
Tidak masalah untuk memanggil variabel anggota max_heightkarena ini adalah anggota kelas dan memiliki cakupan yang berbeda, dan berbeda dari yang ada di ruang lingkup namespace. Jika Anda mencoba menggunakan kembali nama MAX_HEIGHTanggota tersebut, maka preprocessor akan mengubahnya menjadi omong kosong yang tidak dapat dikompilasi:
class Window {
int 720;
};
Inilah sebabnya mengapa Anda harus memberikan makro UGLY_SHOUTY_NAMESuntuk memastikannya menonjol dan Anda dapat berhati-hati dalam menamainya untuk menghindari bentrokan. Jika Anda tidak menggunakan makro secara tidak perlu, Anda tidak perlu khawatir tentang itu (dan tidak perlu membaca SHOUTY_NAMES).
Jika Anda hanya menginginkan konstanta di dalam fungsi, Anda tidak dapat melakukannya dengan makro, karena preprocessor tidak tahu apa itu fungsi atau apa artinya berada di dalamnya. Untuk membatasi makro hanya ke bagian tertentu dari file, Anda memerlukannya #undeflagi:
int limit(int height) {
#define MAX_HEIGHT 720
return std::max(height, MAX_HEIGHT);
#undef MAX_HEIGHT
}
Bandingkan dengan yang jauh lebih masuk akal:
int limit(int height) {
constexpr int max_height = 720;
return std::max(height, max_height);
}
Mengapa Anda lebih memilih yang makro?
Lokasi memori yang nyata
Variabel constexpr adalah variabel sehingga sebenarnya ada dalam program dan Anda dapat melakukan hal-hal C ++ normal seperti mengambil alamatnya dan mengikat referensi ke sana.
Kode ini memiliki perilaku yang tidak ditentukan:
#define MAX_HEIGHT 720
int limit(int height) {
const int& h = std::max(height, MAX_HEIGHT);
return h;
}
Masalahnya adalah itu MAX_HEIGHTbukan variabel, jadi untuk panggilan std::maxsementara intharus dibuat oleh kompilator. Referensi yang dikembalikan oleh std::maxmungkin kemudian merujuk ke sementara itu, yang tidak ada setelah akhir pernyataan itu, jadi return hmengakses memori yang tidak valid.
Masalah itu tidak ada dengan variabel yang tepat, karena memiliki lokasi tetap dalam memori yang tidak hilang:
int limit(int height) {
constexpr int max_height = 720;
const int& h = std::max(height, max_height);
return h;
}
(Dalam praktiknya Anda mungkin akan menyatakan int htidak, const int& htetapi masalahnya dapat muncul dalam konteks yang lebih halus.)
Kondisi praprosesor
Satu-satunya waktu untuk memilih makro adalah saat Anda ingin nilainya dipahami oleh preprocessor, untuk digunakan dalam #ifkondisi, mis.
#define MAX_HEIGHT 720
#if MAX_HEIGHT < 256
using height_type = unsigned char;
#else
using height_type = unsigned int;
#endif
Anda tidak dapat menggunakan variabel di sini, karena preprocessor tidak memahami cara merujuk ke variabel dengan nama. Ini hanya memahami hal-hal dasar yang sangat mendasar seperti ekspansi makro dan arahan yang dimulai dengan #(suka #includedan #definedan #if).
Jika anda menginginkan sebuah konstanta yang dapat dipahami oleh preprocessor maka anda harus menggunakan preprocessor untuk mendefinisikannya. Jika Anda menginginkan konstanta untuk kode C ++ normal, gunakan kode C ++ normal.
Contoh di atas hanya untuk mendemonstrasikan kondisi preprocessor, tetapi bahkan kode tersebut dapat menghindari penggunaan preprocessor:
using height_type = std::conditional_t<max_height < 256, unsigned char, unsigned int>;