How do I check if a variable is of a certain type (compare two types) in C?

by

Getting the type of a variable is, as of now, possible in C11 with the _Generic generic selection. It works at compile-time.

The syntax is a bit like that for switch. Here’s a sample (from this answer):

    #define typename(x) _Generic((x),                                                 \
            _Bool: "_Bool",                  unsigned char: "unsigned char",          \
             char: "char",                     signed char: "signed char",            \
        short int: "short int",         unsigned short int: "unsigned short int",     \
              int: "int",                     unsigned int: "unsigned int",           \
         long int: "long int",           unsigned long int: "unsigned long int",      \
    long long int: "long long int", unsigned long long int: "unsigned long long int", \
            float: "float",                         double: "double",                 \
      long double: "long double",                   char *: "pointer to char",        \
           void *: "pointer to void",                int *: "pointer to int",         \
          default: "other")

To actually use it for compile-time manual type checking, you can define an enum with all of the types you expect, something like this:

    enum t_typename {
        TYPENAME_BOOL,
        TYPENAME_UNSIGNED_CHAR,
        TYPENAME_CHAR,
        TYPENAME_SIGNED_CHAR,
        TYPENAME_SHORT_INT,
        TYPENAME_UNSIGNED_CHORT_INT,
        TYPENAME_INT,
        /* ... */
        TYPENAME_POINTER_TO_INT,
        TYPENAME_OTHER
    };

And then use _Generic to match types to this enum:

    #define typename(x) _Generic((x),                                                       \
            _Bool: TYPENAME_BOOL,           unsigned char: TYPENAME_UNSIGNED_CHAR,          \
             char: TYPENAME_CHAR,             signed char: TYPENAME_SIGNED_CHAR,            \
        short int: TYPENAME_SHORT_INT, unsigned short int: TYPENAME_UNSIGNED_SHORT_INT,     \
              int: TYPENAME_INT,                     \
        /* ... */                                    \
            int *: TYPENAME_POINTER_TO_INT,          \
          default: TYPENAME_OTHER)

More Related Contents:

  1. Is there a way to use a typedef struct variable in a function…? [closed]
  2. How can I correctly assign a new string value?
  3. self referential struct definition?
  4. Objective-C : BOOL vs bool
  5. Is char guaranteed to be exactly 8-bit long? [duplicate]
  6. Copying one structure to another
  7. C: pointer to struct in the struct definition
  8. How to verify if a void pointer (void *) is one of two data types?
  9. struct serialization in C and transfer over MPI
  10. How do you make an array of structs in C?
  11. What is ‘forward declaration’ and the difference between ‘typedef struct X’ and ‘struct X’?
  12. What is a designated initializer in C?
  13. Incompatible implicit declaration of built-in function ‘malloc’
  14. Copy struct to struct in C
  15. Correct format specifier for return value of sizeof() in C
  16. Type to use to represent a byte in ANSI (C89/90) C?
  17. What is a hash table and how do you make it in C? [closed]
  18. Where to find the complete definition of off_t type?
  19. Hiding members in a C struct
  20. default value for struct member in C
  21. Casting one C structure into another
  22. What primitive data type is time_t? [duplicate]
  23. Why does the smallest int, −2147483648, have type ‘long’? [duplicate]
  24. C – freeing structs
  25. Array of size 0 at the end of struct [duplicate]
  26. How to initialize a pointer to a struct in C?
  27. dereferencing pointer to incomplete type
  28. Char array in a struct – incompatible assignment? [duplicate]
  29. Is ‘long unsigned’ as valid as ‘unsigned long’ in C?
  30. Why does my function not modify the value of variable in a struct in C?

Leave a Comment