W dniu poniedziałek, 19 listopada 2018 17:15:55 UTC+1 użytkownik g...@g...com
napisał:
> W gcc masz feature o nazwie 'statement expressions' (dla C), totez nastepujaca
definicja powinna dzialac:
>
> #include <assert.h>
>
> #define Assert(p) assert(({p}))

Aha, oczywiście nie ma drugiego argumentu postaci "wynik_bool",
bo i nie ma takiej potrzeby.

Tutaj mamy przykładowe użycie. Pilk sa.c:


#include <assert.h>


#define Assert(p) assert((p))

int main(void) {

int n = 5;
Assert({
int sum = 0;
for (int i = 0; i < n; ++i) {
sum += i;
}

sum == (n*(n-1))/2;
});

return 0;
}


$ gcc -std=gnu99 sa.c
$ ./a.out

Jak zmienimy ostatnie wyrażenie w bloku np. na
sum == (n*(n-1))/3;

to dostajemy:

a.out: sa.c:17: main: Assertion `({ int sum = 0; for (int i = 0; i < n; ++i) { sum +=
i; } sum == (n*(n-1))/3; })' failed.