C Parameter Array Deklaratoren

Question

In C99 gibt es Arrays variabler Länge, und es kann statischer Qualifier (und gibt Qualifikation) wird in Parameterarray Deklaratoren:

void f(int i, int *a); 
void f(int i, int a[]); 
void f(int i, int a[i]); 
void f(int i, int a[*]);   // Only allowed in function prototypes. 
void f(int i, int a[static i]); 

Da Parametern Array-Funktion einfach Abklingen auf Zeiger, gibt es Gibt es einen praktischen Unterschied zwischen den vorherigen Erklärungen oder ist es eine Frage des Stils? Wann sollte einer von ihnen verwendet werden? Was bedeutet insbesondere der Qualifier static? Der Standard macht den Grund für jede Syntax nicht klar.

Answer 1

Solange Sie nur mit eindimensionalen Arrays arbeiten, sind die obigen Deklarationen alle gleichwertig. Die letzte aber

void f(int i, int a[static i]) 

hat eine zusätzliche Wirkung. Es entspricht den vorherigen in Bezug auf die Parametertypen, teilt dem Compiler aber auch mit, dass es sich auf a Parameter stützen kann, die auf ein Array von mindestens i Elementen zeigen (die in Optimierungen verwendet werden können).

Sie vergessen auch wieder eine neue Erklärung

void f(int i, int a[const]) 

Dies tut man tatsächlich einen Effekt auch bei einem eindimensionalen Array. Es entspricht

void f(int i, int *const a) 

obwohl einige argumentieren könnten, dass const-Qualifikationen auf Funktionsparameter nutzlos sind. Bevor es unmöglich war, den Zeiger konstant zu qualifizieren, "zerfällt" der Array-Parameter zu, wenn die Syntax [] für die Deklaration verwendet wird.

Die * (sowie i) zwischen den [] beginnt erst Rolle, wenn es zwischen dem zweiten (oder mehr) Paar in [] mehrdimensionales Array Erklärung verwendet wird. Im Wesentlichen ist es wie immer: Array-Größe in der Parameter-Deklaration zählte immer nur zwischen dem zweiten oder weiteren Paar von []. Die * wird in Prototyp-Deklarationen für VLA-Parameter verwendet, wenn der Größenwert nicht explizit benannt wird. Zum Beispiel können Sie

void bar(int n, int m, int a[n][m]); 

und die Compiler wissen, erklären, dass a ein VLA ist, da die Größen nicht Konstanten sind. Aber wenn Sie es vorziehen, Parameter nicht in Prototypen zu benennen, wie werden Sie dem Compiler sagen, dass a ein VLA ist? Das ist, wenn * hilft

void bar(int, int, int a[*][*]);