static assert declaration

C

Language

Headers

Type support

Program utilities

Variadic function support

Error handling

Dynamic memory management

Date and time utilities

Strings library

Algorithms

Numerics

Input/output support

Localization support

Atomic operations (C11)

Thread support (C11)

Technical Specifications

C language

ASCII chart

Basic concepts

Keywords

Preprocessor

Statements

Expressions

Initialization

Declarations

Functions

Miscellaneous

history of C

Technical Specifications

Declarations

pointer

array

enum

storage duration and linkage

const

volatile

restrict (C99)

struct

union

bit field

alignas (C11)

typedef

static_assert (C11)

atomic types (C11)

external and tentative definitions

Syntax

_Static_assert ( expression , message )		(since C11)

expression	-	any integer constant expression
message	-	any string literal

This keyword is also available as convenience macro static_assert, available in the header <assert.h>.

Explanation

The constant expression is evaluated at compile time and compared to zero. If it compares equal to zero, a compile-time error occurs and the compiler must display message as part of the error message (except that characters not in basic source character set aren't required to be displayed).

Otherwise, if expression does not equal zero, nothing happens; no code is emitted.

Keywords

_Static_assert

Example

Run this code

#include <assert.h>
int main(void)
{
    // Test if math works.
    static_assert(2 + 2 == 4, "Whoa dude!"); // or _Static_assert(...

    // This will produce an error at compile time.
    static_assert(sizeof(int) < sizeof(char),
                 "this program requires that int is less than char");
}

References

• C11 standard (ISO/IEC 9899:2011):

• 6.7.10 Static assertions (p: 145)

• 7.2 Diagnostics <assert.h> (p: 186-187)