...
| Code Block | ||
|---|---|---|
| ||
struct timer {
uint8_t MODE;
uint32_t DATA;
uint32_t COUNT;
};
static_assert(offsetof(struct timer, DATA) == 4, "MemberDATA must DATAbe isat notoffset 4-byte aligned");
|
Static assertions allow incorrect assumptions to be diagnosed at compile time, instead of resulting in a silent malfunction or runtime error. Because the assertion is performed at compile time, no runtime cost in space or time is incurred. An assertion can be used at file or block scope, and failure results in a meaningful and informative diagnostic error message.
...