Search code examples
cpointersdeclaration

How to decipher complex pointer declarations in C?


So I want to give an example:

int *pi; // pi is a pointer that points to an integer
const int *cpi; // cpi is a pointer that points to a constant integer
char *pc; // pc is a pointer to a char 

How can I read these:

char **x; //x is a pointer to a char pointer?
char *y[];
char **z[];

Thanks.


Solution

  • cdecl.org is often linked to such questions. No doubt that it make easier to decipher any complex declaration, but at the same time it just provide an abstracted information. Being a C or C++ programmer one should know how to decipher complex declaration manually. Spiral Rule help to some extent but fails in some cases. This answer will help programmers to decipher any complex declaration manually.


    Remember these two simple rules:

    1. Always read declaration from the inside out.
    2. When there is a choice, always favor [] and () over *.

    The first rule simply states that, locate the variable that is being declared and start deciphering the declaration from it.

    For second rule, if * precedes the identifier and [] or () follows it, then the identifier represents an array or function (respectively), not a pointer.

    Example 1:

    char *y[5]; 
    
    • Variable/identifier is y.
    • * precedes y and follows [].
    • y must be an array.

    Combining above deciphering will result in: y is an array of 5 pointers to char.

    Also note that you can always use parentheses to override the normal priority of [] or ().

    Example 2:

    void (*pf) (int);
    
    • Variable/identifier is pf.
    • *pf is enclosed in parenthesis, it must be a pointer.
    • () follows *pf, means pf must points to a function.
    • Since () encloses int, function must expects an argument of type int.

    So, pf is a pointer to function that expects an int argument and returns nothing.

    Now, what would you get after deciphering the following declaration

    int *(*a[5])(void);  
    

    ?

    Answer:

    a is an array of pointers to functions that expects no argument and returning pointer to int.


    Note: Note that both of

    char *y[];
    char **z[];  
    

    will cause compilation error if they are not declared as arguments of a function. If they are function's argument then char *y[] is equivalent to char **y and char **z[] is equivalent to char ***z.
    If that's not the case, then you need to specify the dimension as I did in my first example.