Есть-ли какая-нибудь возможность сотворить макрос типа ASSERT,
чтобы в случае невыполнения условия вылезал error или warning на этапе компиляции?

У меня такое никак не выходит....
Спасибо!

Нет, внутри макросов другие директивы препроцессора применять нельзя.
А иногда хочется.

Только врукопашную.

Я так и понял

#define MY_ASSERT_H(a,h) typedef int my_assert_##h##_h [(a) ? 1 : 0]
#define MY_ASSERT(a) MY_ASSERT_H(a,__LINE__)


use:

#define MY_SOME_C 10

MY_ASSERT(MY_SOME_C == 10);
MY_ASSERT(sizeof(int) == 2);

Сообщение отредактировал VIII_electronix - Aug 27 2008, 16:18

Разворачивается препроцессором так

В результате дважды объявлен тип my_assert___LINE___h

Не помню, где-то вычитал. Есть такая изящная штука, именуемая STATIC_ASSERT. Она именно выдает ошибку на этапе компиляции (обычный ASSERT - на этапе выполнения). Выглядит примитивно, но не тривиально. Два но:
1. катит только на C++
2. на разных компиляторах выдает совершенно различную интерпретацию кода ошибки, но точно показывает строку, где эта ошибка возникает.
Я просто в комментарии к этой строке пишу, что здесь контролируется.

template<bool> struct CompileTimeError;
template<> struct CompileTimeError<true> {};
#define STATIC_ASSERT(expr) \
(CompileTimeError<(expr) != 0>())


// Example of usage:
// STATIC_ASSERT(sizeof(int) > 4); - produce error in ARM or X86 machine

да, забыл про дополнительный уровень вложенности.
гнутые компиляторы, дополнительно требуют отрицательный размер массива для ошибки.
примерно такой код использовал в keil, icc, gcc, bcb.

#define MY_JOIN_3_H(A,B,C) A##B##C
#define MY_JOIN_3(A,B,C) MY_JOIN_3_H(A,B,C)

#define MY_ASSERT_H(A) typedef int MY_JOIN_3(my_assert_,__LINE__,_h) [(A) ? 1 : -1]
#define MY_ASSERT(A) MY_ASSERT_H(A)

#define MY_SOME_C 10

MY_ASSERT(MY_SOME_C == 10);
MY_ASSERT(sizeof(int) == 2);

Да это работает. Спасибо!

Дык в AVR Studio для тех кто пишет на ассемблере есть спец. директивы: .ERROR и .WARNING