Temelde aynı değiller mi?
Kesinlikle değil. Yakınında bile değil.
Aslında dışında makro bir olduğunu intve senin constexpr unsignedbir olduğunu unsignedsadece sahip önemli farklılıklar ve makrolar vardır, bir avantaj.
Dürbün
Bir makro, önişlemci tarafından tanımlanır ve her oluştuğunda koda basitçe ikame edilir. Önişlemci aptaldır ve C ++ sözdizimini veya anlambilimini anlamaz. Makrolar, ad alanları, sınıflar veya işlev blokları gibi kapsamları göz ardı eder, bu nedenle bir kaynak dosyada başka hiçbir şey için ad kullanamazsınız. Bu, uygun bir C ++ değişkeni olarak tanımlanan bir sabit için doğru değildir:
#define MAX_HEIGHT 720
constexpr int max_height = 720;
class Window {
int max_height;
};
Bir üye değişkeninin çağrılmasının bir sakıncası yoktur max_heightçünkü bir sınıf üyesi olduğu için farklı bir kapsamı vardır ve ad alanı kapsamındakinden farklıdır. MAX_HEIGHTÜyenin adını yeniden kullanmayı denediyseniz , önişlemci bunu derlemeyecek bu saçmalıkla değiştirir:
class Window {
int 720;
};
Bu nedenle, UGLY_SHOUTY_NAMESöne çıkmalarını sağlamak için makrolar vermelisiniz ve çatışmaları önlemek için bunları adlandırırken dikkatli olabilirsiniz. Makroları gereksiz yere kullanmazsanız, bunun için endişelenmenize gerek yoktur (ve okumak zorunda değilsiniz SHOUTY_NAMES).
Bir fonksiyonun içinde bir sabit istiyorsanız, bunu bir makro ile yapamazsınız, çünkü önişlemci bir fonksiyonun ne olduğunu veya içinde olmanın ne anlama geldiğini bilmez. Bir makroyu dosyanın yalnızca belirli bir kısmıyla sınırlamak için, makroyu #undefyeniden yapmanız gerekir :
int limit(int height) {
#define MAX_HEIGHT 720
return std::max(height, MAX_HEIGHT);
#undef MAX_HEIGHT
}
Çok daha mantıklı olanla karşılaştırın:
int limit(int height) {
constexpr int max_height = 720;
return std::max(height, max_height);
}
Neden makro olanı tercih edersiniz?
Gerçek bir hafıza konumu
Bir constexpr değişkeni bir değişkendir, bu nedenle programda gerçekten bulunur ve adresini alıp ona bir başvuru bağlamak gibi normal C ++ şeyleri yapabilirsiniz.
Bu kodun tanımlanmamış davranışı var:
#define MAX_HEIGHT 720
int limit(int height) {
const int& h = std::max(height, MAX_HEIGHT);
return h;
}
Sorun, bunun MAX_HEIGHTbir değişken olmamasıdır, bu nedenle std::maxgeçici çağrı için intderleyici tarafından oluşturulması gerekir. Tarafından döndürülen referans std::maxdaha sonra bu ifadenin bitiminden sonra var olmayan geçici olana başvurabilir, bu nedenle return hgeçersiz belleğe erişir.
Bu problem basitçe uygun bir değişkenle mevcut değildir, çünkü hafızada kaybolmayan sabit bir konuma sahiptir:
int limit(int height) {
constexpr int max_height = 720;
const int& h = std::max(height, max_height);
return h;
}
(Pratikte muhtemelen söylemeyeceksiniz int h, const int& hancak sorun daha ince bağlamlarda ortaya çıkabilir.)
Önişlemci koşulları
Bir makroyu tercih etmenin tek zamanı, değerinin önişlemci tarafından anlaşılması gerektiği zamandır #if, örneğin koşullarda kullanım için
#define MAX_HEIGHT 720
#if MAX_HEIGHT < 256
using height_type = unsigned char;
#else
using height_type = unsigned int;
#endif
Burada bir değişken kullanamazsınız çünkü önişlemci değişkenlere isme göre nasıl atıfta bulunulacağını anlamaz. Yalnızca makro genişleme ve #( #includeve #defineve gibi #if) ile başlayan direktifler gibi temel çok temel şeyleri anlar .
Önişlemci tarafından anlaşılabilecek bir sabit istiyorsanız, onu tanımlamak için önişlemciyi kullanmalısınız. Normal C ++ kodu için bir sabit istiyorsanız, normal C ++ kodunu kullanın.
Yukarıdaki örnek sadece bir önişlemci koşulunu göstermek içindir, ancak bu kod bile önişlemciyi kullanmaktan kaçınabilir:
using height_type = std::conditional_t<max_height < 256, unsigned char, unsigned int>;