我想知道在C语言中，是否有一种方式可以反射出类型的最大值。
例如，我有一个名为a的变量，它是一个unsigned short类型...
{
unsigned short a;
long long max = TYPEOF_MAX(a);
/* now max will be USHRT_MAX */
}
{
signed char a;
long long max = TYPEOF_MAX(a);
/* now max will be CHAR_MAX */
}
在这里，TYPEOF_MAX是一个宏，它使用某种方法基于输入类型（静态的）来获取范围。
其他限定符...
char/short/int/long/long long/float/double，那么也没有关系。注意：这是用于生成代码的，显然包括<limits.h>和使用USHRT_MAX和CHAR_MAX在几乎所有情况下都可以正常工作。
我从未使用过c11，不过它有一个称为“类型通用表达式”的功能，可以帮助您。据维基百科介绍，您可以执行 _Generic(a, int: INT_MAX, long: LONG_MAX, default: SOME_MANINGFUL_DEFAULT_VALUE)。据我所知，它将检查a的类型，并根据其类型选择一些表达式进行评估，这将是类型通用表达式的结果。
这不是最好的解决方案，但您只需要使用_Generic和处理您感兴趣的所有算术类型的宏即可。
GCC 4.9（https://gcc.gnu.org/wiki/C11Status）似乎支持它。
维基百科页面可能比我解释得更好：http://en.wikipedia.org/wiki/C11_(C_standard_revision)
__builtin_types_compatible_p的解决方案，虽然它能够工作，但具有以下缺点：
#include <stdlib.h>
#include <stdio.h>
#include <math.h>
#include <limits.h>
#include <math.h>
#include <float.h>
#define TYPEOF_MAX(x) \
({ \
typeof(x) tmp; \
if (__builtin_types_compatible_p(typeof(x), signed char)) \
tmp = (typeof(x))CHAR_MAX; \
else if (__builtin_types_compatible_p(typeof(x), unsigned char)) \
tmp = (typeof(x))UCHAR_MAX; \
else if (__builtin_types_compatible_p(typeof(x), signed short)) \
tmp = (typeof(x))SHRT_MAX; \
else if (__builtin_types_compatible_p(typeof(x), unsigned short)) \
tmp = (typeof(x))USHRT_MAX; \
else if (__builtin_types_compatible_p(typeof(x), signed int)) \
tmp = (typeof(x))INT_MAX; \
else if (__builtin_types_compatible_p(typeof(x), unsigned int)) \
tmp = (typeof(x))UINT_MAX; \
else if (__builtin_types_compatible_p(typeof(x), signed long)) \
tmp = (typeof(x))LONG_MAX; \
else if (__builtin_types_compatible_p(typeof(x), unsigned long)) \
tmp = (typeof(x))ULONG_MAX; \
else if (__builtin_types_compatible_p(typeof(x), float)) \
tmp = (typeof(x))FLT_MAX; \
else if (__builtin_types_compatible_p(typeof(x), double)) \
tmp = (typeof(x))DBL_MAX; \
else \
abort (); \
tmp; \
})
int main(void)
{
short num_short;
int num_int;
double num_double;
signed char num_char;
printf(" %ld max short\n", TYPEOF_MAX(num_short));
printf(" %ld max int\n", TYPEOF_MAX(num_int));
printf(" %f max double\n", TYPEOF_MAX(num_double));
printf(" %ld max char\n", TYPEOF_MAX(num_char));
return 0;
}
这个例子基于@Pedro Henrique A. Oliveira的答案使用了C11泛型。
注意，它还可以添加更多类型（ssize_t size_t intptr_t等）。
#include <stdlib.h>
#include <stdio.h>
#include <limits.h>
#include <float.h>
#include <stdint.h>
#define TYPEOF_MAX(x) \
_Generic(x, \
bool: 1, \
char: CHAR_MAX, signed char: SCHAR_MAX, unsigned char: UCHAR_MAX, \
signed short: SHRT_MAX, unsigned short: USHRT_MAX, \
signed int: INT_MAX, unsigned int: UINT_MAX, \
signed long: LONG_MAX, unsigned long: ULONG_MAX, \
signed long long: LLONG_MAX, unsigned long long: ULLONG_MAX, \
float: FLT_MAX, double: DBL_MAX)
#define TYPEOF_MIN(x) \
_Generic(x, \
bool: 0, \
char: CHAR_MIN, signed char: SCHAR_MIN, unsigned char: 0, \
signed short: SHRT_MIN, unsigned short: 0, \
signed int: INT_MIN, unsigned int: 0, \
signed long: LONG_MIN, unsigned long: 0, \
signed long long: LLONG_MIN, unsigned long long: 0, \
float: -FLT_MAX, double: -DBL_MAX)
/* change 100 to 1000 - static asserts work! */
_Static_assert(TYPEOF_MAX((char)4) > 100, "example check");
int main(void)
{
short num_short;
int num_int;
double num_double;
signed char num_char;
printf(" %ld max short\n", TYPEOF_MAX(num_short));
printf(" %ld max int\n", TYPEOF_MAX(num_int));
printf(" %f max double\n", TYPEOF_MAX(num_double));
printf(" %ld max char\n", TYPEOF_MAX(num_char));
return 0;
}
如果你愿意对数字表示做出假设，而不陷入支持你几乎不可能关心的架构标准中，你可以将~0放入目标类型的变量（对于无符号类型），然后将该值赋给max。 对于有符号（或潜在有符号）类型，您插入~0并检查a <0。 如果是这样，请假定为2的补码，从那里开始。 您已经决定long long可以保存您关心的任何类型的任何值，因此可以在破坏它之前存储a的副本（假设只给出a即可使此技巧起作用）。
我刚刚编写了一个测试示例来验证所有这些使用普通优化都能简化为常数（使用gcc）：
a = ~0;
if (a < 0) // true if a is signed
{
a ^= 1 << (sizeof(a) * 8 - 1); // flip sign bit to get all 1's positive
max = a;
min = -a - 1;
}
else
{
max = a;
min = 0;
}
#include <limits.h>然后使用INT_MAX等。如果您有一个非内置但无符号类型T，也可以使用((T)-1)来获取最大值。 - The Paramagnetic Croissant