Identité entre deux types ?

Bonjour tout le monde ,

Dans un projet , j'ai rencontré une difficulté pour allouer un certain objet et c'est ce qui m'a amené à essayer d'analyser sa nature.
Si l'on considère un objet tmp du type suivant déclaré dans le main :

Code:

---

unsigned char ( * tmp ) [ ];

---

Ce que j'ai compris , c'est que tmp est ici un pointeur sur un pointeur sur une zone de unsigned char , autrement dit un pointeur sur un tableau d'unsigned char .
Si maintenant je déclare également un deuxième objet tmp2 du type suivant :

Code:

---

unsigned char tmp2[10];

---

Et si je fais pour tester l'égalite de nature , la chose suivante :

Code:

---

*tmp=tmp2;

---

J'obtiens par le compilateur le message suivant :
invalid use of array with unspecified bounds

Très bien , j'ai une intuition de l'endroit où ça peut venir , je n'ai pas spécifié de taille pour tmp.
Mais à mon stade de compréhension , je ne sais pas encore pourquoi cette taille est nécessaire mais passons , mettons la taille en faisant :

Code:

---

1 2 3

unsigned char ( * tmp ) [10]; unsigned char tmp2[10]; *tmp=tmp2;

---

J'obtiens cette fois-ci de la part du compilateur le message suivant :
incompatible types in assignment

Je ne comprends pas cette situation .
*tmp étant un pointeur sur un tableau de 10 unsigned char
tmp2 étant un pointeur sur un tablea de 10 unsigned char
Pour moi il y a identité des objets :(
Pourquoi le compilateur n'est pas content ?
*tmp n'est pas affectable ??

Et également je n'arrive pas à allouer mon tableau *tmp via une fonction avec passage de tmp en argument .

Code:

---

int Alloueblabla( unsigned char ( *tmp )[ ] );

---

Si dans le main j'ai :

Code:

---

unsigned char ( * tmp ) []=NULL;

---

et que je souhaite allouer mon tableau *tmp , logiquement je ferai dans la fonction qui se chargerait de ce travail :

Code:

---

*tmp=( unsigned char * )malloc( taille adéquate );

---

Mais j'obtiens error: invalid use of array with unspecified bounds

J'arrive pas à cerner concrètement ce message d'erreur .
Quelqu'un aurait-il un éclairement à me donner ??

Merci beaucoup

Citation:

---

Envoyé par Black-Hawk

*tmp étant un pointeur sur un tableau de 10 unsigned char
tmp2 étant un pointeur sur un tablea de 10 unsigned char

Pour moi il y a identité des objets :(

---

Exact

Citation:

---

Envoyé par Black-Hawk

*tmp n'est pas affectable ??

---

Exact aussi. On ne peut pas affecter l'adresse d'un tableau. Quand tu déclares "char tmp2[10]" ben tmp2 contient le début de la zone de 10 caractères (donc l'adresse) mais tu pourras jamais modifer "tmp2" (lui dire "change d'adresse").
Ben c'est pareil pour "*tmp". "*tmp" est sensé contenir lui-aussi l'adresse d'un tableau de 10 caractères et aussi être invariant. Tout ce que tu peux faire, c'est dire "tmp=<truc>" en faisant en sorte que "*<truc>" soit le début d'un "char[10]" (par exemple en écrivant "tmp=&tmp2"...)

PS: C'est bien de chercher à comprendre par toi-même :chin:

Code:

---

unsigned char ( * tmp ) [ ];

---

Ca peut pas compiler. cette déclaration dit que tmp est un pointeur, mais un pointeur sur quoi? char []? En C la dimension d'un tableau doit être donné, sauf dans une déclaration avec initialisation auquel cas le compilateur calculera la taille du tableau lui-même (oui on lui a appris à compter). Donc on peut faire :

Code:

---

1 2	unsigned char (*tmp)[8]; /* pointeur sur un tableau de 8 caracteres */ unsigned char (*tmp)[10]; /* pointeur sur un tableau de 10 caracteres */

---

Mais surtout pas :

Code:

---

unsigned char (*tmp)[];

---

Citation:

---

Envoyé par Black-Hawk

Code:

---

1 2 3

unsigned char ( * tmp ) [10]; unsigned char tmp2[10]; *tmp=tmp2;

---

J'obtiens cette fois-ci de la part du compilateur le message suivant :
incompatible types in assignment

---

tmp étant un pointeur sur un unsigned char [10] et tmp2 étant un unsigned char [10], tu peux faire l'affectation suivante :

Code:

---

tmp = &tmp2; /* on affecte à tmp l'adresse de la variable tmp2 */

---

Je rappelle qu'un tableau est une variable comme toutes les autres bien qu'elle possède quelques propriétés quelque peu particulières. Une de ces propriétés est que le nom du tableau peut être interprété comme un pointeur vers son premier élément, mais celà ne signifie pas qu'un tableau est un pointeur : un tableau reste un tableau. Mais puisque le tableau réside en mémoire comme toutes les autres variables, il a une adresse (qui est numériquement égal à l'adresse de son premier élément).

Ok je vois , merci pour vos réponses ;):D

Je savais qu'un tableau était quelque chose qui n'était pas affectable mais le fait d'utiliser un déclarateur absolue du genre

Code:

---

( * tmp ) [ expression_constante ]

---

m'a troublé.
J'ai saisi que que *tmp ne peut pas être modifié.

La déclaration de

Code:

---

unsigned char ( * tmp ) [ ]

---

pour moi fonctionne avec gcc , c'est un pointeur , je pense que c'est pour ça qu'il crie pas à ce moment là.
Cela compile mais en fait c'est incorrect et il me le dit des que j'essaye de l'utiliser .
Ca doit venir de là son message error: invalid use of array with unspecified bounds.
J'avais mal saisi que la taille dans la déclaration définissait également le type.

Le problème c'est que dans mon projet , je connais pas la taille de mon tableau au moment de sa déclaration , c'est pour ça que j'ai voulu écrire ce genre de chose .
Mais après avoir lu plus de choses sur le forum , je comprends mieux .
Si je fais

Code:

---

1 2	unsigned char ( * tmp ) [1]; tmp=malloc( 10 * sizeof( *tmp ) );

---

Je vais m'allouer 10 unsigned char qui seront rangés consécutivement en mémoire.

Et puis aussi j'ai dit une bêtise en haut , j'ai toujours pensé qu'un tableau c'était un pointeur sur son premier élément , en fait c'est plutôt une adresse.
Il n'y a pas de variable créee correspondant à l'identificateur contenant l'adresse du premier élément , c'est seulement l'identificateur qui est interpreté comme une adresse. Et c'est seulement dans les arguments de fonctions que cette fois-ci il y a création de pointeur .
C'est ce que je viens de mieux comprendre après avoir lu divers sujet .

Du coup pour mon allocation , je suis forcé de passer dans la fonction d'allocation

Code:

---

int AlloueBlabla( unsigned char ( ** tmp ) [1] );

---

Mon prof nous a donné un prototype avec un unique pointeur , je vois pas comment on peut faire autrement qu'augmenter un niveau d'indirection pour créer l'allocation du tableau .
Avec un unique pointeur , l'allocation sera transparente dans l'environnement extérieur.
Il a dû faire une erreur .

Enfin je vais réfléchir encore un peu pour être sûr , c'est pas moi qui me plante.

Citation:

---

Envoyé par Black-Hawk

Le problème c'est que dans mon projet , je connais pas la taille de mon tableau au moment de sa déclaration , c'est pour ça que j'ai voulu écrire ce genre de chose .

---

Dans ce cas utilise un simple pointeur sur unsigned char. Un tableau quelle que soit sa dimension est représenté en mémoire comme un simple tableau à une dimension. Par exemple :

Code:

---

unsigned char t[10][100];

---

En mémoire, t n'a rien qui le différencie avec un tableau de 1000 unsigned char. Mais un unsigned char [10][100] n'a pas le même type qu'un unsigned char [1000], donc il faut un cast pour affetcter l'adresse d'un tableau à deux dimensions vers un unsigned char *.

Code:

---

1 2	unsigned char t[10][100]; unsigned char * p = (unsigned char *)t; / * on pointe sur t */

---

Alors :

p[100*i + j]

Est équivalent à :

t[i][j]

Et donc pour passer un tableau à deux dimensions à une fonction, on passe l'adresse du premier lément puis les dimensions.

Code:

---

1 2 3 4

void f(unsigned char * p, size_t nLignes, size_t nColonnes) { ... }

---

Citation:

---

Envoyé par Melem

Code:

---

unsigned char ( * tmp ) [ ];

---

Ca peut pas compiler.

---

C'est un pointeur sur un type incomplet. Exactement comme struct t*. Il y a des choses qu'on ne peut pas faire (l'arithmetique par exemple), mais c'est valide.

Oui je me rends compte. Merci pour les précisions.

Citation:

---

Envoyé par Melem

Dans ce cas utilise un simple pointeur sur unsigned char.

---

Ouais c'est ce que j'aurais fait de moi même si j'avais été libre sur le type mais comme on m'impose d'utiliser un type du genre pointeur sur tableau de unsigned char , je suis les consignes.

Citation:

---

Envoyé par Black-Hawk

Ouais c'est ce que j'aurais fait de moi même si j'avais été libre sur le type mais comme on m'impose d'utiliser un type du genre pointeur sur tableau de unsigned char , je suis les consignes.

---

Si tu veux allouer tes tableaux dans une fonction,le plus logique est de retourner l'adresse des tableaux créés (ou NULL en cas d'échec) plutôt qu'un int. Pour créer N tableaux de M unsigned char, tu peux avoir par exemple :

Code:

---

1 2 3 4

unsigned char (* Allocation (int N,int M)) [] { return malloc(N*M); }

---

et pour l'utiliser, par exemple

Code:

---

1 2 3 4 5 6 7 8 9 10 11

#define N 10 #define M 3 int main(void) { unsigned char (*x )[N]; x = Allocation(N,M); if(x!= NULL) { ... x[i][j] = ...; ...

---

Comme la syntaxe de la déclaration de la fonction est ésotérique, on peut au préalable définir un type pour la simplifier :

Code:

---

1 2 3 4 5

typedef unsigned char ( *TpTab )[] ; TpTab Allocation (int N,int M) { return malloc(N*M); }

---

Si tu veux réaliser ceci par l'intermédiaire de la liste des arguments :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

int Allocation (TpTab* x,int N,int M) { *x = malloc(N*M); return *x != NULL; }   int main(void) { unsigned char (*x)[10]; if(Allocation(&x,10,3)) { .... ...

---

Citation:

---

Envoyé par diogene

Si tu veux allouer tes tableaux dans une fonction,le plus logique est de retourner l'adresse des tableaux créés (ou NULL en cas d'échec) plutôt qu'un int.

---

Exact oui , d'ailleurs j'y ai pensé mais j'ai oublié de dire que le type de retour était également fixé .
C'est un booléen autrement dit un int puisqu'en C , il n'existe pas de type booléen.

Citation:

---

Envoyé par diogene

Comme la syntaxe de la déclaration de la fonction est ésotérique, on peut au préalable définir un type pour la simplifier :

Code:

---

1 2 3 4 5

typedef unsigned char ( *TpTab )[] ; TpTab Allocation (int N,int M) { return malloc(N*M); }

---

---

Eh bien pas mal !! ;) , c'est une bonne idée .
Cela rend tout de suite le code plus clair :D

Citation:

---

Envoyé par diogene

Si tu veux réaliser ceci par l'intermédiaire de la liste des arguments :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

int Allocation (TpTab* x,int N,int M) { *x = malloc(N*M); return *x != NULL; }   int main(void) { unsigned char (*x)[10]; if(Allocation(&x,10,3)) { .... ...

---

---

C'est tout fait comme toi ;) , c'est juste que j'ai dû modifié le prototype imposé qui ne permet pas de réallouer le tableau et donc le sujet de mon projet contient une erreur.


C'était la première fois que je rencontrais un type de la sorte

Code:

---

1 2 3

type ( * id ) [ taille ]

---

Je me suis toujours demandé ce que c'était un déclarateur absolue en voyant la grammaire du C :


abstract-declarator:
pointer
pointeropt direct-abstract-declarator


direct-abstract-declarator:
( abstract-declarator )
direct-abstract-declaratoropt [ constant-expressionopt ]
direct-abstract-declaratoropt ( parameter-type-listopt )


Et bien là avec cette situation j'ai eu ma réponse.


Et encore il y a pire , j'ai vu dans certains bouquins de c des choses du genre

Code:

---

1 2 3 4

float (*(*(*p)[5])( double , char (*)(int)))(char);

---

:mouarf::mouarf::mouarf:
Vous allez pas me dire que ça ça s'appréhende facilement à la première rencontre !! lol

Il y a un peu de gymnastique d'esprit à faire :mrgreen: