Discussion :

[DarkPoster14]

Bonjour à tous,

Je post cette discussion pour m’éclaircir sur un sujet qui me tracasse depuis longtemps.

Je ne comprend pas pourquoi en langage C, on ne peut pas faire une affectation directe de deux tableaux, alors que contrairement avec les structures on peut, Sachant que les structures en C sont des sorte de tableau avec des éléments de différents type.

Je m'explique :

Prenons les déclarations suivantes :

Code :

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

1
2
3
4
5
6
7
8
 
int a [10];
int b [10];
typedef struct c;
typdef struct d;
 
c str_c
d str_d;

Je cherche à comprendre pourquoi on ne peut pas ecrire

Code :

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

a = b

, alors que l'on peut écrire

Code :

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

str_c = str_d

.

Merci d'avance pour vos réponses.

Cordialement,

[diogene]

La raison est que si l'expression A désigne un tableau d'éléments de type T, alors l'évaluation de A donnera l'adresse du premier élément du tableau (donc sera du type T* et non pas T[]) sauf dans les deux cas suivants :

1- A est opérande de l'opérateur unaire & (adresse de)

2- A est opérande de l'opérateur unaire sizeof

Dans tous les autres cas, la valeur de A sera donc l'adresse du premier élément du tableau et n'est pas un objet (ni pointeur ni tableau)

[Bktero]

Je ne comprend pas pourquoi en langage C, on ne peut pas faire une affectation directe de deux tableaux, alors que contrairement avec les structures on peut, Sachant que les structures en C sont des sorte de tableau avec des éléments de différents type

Tout simplement parce que cette vision, bien que tentante, est totalement fausse !

En effet, si tu déclares :

Code :

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

int tab[10];

, il est en fait très rare que l'utilisation de la variable tab soit un tableau. C'est en général un pointeur vers le premier élément du tableau (bien que tab soit vraiment un tableau, c'est bien la valeur évaluée qui est celle d'un pointeur !)

En revanche, dans

Code :

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

struct monType maStruct;

, maStruct est toujours une structure.

De plus, un tableau est une simple succession en mémoire et de manière contiguë de plusieurs éléments du même type et te donne simplement un moyen commode d'y accéder. En revanche, les éléments d'une structure se suivent mais ne sont pas collés (il y a potentiellement des trous, remplis avec des bits de padding).

Bref, la philosophie des 2 entités est très différentes, leur nature réelle aussi et donc leurs utilisations différent fatalement

[Médinoc]

Le plus déroutant, c'est qu'une structure contenant un tableau peut être affectée, et le tableau avec.

À noter que "tableau de 10 int" reste un type: Si on demande l'adresse d'un tableau (&tab), le résultat sera de type "pointeur sur tableau de 10 int" (noté int (*)[10] au lieu de int[10]*)

Le pointeur sur tableau de 10 int se déclare ainsi:

Code C :

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

1
2
3
int tab[10];
int (*ptr)[10];
ptr = &tab;