Так как boost запрещен в компании, в которой я работаю, мне нужно реализовать ее функциональность в чистом С++. Я искал источники форсирования, но они кажутся слишком сложными, чтобы понять, по крайней мере, для меня. Я знаю, что в стандарте С++ 0x есть что-то под названием static_assert()
, но я бы не хотел использовать какие-либо функции С++ 0x.
BOOST_STATIC_ASSERT без повышения
Ответ 1
Еще один трюк (который можно использовать в C) состоит в том, чтобы попытаться построить массив с отрицательным размером, если ошибка assert:
#define ASSERT(cond) int foo[(cond) ? 1 : -1]
в качестве бонуса вы можете использовать typedef вместо объекта, так что его можно использовать в большем количестве контекстов и не происходит, когда он преуспеет:
#define ASSERT(cond) typedef int foo[(cond) ? 1 : -1]
наконец, создайте имя с меньшим шансом столкновения имени (и многократно используемого по крайней мере в разных строках):
#define CAT_(a, b) a ## b
#define CAT(a, b) CAT_(a, b)
#define ASSERT(cond) typedef int CAT(AsSeRt, __LINE__)[(cond) ? 1 : -1]
Ответ 2
template<bool> struct StaticAssert;
template<> struct StaticAssert<true> {};
int main() {
StaticAssert< (4>3) >(); //OK
StaticAssert< (2+2==5) >(); //ERROR
}
Ответ 3
Вот моя собственная реализация статических утверждений, извлеченных из моей базы кода: Pre-C++11 Static Assertions Without Boost
.
Использование:
STATIC_ASSERT(expression, message);
Когда тест статического утверждения терпит неудачу, генерируется сообщение об ошибке компилятора, которое каким-то образом содержит STATIC_ASSERTION_FAILED_AT_LINE_xxx_message
.
message
должен быть допустимым идентификатором С++, например no_you_cant_have_a_pony
, который приведет к ошибке компилятора, содержащей:
STATIC_ASSERTION_FAILED_AT_LINE_1337_no_you_cant_have_a_pony
:)
#define CONCATENATE(arg1, arg2) CONCATENATE1(arg1, arg2)
#define CONCATENATE1(arg1, arg2) CONCATENATE2(arg1, arg2)
#define CONCATENATE2(arg1, arg2) arg1##arg2
/**
* Usage:
*
* <code>STATIC_ASSERT(expression, message)</code>
*
* When the static assertion test fails, a compiler error message that somehow
* contains the "STATIC_ASSERTION_FAILED_AT_LINE_xxx_message" is generated.
*
* /!\ message has to be a valid C++ identifier, that is to say it must not
* contain space characters, cannot start with a digit, etc.
*
* STATIC_ASSERT(true, this_message_will_never_be_displayed);
*/
#define STATIC_ASSERT(expression, message)\
struct CONCATENATE(__static_assertion_at_line_, __LINE__)\
{\
implementation::StaticAssertion<static_cast<bool>((expression))> CONCATENATE(CONCATENATE(CONCATENATE(STATIC_ASSERTION_FAILED_AT_LINE_, __LINE__), _), message);\
};\
typedef implementation::StaticAssertionTest<sizeof(CONCATENATE(__static_assertion_at_line_, __LINE__))> CONCATENATE(__static_assertion_test_at_line_, __LINE__)
// note that we wrap the non existing type inside a struct to avoid warning
// messages about unused variables when static assertions are used at function
// scope
// the use of sizeof makes sure the assertion error is not ignored by SFINAE
namespace implementation {
template <bool>
struct StaticAssertion;
template <>
struct StaticAssertion<true>
{
}; // StaticAssertion<true>
template<int i>
struct StaticAssertionTest
{
}; // StaticAssertionTest<int>
} // namespace implementation
STATIC_ASSERT(true, ok);
STATIC_ASSERT(false, ko);
int main()
{
return 0;
}
Ответ 4
Вы можете просто скопировать макрос из Boost source file в свой собственный код. Если вам не нужно поддерживать все компиляторы Boost, вы можете просто выбрать правильное определение для своего компилятора и опустить оставшуюся часть #ifdef
в этом файле.
Ответ 5
Я считаю, что это должно работать:
template<bool> struct CompileTimeAssert;
template<> struct CompileTimeAssert<true>{};
#define STATIC_ASSERT(e) (CompileTimeAssert <(e) != 0>())
Ответ 6
Я использую следующий заголовочный файл, код которого разорвался у кого-то еще...
#ifndef STATIC_ASSERT__H
#define STATIC_ASSERT__H
/* ripped from http://www.pixelbeat.org/programming/gcc/static_assert.html */
#define ASSERT_CONCAT_(a, b) a##b
#define ASSERT_CONCAT(a, b) ASSERT_CONCAT_(a, b)
/* These can't be used after statements in c89. */
#ifdef __COUNTER__
/* microsoft */
#define STATIC_ASSERT(e) enum { ASSERT_CONCAT(static_assert_, __COUNTER__) = 1/(!!(e)) }
#else
/* This can't be used twice on the same line so ensure if using in headers
* that the headers are not included twice (by wrapping in #ifndef...#endif)
* Note it doesn't cause an issue when used on same line of separate modules
* compiled with gcc -combine -fwhole-program. */
#define STATIC_ASSERT(e) enum { ASSERT_CONCAT(assert_line_, __LINE__) = 1/(!!(e)) }
#endif
/* http://msdn.microsoft.com/en-us/library/ms679289(VS.85).aspx */
#ifndef C_ASSERT
#define C_ASSERT(e) STATIC_ASSERT(e)
#endif
#endif