BOOST_STATIC_ASSERT без повышения

Question

Поскольку повышение запрещено в компании, на которую я работаю, мне нужно реализовать ее функциональность на чистом C++. Я изучил источники повышения, но они кажутся слишком сложными для понимания, по крайней мере, для меня. Я знаю, что есть что-то под названием static_assert() в стандарте C++0x, но я бы не хотел использовать какие-либо функции C++0x.

Answer 1

Еще одна хитрость (которую можно использовать в C) - попытаться создать массив с отрицательным размером в случае сбоя подтверждения:

#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]

Answer 2

template<bool> struct StaticAssert;
template<> struct StaticAssert<true> {};

int main() {
   StaticAssert< (4>3) >(); //OK
   StaticAssert< (2+2==5) >(); //ERROR
}

Answer 3

Вот моя собственная реализация статических утверждений, извлеченных из моей базы кода: Pre-C++11 Static Assertions Without Boost,

Использование:

STATIC_ASSERT(expression, message);

При сбое теста статического утверждения появляется сообщение об ошибке компилятора, которое каким-то образом содержит STATIC_ASSERTION_FAILED_AT_LINE_xxx_message генерируется.

message должен быть действительным идентификатором C++, например 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;
}

Answer 4

Вы можете просто скопировать макрос из исходного файла Boost в свой собственный код. Если вам не нужно поддерживать все поддерживаемые Boost компиляторы, вы можете просто выбрать правильное определение для вашего компилятора и пропустить остальные #ifdefв этом файле.

Answer 5

Я считаю, что это должно работать:

template<bool> struct CompileTimeAssert;   
template<> struct CompileTimeAssert<true>{};
#define STATIC_ASSERT(e) (CompileTimeAssert <(e) != 0>())

Answer 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