ISO/IEC 9899:2011 条款6.7.7——类型名

6.7.7 类型名

语法

1、type-name:

        specifier-qualifier-list    abstract-declarator_opt

        abstract-declarator:

            pointer

            pointer_opt    direct-abstract-declarator

    direct-abstract-declarator:

        (    abstract-declarator    )

        direct-abstract-declarator_opt    [    type-qualifier-list_opt    assignment-expression_opt   ]

        direct-abstract-declarator_opt    [    static    type-qualifier-list_opt    assignment-expression    ]

        direct-abstract-declarator_opt    [    type-qualifier-list    static    assignment-expression    ]

        direct-abstract-declarator_opt    [    *    ]

        direct-abstract-declarator_opt    (   parameter-type-list_opt    )

语义

2、在若干个上下文中，有必要指定一个类型。这通过使用一个类型名来实现，这在语法上是对该类型的一个函数或一个对象的声明，此对象或函数省略了标识符。［注：正如语法所指定的那样，一个类型名中的空的圆括号被解释为“不带形参说明的函数”，而不是围在省略的标识符周围的冗余的圆括号。］

3、例 以下构造：

(a)    int

(b)    int *

(c)    int * [3]

(d)    int (*) [3]

(e)    int (*) [*]

(f)    int * ()

(g)    int (*) (void)

(h)    int (* const []) (unsigned int, ...)

分别命名了：(a)int，(b)指向int的指针，(c)带有三个指向int指针的数组，(d)指向一个带有三个int的数组的指针，(d)指向一个未指定int个数的可变长数组的指针，(f)不带有指定形参的，返回指向int的指针的函数，(g)指向不带有任何形参，返回一个int的函数的指针，(h)一个带有未知个数的，指向函数的常量指针的数组，函数的第一个参数类型是unsigned int，紧接着是未指定参数个数的形参，返回为一个int。