是的,头文件的内容包含在文本中。
保留行号是因为预处理器具有specify the line numbers 的机制:
#line 97 "original.c"
/* This is line 97 of the original C file */
这些行号用于报告错误。通常,编译器使用它可以理解的简写符号——它经常省略单词 line 并添加额外信息——例如,参见 GCC Preprocessor output。
可以通过编译看到
#line 1000
pod variable = { 0 };
把它放在一个文件中;尝试编译它;请注意,编译器在第 1000 行抱怨未知类型 pod,即使它是源文件中的第 2 行。
$ gcc -O -c original.c
original.c:1000:1: error: unknown type name ‘pod’
$
您可以使用 GCC 和大多数基于 Unix 的 C 编译器的 -E 选项运行预处理器并查看(大量)输出:
$ gcc -E original.c
# 1 "original.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "original.c"
# 1000 "original.c"
pod variable = { 0 };
$
请注意,如果我包含<stdio.h>,输出会更大(我在一台机器上得到了 577 行 - 这比我预期的要少)。
您还可以使用 C 编译器的参数子集运行独立的 C 预处理器(通常称为 cpp)。这有时会给您与主编译器稍有不同的结果,但它通常是查看发生了什么的好方法。
现在,我的一些代码有问题——我的测试用例是:
/* Minimized GCC bug */
#include <assert.h>
#include <string.h>
extern int chk_arg(const char *arg);
int chk_arg(const char *arg)
{
assert(strncmp(arg, "-", 1) == 0 && strncmp(arg, "--", 2) != 0);
return (arg[1] == 'a');
}
让我苦恼的编译错误是:
$ gcc -std=c11 -Wall -Wmissing-prototypes -Wstrict-prototypes -Wextra -pedantic -Werror -g -O3 -c gccbug.c
gccbug.c: In function ‘chk_arg’:
gccbug.c:10:5: error: string length ‘4587’ is greater than the length ‘4095’ ISO C99 compilers are required to support [-Werror=overlength-strings]
10 | assert(strncmp(arg, "-", 1) == 0 && strncmp(arg, "--", 2) != 0);
| ^~~~~~
cc1: all warnings being treated as errors
$
在你使用gcc -E之前,哪里有4587个字符的字符串并不明显:
int chk_arg(const char *arg)
{
# 10 "gccbug.c" 3 4
(((__extension__ (__builtin_constant_p (
# 10 "gccbug.c"
1
# 10 "gccbug.c" 3 4
) && ((__builtin_constant_p (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) && strlen (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) < ((size_t) (
# 10 "gccbug.c"
1
# 10 "gccbug.c" 3 4
))) || (__builtin_constant_p (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) && strlen (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) < ((size_t) (
# 10 "gccbug.c"
1
# 10 "gccbug.c" 3 4
)))) ? __extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) && __builtin_constant_p (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) && (__s1_len = strlen (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
), __s2_len = strlen (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
), (!((size_t)(const void *)((
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) == 1) || __s2_len >= 4)) ? __builtin_strcmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) : (__builtin_constant_p (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) && ((size_t)(const void *)((
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) == 1) && (__s1_len = strlen (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
), __s1_len < 4) ? (__builtin_constant_p (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) && ((size_t)(const void *)((
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) == 1) ? __builtin_strcmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) : (__extension__ ({ __const unsigned char *__s2 = (__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
); register int __result = (((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
))[0] - __s2[0]); if (__s1_len > 0 && __result == 0) { __result = (((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
))[1] - __s2[1]); if (__s1_len > 1 && __result == 0) { __result = (((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
))[2] - __s2[2]); if (__s1_len > 2 && __result == 0) __result = (((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
))[3] - __s2[3]); } } __result; }))) : (__builtin_constant_p (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) && ((size_t)(const void *)((
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) == 1) && (__s2_len = strlen (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
), __s2_len < 4) ? (__builtin_constant_p (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) && ((size_t)(const void *)((
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) == 1) ? __builtin_strcmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
) : (__extension__ ({ __const unsigned char *__s1 = (__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
); register int __result = __s1[0] - ((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
))[0]; if (__s2_len > 0 && __result == 0) { __result = (__s1[1] - ((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
))[1]); if (__s2_len > 1 && __result == 0) { __result = (__s1[2] - ((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
))[2]); if (__s2_len > 2 && __result == 0) __result = (__s1[3] - ((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
))[3]); } } __result; }))) : __builtin_strcmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
)))); }) : strncmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"-"
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
1
# 10 "gccbug.c" 3 4
)))
# 10 "gccbug.c"
== 0 &&
# 10 "gccbug.c" 3 4
(__extension__ (__builtin_constant_p (
# 10 "gccbug.c"
2
# 10 "gccbug.c" 3 4
) && ((__builtin_constant_p (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) && strlen (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) < ((size_t) (
# 10 "gccbug.c"
2
# 10 "gccbug.c" 3 4
))) || (__builtin_constant_p (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) && strlen (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) < ((size_t) (
# 10 "gccbug.c"
2
# 10 "gccbug.c" 3 4
)))) ? __extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) && __builtin_constant_p (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) && (__s1_len = strlen (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
), __s2_len = strlen (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
), (!((size_t)(const void *)((
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) == 1) || __s2_len >= 4)) ? __builtin_strcmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) : (__builtin_constant_p (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) && ((size_t)(const void *)((
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) == 1) && (__s1_len = strlen (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
), __s1_len < 4) ? (__builtin_constant_p (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) && ((size_t)(const void *)((
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) == 1) ? __builtin_strcmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) : (__extension__ ({ __const unsigned char *__s2 = (__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
); register int __result = (((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
))[0] - __s2[0]); if (__s1_len > 0 && __result == 0) { __result = (((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
))[1] - __s2[1]); if (__s1_len > 1 && __result == 0) { __result = (((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
))[2] - __s2[2]); if (__s1_len > 2 && __result == 0) __result = (((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
))[3] - __s2[3]); } } __result; }))) : (__builtin_constant_p (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) && ((size_t)(const void *)((
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) == 1) && (__s2_len = strlen (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
), __s2_len < 4) ? (__builtin_constant_p (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) && ((size_t)(const void *)((
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) + 1) - (size_t)(const void *)(
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
) == 1) ? __builtin_strcmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
) : (__extension__ ({ __const unsigned char *__s1 = (__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
); register int __result = __s1[0] - ((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
))[0]; if (__s2_len > 0 && __result == 0) { __result = (__s1[1] - ((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
))[1]); if (__s2_len > 1 && __result == 0) { __result = (__s1[2] - ((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
))[2]); if (__s2_len > 2 && __result == 0) __result = (__s1[3] - ((__const unsigned char *) (__const char *) (
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
))[3]); } } __result; }))) : __builtin_strcmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
)))); }) : strncmp (
# 10 "gccbug.c"
arg
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
"--"
# 10 "gccbug.c" 3 4
,
# 10 "gccbug.c"
2
# 10 "gccbug.c" 3 4
)))
# 10 "gccbug.c"
!= 0
# 10 "gccbug.c" 3 4
) ? (void) (0) : (__assert_fail (
# 10 "gccbug.c"
"(__extension__ (__builtin_constant_p (1) && ((__builtin_constant_p (arg) && strlen (arg) < ((size_t) (1))) || (__builtin_constant_p (\"-\") && strlen (\"-\") < ((size_t) (1)))) ? __extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p (arg) && __builtin_constant_p (\"-\") && (__s1_len = strlen (arg), __s2_len = strlen (\"-\"), (!((size_t)(const void *)((arg) + 1) - (size_t)(const void *)(arg) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((\"-\") + 1) - (size_t)(const void *)(\"-\") == 1) || __s2_len >= 4)) ? __builtin_strcmp (arg, \"-\") : (__builtin_constant_p (arg) && ((size_t)(const void *)((arg) + 1) - (size_t)(const void *)(arg) == 1) && (__s1_len = strlen (arg), __s1_len < 4) ? (__builtin_constant_p (\"-\") && ((size_t)(const void *)((\"-\") + 1) - (size_t)(const void *)(\"-\") == 1) ? __builtin_strcmp (arg, \"-\") : (__extension__ ({ __const unsigned char *__s2 = (__const unsigned char *) (__const char *) (\"-\"); register int __result = (((__const unsigned char *) (__const char *) (arg))[0] - __s2[0]); if (__s1_len > 0 && __result == 0) { __result = (((__const unsigned char *) (__const char *) (arg))[1] - __s2[1]); if (__s1_len > 1 && __result == 0) { __result = (((__const unsigned char *) (__const char *) (arg))[2] - __s2[2]); if (__s1_len > 2 && __result == 0) __result = (((__const unsigned char *) (__const char *) (arg))[3] - __s2[3]); } } __result; }))) : (__builtin_constant_p (\"-\") && ((size_t)(const void *)((\"-\") + 1) - (size_t)(const void *)(\"-\") == 1) && (__s2_len = strlen (\"-\"), __s2_len < 4) ? (__builtin_constant_p (arg) && ((size_t)(const void *)((arg) + 1) - (size_t)(const void *)(arg) == 1) ? __builtin_strcmp (arg, \"-\") : (__extension__ ({ __const unsigned char *__s1 = (__const unsigned char *) (__const char *) (arg); register int __result = __s1[0] - ((__const unsigned char *) (__const char *) (\"-\"))[0]; if (__s2_len > 0 && __result == 0) { __result = (__s1[1] - ((__const unsigned char *) (__const char *) (\"-\"))[1]); if (__s2_len > 1 && __result == 0) { __result = (__s1[2] - ((__const unsigned char *) (__const char *) (\"-\"))[2]); if (__s2_len > 2 && __result == 0) __result = (__s1[3] - ((__const unsigned char *) (__const char *) (\"-\"))[3]); } } __result; }))) : __builtin_strcmp (arg, \"-\")))); }) : strncmp (arg, \"-\", 1))) == 0 && (__extension__ (__builtin_constant_p (2) && ((__builtin_constant_p (arg) && strlen (arg) < ((size_t) (2))) || (__builtin_constant_p (\"--\") && strlen (\"--\") < ((size_t) (2)))) ? __extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p (arg) && __builtin_constant_p (\"--\") && (__s1_len = strlen (arg), __s2_len = strlen (\"--\"), (!((size_t)(const void *)((arg) + 1) - (size_t)(const void *)(arg) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((\"--\") + 1) - (size_t)(const void *)(\"--\") == 1) || __s2_len >= 4)) ? __builtin_strcmp (arg, \"--\") : (__builtin_constant_p (arg) && ((size_t)(const void *)((arg) + 1) - (size_t)(const void *)(arg) == 1) && (__s1_len = strlen (arg), __s1_len < 4) ? (__builtin_constant_p (\"--\") && ((size_t)(const void *)((\"--\") + 1) - (size_t)(const void *)(\"--\") == 1) ? __builtin_strcmp (arg, \"--\") : (__extension__ ({ __const unsigned char *__s2 = (__const unsigned char *) (__const char *) (\"--\"); register int __result = (((__const unsigned char *) (__const char *) (arg))[0] - __s2[0]); if (__s1_len > 0 && __result == 0) { __result = (((__const unsigned char *) (__const char *) (arg))[1] - __s2[1]); if (__s1_len > 1 && __result == 0) { __result = (((__const unsigned char *) (__const char *) (arg))[2] - __s2[2]); if (__s1_len > 2 && __result == 0) __result = (((__const unsigned char *) (__const char *) (arg))[3] - __s2[3]); } } __result; }))) : (__builtin_constant_p (\"--\") && ((size_t)(const void *)((\"--\") + 1) - (size_t)(const void *)(\"--\") == 1) && (__s2_len = strlen (\"--\"), __s2_len < 4) ? (__builtin_constant_p (arg) && ((size_t)(const void *)((arg) + 1) - (size_t)(const void *)(arg) == 1) ? __builtin_strcmp (arg, \"--\") : (__extension__ ({ __const unsigned char *__s1 = (__const unsigned char *) (__const char *) (arg); register int __result = __s1[0] - ((__const unsigned char *) (__const char *) (\"--\"))[0]; if (__s2_len > 0 && __result == 0) { __result = (__s1[1] - ((__const unsigned char *) (__const char *) (\"--\"))[1]); if (__s2_len > 1 && __result == 0) { __result = (__s1[2] - ((__const unsigned char *) (__const char *) (\"--\"))[2]); if (__s2_len > 2 && __result == 0) __result = (__s1[3] - ((__const unsigned char *) (__const char *) (\"--\"))[3]); } } __result; }))) : __builtin_strcmp (arg, \"--\")))); }) : strncmp (arg, \"--\", 2))) != 0"
# 10 "gccbug.c" 3 4
, "gccbug.c", 10, __PRETTY_FUNCTION__), (void) (0)))
# 10 "gccbug.c"
;
return (arg[1] == 'a');
}
哎哟!我不知道如果断言被触发,我会识别它——它看起来不像源代码中的文本,这是肯定的! (这来自在古老的 RHEL 5 Linux 上运行的 GCC 9.2.0。)