c - Is typedef a storage-class-specifier?

Question

I tried the following code

#include <stdio.h>

int main(void)
{
    typedef static int sint;
    sint i = 10;

    return 0;
}

and hit the following error:

error: multiple storage classes in declaration specifiers

When I referred the C99 specification, I came to know that typedef is a storage class.

6.7.1 Storage-class specifiers

Syntax

storage-class-specifier:
    typedef
    extern
    static
    auto
    register

Constraints: At most, one storage-class specifier may be 
             given in the declaration specifiers in a declaration

Semantics: The typedef specifier is called a ‘‘storage-class specifier’’ 
           for syntactic convenience only; 

The only explanation that I could find (based on some internet search and cross referring various sections in C99 specification) was syntactic convenience only to make the grammar simpler.

I'm looking for some justification/explanation on how can a type name have storage class specifier?

Doesn't it make sense to have a code like typedef static int sint;?

or Where am I going wrong?!

Answer 1

Yes, typedef is a storage-class-specifier as you found in the standard. In part it's a grammatical convenience, but it is deliberate that you can either have typedef or one of the more "obvious" storage class specifiers.

A typedef declaration creates an alias for a type.

In a declaration static int x; the type of x is int. static has nothing to do with the type.

(Consider that if you take the address of x, &x has type int*. int *y = &x; would be legal as would static int *z = &x but this latter static affects the storage class of z and is independent of the storage class of x.)

If something like this were allowed the static would have no effect as no object is being declared. The type being aliased is just int.

typedef static int sint;