Я пытаюсь реализовать метод, аналогичный static_assert, который определен в стандарте С++ 11. Основная проблема заключается в том, как компилятор С++ записывает текстовое сообщение, передаваемое в static_assert, как const char*? Я могу заставить компилятор написать сообщение типа A_is_not_POD. Это то, что у меня есть:
#define MY_STATIC_ASSERT(condition, name) \
typedef char name[(condition) ? 1 : -1];
Но было бы неплохо заставить компилятор написать что-то вроде "Error: A is not POD." Любые предложения?
Не уверен, что я понимаю вопрос, но у C11 есть _Static_assert(condition, errmessage). В C99 эта функция отсутствовала, но, в зависимости от компилятора, можно было эмулировать. Например. для gcc (unfortulately clang не поддерживает атрибут (ошибка))
#define MY_STATIC_ASSERT(cnd, descr) ({ \
extern int __attribute__ ((error("static assert failed: (" #cnd ") (" #descr ")"))) \
compile_time_check(void); \
((cnd) ? 0 : compile_time_check()), 0; \
})
В стандарте c99 нет никакого "официального" способа выполнения статического утверждения в вашем компиляторе С++.
"Основная проблема заключается в том, как компилятор С++ записывает текстовое сообщение, передаваемое static_assert в виде const char *?"
Компилятор С++ обнаруживает ошибку в коде и выводит соответствующее сообщение об ошибке на основе стандартного списка сообщений, которые он имеет для каждой ошибки, которая, как известно, может возникнуть. В c99 компилятор не знает, что такое static assert error ", поэтому вам нужно вызвать некоторую другую ошибку.
Однако, поскольку создание статических утверждений с компилятором c99 является своего рода хаком, оно не способно печатать хорошее сообщение об ошибке точно так, как вы хотите.
В вашем примере
#define MY_STATIC_ASSERT(condition, name) \
typedef char name[(condition) ? 1 : -1];
MY_STATIC_ASSERT(false, my_error_msg)
будет вызывать сообщение "error: size of array ‘my_error_msg’ is negative" в компиляторе gcc (и, если вы хотите, похожее сообщение в других компиляторах!). Предоставление массива сообщение об ошибке для name было способом распечатать вашу собственную информацию. Существуют различные другие методы/хаки, которые вы можете сделать специально, например, плохие шаблоны, enums ссылка
Примечание. вы можете предоставить настраиваемые сообщения компилятора до С++ 11 с использованием макросов pre-processor, таких как #error или #pragma. Однако время предварительной обработки не совпадает с компиляцией! Препроцессор имеет ограниченную способность оценивать многие выражения и ключевые слова, такие как "if", "sizeof", "return" и т.д., Не имеют смысла для препроцессора, только компилятор. ссылка с некоторым обзором