GCC Inkompatibler Zeigertyp mit typedef

Question

Ich habe Code, der unter GCC 4.8.4 gut kompiliert wurde. Ich habe kürzlich mein System aktualisiert und habe jetzt GCC 5.2.1, und ich bekomme eine Warnung über inkompatible Zeigertypen. Ich habe das Problem auf ein kleines Beispiel extrahiert, die den Fehler reproduziert:

typedef const double ConstSpiceDouble; 
void foo(const double (*)[3]); 

int main(int argc, char **argv) { 
    double a[3][3] = {{1,2,3},{1,2,3},{1,2,3}}; 

    foo((ConstSpiceDouble (*)[3])a); 

    return 0; 
} 

In dem realen Code, der typedef, die Funktionsdefinition und die Typumwandlung ist in einer Bibliothek außerhalb meiner Kontrolle sonst würde ich nur Korrigieren Sie den Cast und die passende Funktion. Hier ist die Botschaft, die ich aus dem Compiler erhalten:

$ gcc -Werror -c test.c 
test.c: In function ‘main’: 
test.c:9:7: error: passing argument 1 of ‘foo’ from incompatible pointer type [-Werror=incompatible-pointer-types] 
    foo((ConstSpiceDouble (*)[3])a); 
    ^
test.c:4:6: note: expected ‘const double (*)[3]’ but argument is of type ‘const ConstSpiceDouble (*)[3] {aka const double (*)[3]}’ 
void foo(const double (*)[3]); 
    ^
cc1: all warnings being treated as errors 

Die Notiz von gcc ist besonders beunruhigend, da es zugeben scheint, dass die beiden Typen identisch sind, aber es beschwert sich trotzdem.

Answer 1

Der Konsens hier und anderswo scheint zu sein, dass GCC etwas Unerwartetes mit der Const und der Typedef tut. Ich weiß, dass Unerwartetes notwendigerweise mit einem Fehler gleichzusetzen ist, aber das ist für die GCC-Entwickler zu bestimmen.

Ich habe mein Kompilierungsproblem gelöst, indem ich ein Makro für den Funktionsaufruf definiert habe, das die nicht passende Typumwandlung in der Bibliothek behebt. Im Allgemeinen mag ich es nicht, an Bibliothekseinbauten zu basteln, aber das Makro erlaubt mir, den eigentlichen Bibliothekskopf nicht zu berühren und in meinem eigenen Code zu definieren, wo er für die Zukunft kommentiert werden kann, und die Testabdeckung dieses Codes sollte ein vernünftiges Frühwarnsignal sein Die zugrunde liegende Bibliothek ändert sich so, dass das Makro etwas kaputt macht.

Dies ist nicht so sehr "gelöst" wie "umgangen", aber jede weitere Einsicht wird wahrscheinlich von den GCC-Entwicklern kommen müssen.

Answer 2

Wenn Sie cast 'a' als ConstSpiceDouble eingeben, führt GCC etwas Unerwartetes mit const und typedef aus, wodurch der Typ schließlich 'const const double' wird. Dies können Sie in der Fehlermeldung "const ConstSpiceDouble" sehen, was "const const double" entspricht, das funktioniert nicht.

Lösung ist entweder zu sagen 'a' const double oder zu sagen: 'a' ConstSpiceDouble ist, bevor Sie Parameter 'a' auf die foo Funktion

typedef const double ConstSpiceDouble; 
void foo(const double (*)[3]); 

int main(int argc, char **argv) { 

    const double a[3][3] = {{1,2,3},{1,2,3},{1,2,3}}; 
    // or ConstSpiceDouble a[3][3] = {{1,2,3},{1,2,3},{1,2,3}}; 

    foo(a); 

    return 0; 
} 

Die 'const' scheint vor anhängige ein neues Feature in den neuesten Versionen von gcc, aber davon bin ich mir nicht sicher :(