Retour d'un pointeur const

Bonjour,

Supposons une fonction déclarée comme suit :

Code:

---

const LPLINECALLSTATUS CTapiCall::GetCallStatus()

---

Comment se fait-il que les 2 écritures suivantes ne posent pas de problème :

Code:

---

const LPLINECALLSTATUS lpStat = GetCallStatus();

---

Ca je comprends ...

Mais celle-là :

Code:

---

LPLINECALLSTATUS lpCall = GetCallStatus();

---

Ben le compilo ne dit rien (VC6) ... alors qu'l devrait dire qu'il manque un const, non ?

Il le dit poutant pour plein d'autres cas.

@+

C'est le pointeur retourné qui est const, pas les données pointées...

Heu, je ne comprends pas trop ...

Code:

---

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

typedef struct TEST_tag { int a; int b; } STEST, *PTEST;   const PTEST GetTest1() { return new STEST; }   const STEST* GetTest2() { return new STEST; }

---

Code:

---

1 2	PTEST ps1 = GetTest1(); //Erreur STEST* ps2 = GetTest2(); //OK

---

Je vois pas trop la différence entre les 2 écritures, si ce n'est qu'une seule compile !!

(Edit: Le post au-dessus a changé depuis.)

attends, j'ai réédité mon poste ..
Re-regarde-le maintenant. Désolé

Citation:

---

Envoyé par olive_le_malin

Heu, je ne comprends pas trop ...

Code:

---

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

typedef struct TEST_tag { int a; int b; } STEST, *PTEST;   const PTEST GetTest1() { return new STEST; }   const STEST* GetTest2() { return new STEST; }

---

Code:

---

1 2	STEST* ps1 = GetTest1(); //Erreur PTEST ps2 = GetTest2(); //OK

---

Je vois pas trop la différence entre les 2 écritures, si ce n'est qu'une seule compile !!

---

Moi je la vois, la différence:
const PTEST correspond à STEST * const, et non pas à STEST const * ou const STEST * (les deux dernières écritures étant entre elles équivalentes).

Là où ça devient marrant, c'est si un abruti remplace le typedef par un #define...


Edit: Par contre, l'erreur devrait être dans l'autre sens!

Edit: Par contre, l'erreur devrait être dans l'autre sens![/QUOTE]
Oui!!!! j'ai re-re-corrigé.
Encore Re-désolé

Citation:

---

Envoyé par olive_le_malin

Code:

---

const STEST* GetTest2()

---

<snip>

Code:

---

STEST* ps2 = GetTest2(); //OK

---

---

Tu es sûr de toi, cette fois-ci ?
Moi non...

je ré-édite le post complet, car je me suis embrouillé 10 fois :

Code:

---

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

typedef struct TEST_tag { int a; int b; } STEST, *PTEST;   const PTEST GetTest1() { return new STEST; }   const STEST* GetTest2() { return new STEST; }

---

Code:

---

1 2 3

PTEST ps1 = GetTest1(); //OK STEST* ps2 = GetTest2(); //Erreur

---

Bon, moi je voyais le const PTEST équivalent à const STEST* ...

OK, cette fois, le code me parait montrer correctement l'erreur.

Et tu as ma réponse dans le post #6 : Ce n'est pas équivalent.
Il faut savoir que le const est supposé s'appliquer au type immédiatement à sa gauche. Le const Type * est l'exception, car il n'y a rien à sa gauche.

Depuis que je sais ça, j'écris toujours Type const *, pour plus de consistance et moins de disque de me tromper.
Ainsi, l'on voir bien que PTEST const (ou const PTEST)correspond à STEST * const...

Merci Medinoc pour tes réponses, et ta patience.
Désolé pour les erreurs dans mes posts.

J'aimerais que ma fonction retourne un pointeur sur un objet, et qu'on ne puisse pas le modifier aprés le retour. Je veux donc un pointeur sur un objet constant.
Donc, le fait de retourner un const PTEST (ce qui est donc équivalent à un STEST* const) ne me permettra visiblement pas ça, puisque l'on peut faire :

Code:

---

STEST* ps1 = GetTest1();

---

.
Et ainsi je retourne un pointeur constant.
Quel est donc l'interêt de cette notation ?

Pour mon problème, si j'ai bien compris, il me faut donc utiliser :

Code:

---

const STEST* GetTest2()

---

,
ce qui est équivalent à STEST const *, donc bien un pointeur sur un objet constant.

@+

ou bien:

Code:

---

1 2 3 4 5 6 7 8 9 10

typedef struct TEST_tag { int a; int b; } STEST, *PTEST; typedef struct TEST_tag const * PCTEST;   PCTEST GetTest1() { return new STEST; }

---

T'es au courant que l'usage dicte de réserver les noms exclusivement en capitales aux macros ?
T'es aussi au courant que certains de tes typedefs sont inutiles parce qu'en C++ struct machin {...} créé directement un type machin ?

Tout dépend pour quoi tu programmes.

Sous Win32, il est d'usage de mettre les macros et les typedefs en majuscules.

D'ailleurs, sans chercher dans Windows, un FILE *, qu'est-ce que c'est d'après toi ?

Salut,

Exact c'est pour du Win32.

Quel est donc l'interet de retourner un pointeur constant, cad un :
const PTEST ( <==> STEST* const ) ?
Parce que j'ai vu ça dans un code, et je me demande donc à quoi ça sert ?

@+

Je ne sais pas gd-chose sur les retours de valeurs constantes.
Cela peut tout aussi bien être une erreur, ou servir effectivement à quelque chose...