Discussion :

[chrislains]

je viens d'ecrire une fonction qui doit retourner un tableau de caractere (en gros retourner un mot)

mais j'ai un doute sur ce quelle retourne, est ce l'adresse du tableau quel retourne ou juste le tableau?
voici mon code

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
char *tab_car(char c){
	char *tab = malloc(28*sizeof(char));
	int n = 0;
	while(n<28){
		tab[n]=c;
		n++;
	}
	return tab;
}

[foetus]

est ce l'adresse du tableau quel retourne ou juste le tableau?

en C un tableau c'est juste l'adresse de la première case

Donc l'adresse d'un tableau c'est char**

[Médinoc]

en C un tableau c'est juste l'adresse de la première case

Donc l'adresse d'un tableau c'est char**

FAUX dans les deux cas.

Un tableau est implicitement convertible en un pointeur sur sa première case:

Code C :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
char tableau[10];
char* pointeur = tableau;

Mais un tableau n'est pas un pointeur. Et l'adresse d'un tableau de char n'aura pas le type char**, mais le type char [TAILLE]*. Malheureusement, le langage n'accepte pas cette écriture, et il faut l'écrire char (*)[TAILLE] à la place.

Exemples:

Code C :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
char tableau[10];
/*Le langage C est assez permissif pour qu'il n'y ait peut-être pas d'erreur, 
  mais un compilo bien configuré donnera au moins un warning "pointeurs de types incompatibles" ou un truc du genre.
Et tenter d'utiliser mauvais_pointeur sera un comportement indéfini.*/
char** mauvais_pointeur = &tableau;
 
/*Ici, pas d'erreur ni de warning, ni de comportement indéfini/*/
char (*bon_pointeur)[10] = &tableau;

Après le case de malloc() est plus compliqué: Après tout, malloc() alloue une zone mémoire sans déterminer son type (et retourne un void*), et avec un alignement suffisant pour n'importe quel type que le compilo supporte; ainsi, les deux formulations suivantes sont identiquement correctes, et on choisit alors généralement la plus simple à utiliser (la seconde):

Code C :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
void* zoneAllouee = malloc(10*sizeof(int));
int *ptrEntiers = zoneAllouee;
int (*ptrTableau)[10] = zoneAllouee;

En fin de compte, le type des données allouées est le type du pointeur utilisé pour écrire à cet endroit; et on est à l'abri des comportements indéfinis (ou définis par l'implémentation) tant qu'on lit ce qu'on a écrit via des pointeurs du même type (et il y a peut-être des stipulations spéciales pour unsigned char, je ne suis pas sûr).


Edit: À noter, la conversion implicite d'un tableau en pointeur marche également à travers un pointeur de tableau:

Code C :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
int tab[10];
int (*pTab)[10] = &tab;
int *pInt = *pTab; /* La valeur de *pTab est le tableau, et la conversion implicite en int* marche.*/

[foetus]

Mais un tableau n'est pas un pointeur. Et l'adresse d'un tableau de char n'aura pas le type char**, mais le type char [TAILLE]*. Malheureusement, le langage n'accepte pas cette écriture, et il faut l'écrire char (*)[TAILLE] à la place.

J'ai le souvenir d'une discussion dans laquelle les intervenants disaient que la notation avec la taille du tableau n'est visible par le compilateur que dans le fichier .c qui le contient.

[Aooka]

Ici avec return tab; tu retourne le tableau (donc la chaîne entière) que tu pourra réutiliser par la suite.

[Médinoc]

J'ai le souvenir d'une discussion dans laquelle les intervenants disaient que la notation avec la taille du tableau n'est visible par le compilateur que dans le fichier .c qui le contient.

Dans une fonction du genre void foo(int tab[10]), c'est le cas, dû à des choix que K&R regrettent quant au passage d'un tableau en paramètre (en fait, il est converti en pointeur et c'est le pointeur qui est passé; un tableau en paramètre de fonction est un faux tableau).

Par contre, un pointeur de tableau ne peut pas être ignoré aussi facilement; en fait, seule la "première" dimension d'un tableau peut ainsi être effacée. C'est pourquoi pour un tableau à deux dimensions, on peut déclarer une fonction void foo(int tab2d[][10]), qui sera en fait compilée en void foo(int (*tab2d)[10])