Синтаксис и пример использования _Generic в C11 - PullRequest
Новая
       56

Синтаксис и пример использования _Generic в C11

61 голосов
/ 21 марта 2012

Я слышал, C11 добавил дженерики.Я немного погуглил, просмотрел несколько статей, понял, что есть новое ключевое слово (_Generic) и все.Но я не могу понять все это.

Это что-то вроде обобщений в C # или шаблонов в C ++?Может ли кто-нибудь дать мне краткое объяснение определения обобщений в С11, его синтаксиса и простого примера использования?

Ответы [ 3 ]

78 голосов
/ 25 июня 2013

Лучший пример, который я видел , вдохновил следующий (работающий) пример, который открывает всевозможные причудливые возможности для взломанного самоанализа ... 

#include <stdio.h>
#include <stddef.h>
#include <stdint.h>

#define typename(x) _Generic((x),        /* Get the name of a type */             \
                                                                                  \
        _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")

#define fmt "%20s is '%s'\n"
int main() {

  size_t s; ptrdiff_t p; intmax_t i; int ai[3] = {0}; return printf( fmt fmt fmt fmt fmt fmt fmt fmt,

     "size_t", typename(s),               "ptrdiff_t", typename(p),     
   "intmax_t", typename(i),      "character constant", typename('0'),
 "0x7FFFFFFF", typename(0x7FFFFFFF),     "0xFFFFFFFF", typename(0xFFFFFFFF),
"0x7FFFFFFFU", typename(0x7FFFFFFFU),  "array of int", typename(ai));
}

                 ╔═══════════════╗ 
═════════════════╣ Amazeballs... ╠═════════════════════════════════════
                 ╚═══════════════╝ 
            size_t is 'unsigned long int'
         ptrdiff_t is 'long int'
          intmax_t is 'long int'
character constant is 'int'
        0x7FFFFFFF is 'int'
        0xFFFFFFFF is 'unsigned int'
       0x7FFFFFFFU is 'unsigned int'
      array of int is 'other'
45 голосов
/ 21 марта 2012

Это - довольно хорошее введение.Вот обзор:

Общий выбор осуществляется с новым ключевым словом: _Generic.Синтаксис аналогичен простому оператору switch для типов: _Generic( 'a', char: 1, int: 2, long: 3, default: 0) оценивается как 2 (символьные константы являются целыми числами в C).

В основном это работает как вид switch, где меткиявляются именами типов, которые проверяются на соответствие типу первого выражения ('a' выше).Результат становится результатом оценки _Generic().

6 голосов
/ 19 января 2016

Я использую clion 1.2.4, и clion сейчас не поддерживает c11, поэтому я использую следующий код в c99 вместо _Generic 

#include <stdio.h>

int main(int argc, char **argv) {
    char *s;
    if (__builtin_types_compatible_p(__typeof__(s), long)) {
        puts("long");
    } else if (__builtin_types_compatible_p(__typeof__(s), char*)) {
        puts("str");
    }
    return (0);
};
...