Синтаксис и использование примера _Generic в C11
Я слышал, что C11 добавил дженерики. Я немного поработал с поиском, посмотрел на некоторые статьи, понял новое ключевое слово (_Generic
) и все. Но я не могу все это понять.
Это что-то вроде дженериков в С# или шаблонах на С++? Может ли кто-нибудь дать мне краткое объяснение определения генераторов C11, его синтаксиса и простого примера использования примера?
Ответы
Ответ 1
Это - довольно хорошее введение. Здесь Обзор:
Общий выбор выполняется с помощью нового ключевого слова: _Generic. Синтаксис подобен синтаксису простой оператор switch для типов: _Generic( 'a', char: 1, int: 2, long: 3, default: 0)
оценивается до 2 (символьные константы являются ints в C).
В основном это работает как вид switch
, где метки являются именами типов, которые проверяются на тип первого выражения (выше 'a'
). Результат будет результатом оценки _Generic()
.
Ответ 2
Лучший пример, который я видел, вдохновил следующий (runnable) пример, который открывает всевозможные причудливые возможности для взломанной интроспекции...
#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'
Ответ 3
Я использую 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);
};