C99 和 ANSI-C 中的 struct 有什么区别？

Question

这段代码在 ANSI-C 中似乎不正确，但在 C99 中没问题：

struct a { int x; int y; } z;

What are the Differences about struct in C99 and ANSI-C ?

编辑：我忘了“a”，我的错。 这段代码在 C99 模式下用 gcc 编译没问题，但在 splint 上会出现解析错误，已知它不支持所有 C99 扩展。

Edit2：这是 splint 的输出：

Splint 3.1.2 --- 19 Dec 2007

build/ecos_install/include/cyg/fileio/fileio.h:151:5:
Parse Error. Attempting to continue.
build/ecos_install/include/cyg/fileio/fileio.h:151:25:
Cannot recover from parse error.
*** Cannot continue.

Edit3：该文件是 eCos fileio.h （该片段的最后一行是第 152 行）：

typedef CYG_ADDRWORD cyg_dir;

//=============================================================================
// Filesystem table entry

typedef int     cyg_fsop_mount    ( cyg_fstab_entry *fste, cyg_mtab_entry *mte );
typedef int     cyg_fsop_umount   ( cyg_mtab_entry *mte );
typedef int     cyg_fsop_open     ( cyg_mtab_entry *mte, cyg_dir dir, const char *name,
                                    int mode,  cyg_file *fte );
typedef int     cyg_fsop_unlink   ( cyg_mtab_entry *mte, cyg_dir dir, const char *name );
typedef int     cyg_fsop_mkdir    ( cyg_mtab_entry *mte, cyg_dir dir, const char *name );
typedef int     cyg_fsop_rmdir    ( cyg_mtab_entry *mte, cyg_dir dir, const char *name );
typedef int     cyg_fsop_rename   ( cyg_mtab_entry *mte, cyg_dir dir1, const char *name1,
                                    cyg_dir dir2, const char *name2 );
typedef int     cyg_fsop_link     ( cyg_mtab_entry *mte, cyg_dir dir1, const char *name1,
                                    cyg_dir dir2, const char *name2, int type );
typedef int     cyg_fsop_opendir  ( cyg_mtab_entry *mte, cyg_dir dir, const char *name,
                                    cyg_file *fte );
typedef int     cyg_fsop_chdir    ( cyg_mtab_entry *mte, cyg_dir dir, const char *name,
                                    cyg_dir *dir_out );
typedef int     cyg_fsop_stat     ( cyg_mtab_entry *mte, cyg_dir dir, const char *name,
                                    struct stat *buf);
typedef int     cyg_fsop_getinfo  ( cyg_mtab_entry *mte, cyg_dir dir, const char *name,
                                    int key, void *buf, int len );
typedef int     cyg_fsop_setinfo  ( cyg_mtab_entry *mte, cyg_dir dir, const char *name,
                                    int key, void *buf, int len );


struct cyg_fstab_entry
{
    const char          *name;          // filesystem name
    CYG_ADDRWORD        data;           // private data value
    cyg_uint32          syncmode;       // synchronization mode

    cyg_fsop_mount      *mount;
    cyg_fsop_umount     *umount;
    cyg_fsop_open       *open;
    cyg_fsop_unlink     *unlink;
    cyg_fsop_mkdir      *mkdir;
    cyg_fsop_rmdir      *rmdir;
    cyg_fsop_rename     *rename;
    cyg_fsop_link       *link;
    cyg_fsop_opendir    *opendir;
    cyg_fsop_chdir      *chdir;
    cyg_fsop_stat       *stat;
    cyg_fsop_getinfo    *getinfo;
    cyg_fsop_setinfo    *setinfo;
} CYG_HAL_TABLE_TYPE;

Answer 1

struct { int x; int y; } z;

这段代码是有效的 C 代码，具有相同的语义，适用于自 1978 年以来（甚至可能更早）的每个 C 版本。 它定义了一个名为 z 的变量，其类型为无名结构类型，由两个 int 组成。

ofaurax，您从什么错误消息中得出结论它不起作用？

（迂腐的nit：“ANSI C”是指美国国家标准协会ANSI标准化的C版本。1989年版的ANSI C标准被国际标准化组织ISO采用。1999年ISO制定了新版本的ANSI C标准。 C 标准，随后 ANSI 重新采用。）

编辑：

struct a { int x; int y; } z;

这定义了一个结构类型，称为“struct a”，由两个 int 和该类型的变量 z 组成。 即使在 1978 年版本的 C（“K&R”）中，这仍然是格式良好的。 我不知道什么是 split，但确切的错误消息仍然可能帮助我们找出问题所在。

Answer 2

您能显示实际的编译器警告、编译器标志和代码的相关行吗？ 你的例子绝对没有问题。 或者，也许是引导您得出结论的文档的链接？

如果您相信编译器会告诉您差异，那么您使用的是什么编译器/版本？

Answer 3

Splint 3.1.2 可以很好地解析仅包含该代码的文件。

您能否提供一个简单、完整的示例来展示您所描述的行为？

快速进行的一些实验表明夹板似乎不支持混合代码和声明，这会让我放弃使用它。 因此，您发布的代码本身是可以的，但这会产生解析错误：

void foo () {
   int x = 1;
   ++x;
   struct a { int x; int y; } z;
}

对语法的这种更改将允许它解析上面的简单混合代码和声明，然后出现 可以工作，但我还没有对其进行详尽的测试。

$ diff original/src/cgrammar.y src/cgrammar.y
1711a1712
>  | initializer

Answer 4

不太确定，但在“旧”编译器中我记得必须将其写为

typedef struct _Z {int x; int y;} z; or just typedef struct {int x; int y;} z;