Хіба вони в основному не однакові?
Ні. Абсолютно ні. Навіть близько не.
Окрім того, що ваш макрос є 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
Тут ви не можете використовувати змінну, оскільки препроцесор не розуміє, як посилатися на змінні за іменем. Він розуміє лише основні дуже основні речі, такі як розширення макросів та директиви, що починаються з #(як #includeі #defineта #if).
Якщо вам потрібна константа, яка може бути зрозумілою препроцесору, тоді вам слід використовувати препроцесор для її визначення. Якщо вам потрібна константа для звичайного коду С ++, використовуйте звичайний код С ++.
Наведений вище приклад - лише для демонстрації стану препроцесора, але навіть цей код може уникнути використання препроцесора:
using height_type = std::conditional_t<max_height < 256, unsigned char, unsigned int>;