coulée pointeur vide const tableau de pointeurs const char correctement dans C

Question

J'ai un morceau de code C qui ressemble à ceci:

const char (*foo)[2] = bar(); 

maintenant bar() est une fonction qui renvoie une (const void *). Comment puis-je diffuser correctement ce pointeur const? Le code produit cet avertissement GCC:

"initialization discards qualifiers from pointer target type". 

Voici quelques-unes de mes tentatives infructueuses:

const char (*foo)[2] = (const char *)bar(); 
const char (*foo)[2] = (const void **)bar(); 

Le code original fonctionne, je ne peux pas me débarrasser des avertissements par coulée correctement la valeur de retour.

EDIT: Ceci a été suggéré:

const char (*foo)[2] = (const char (*)[2])bar(); 

Il semble correct, mais GCC donne cet avertissement:

"cast discards qualifiers from pointer target type" 

qui est presque identique à l'avertissement d'origine.

EDIT 2: OK, je pense que je l'ai. Le vrai problème ici est la définition (const void *) de bar(). Le const dans la définition (const char(*)[2]) fait référence aux éléments du tableau, pas le pointeur vers le tableau. Cette définition de type est essentiellement un tableau qui, lorsqu'il est représenté par un pointeur void, est et nonconst. La vraie réponse est qu'un (const void *) perd son cons t-ness lorsqu'il est converti en (const char (*)[2]).

Answer 1

Plusieurs autres ont déclaré la distribution correcte, mais il génère un spurious warning. Cet avertissement provient d'un possible bug dans la norme C, ou (selon votre interprétation) un cas que GCC devrait traiter spécialement. Je crois que le qualificateur const peut être levé de manière sûre et non ambiguë vers le type de tableau. Vous pouvez laisser tomber cet avertissement avec -Wno-cast-qual mais bien sûr cela éliminera les avertissements pour les cas qui vous intéressent réellement.

Pour élaborer, le type const char (*)[2] signifie «pointeur vers tableau (longueur 2) de constchar». Le tableau n'est pas marqué const, seulement les éléments du tableau.Par rapport au type const void *, le compilateur remarque que ce dernier est un pointeur vers const, alors que le premier ne l'est pas, générant ainsi l'avertissement. Le standard C ne fournit aucun moyen de marquer un tableau comme const, même si un tableau const serait équivalent à un tableau de const.

Answer 2

Essayez:

const char (*foo)[2] = (const char (*)[2])bar(); 

Modifier mais si bar retourne un pointeur vers un tableau const de pointeurs de char comme vos conseils de titre de la question, il devrait y avoir pas besoin d'un casting si vous attribuez à une variable ce type:

char* const* foo = bar(); 

Answer 3

const char (*foo)[2] = (const char (*)[2])bar(); 

Answer 4

Juste une note, vous n'avez pas besoin les dimensions du tableau:

const void *bar() { 
    static const char a[10] = "abcdefghij"; 
    return &a[4]; 
} 

int main() { 
    const char (*foo)[2] = (const char (*)[])bar(); 
    return 0; 
} 

Comme il peut être difficile pour certains à lire:

cdecl> explain const char (*foo)[2] 
declare foo as pointer to array 2 of const char 

Answer 5

Le problème avec l'avertissement dans la dernière version de la distribution a des racines historiques. Vous savez que le langage C (ainsi que C++) interdit correctement la conversion T** -> const T**. Ceci est correct, puisque permettre cette conversion ouvrirait la voie à quelques violations subtiles des règles de const-correction (peut être trouvé dans n'importe quelle FAQ qui se respecte).

Cependant, le langage C interdit également la conversion T** -> const T* const*. Ceci est différent de C++, ce qui permet cette conversion. (Cette conversion ne viole pas la const-correction.) Cela a longtemps été considéré comme un "défaut de conception" dans la spécification du langage C. Ce défaut a été "corrigé" en C++, mais il continue à persister en C (même en C99). Franchement, je ne sais pas pourquoi il est resté inchangé dans C99. Un des "retombées" de ce défaut (ou plus précisément de cette approche de traitement de la const-correction) est qu'en C, la conversion T (*)[N] -> const T (*)[N] reste également interdite, même si elle ne comporte aucune menace inhérente à la const-correction.

Je ne peux pas reproduire l'avertissement que vous recevez avec ma version de GCC. Mais si vous l'obtenez, cela semble être juste une autre conséquence de la même idéologie. Si vous tenez compte du fait que la conversion a été demandée par un opérateur de distribution explicite, l'avertissement GCC est totalement injustifié. Vous pouvez essayer de contourner l'avertissement en utilisant un cast chaîné

const char (*foo)[2] = (const char (*)[2]) (void *) bar();