Frage zu folgendem Code:

class A
{
public:
   A( A& a) { }
...
};
...
main:
char a = a;
A a1=a1;
A a2(a2);

Wie genau ist das im Standard definiert. War es nicht so, dass werden Werttypen diesbezgl. anders behandelt als Klassen?

Steht nicht in Lehrbüchern, dass

A a0;
A a=a0;

äquivalent zu:

A a0;
A a(a0);

ist?

VS 2003/2008, welcher bekannter maßen nicht gerade der konformste Compile rist, übersetzt das obige Bsp mit einem Fehler a2 :undeclared identifier.

A a2(a2);

Du übergibst ein Objekt, das du gerade erstellen möchtest. Sollte meiner Meinung nach nicht funktionieren.

Oder wozu willst du den das machen?

Ungefähr so:

char a = 'l';
{
   char a = a;
}

Und in diesem Zusammenhang stellte sich mir die Frage, was der Standard den Compilern in einem solchen Fall vorschreibt. Ganz abgesehen davon, dass das mehr als unschön ist!

Wohlgeformt aber undefiniertes Verhalten, da der ursprüngliche Wert von a unbestimmt ist. Wäre ok, wenn das Objekt statische Lebensdauer hätte.

A a1=a1;

ill-formed, da kein geeigneter Konstruktor vorhanden. Gäbe es einen solchen, wäre das Verhalten undefiniert.

A a2(a2);

ill-formed, da a2 an der Stelle des Argumentes ein unbekannter Bezeichner ist (unter der Annahme, das kein a2 in irgendeinem äußeren Scope deklariert wurde). Der Name des Objektes a2 gilt erst am Ende der Deklaratorliste als bekannt.

undefinert, das innere a wird mit sich selbst initialisiert.

char a = 'l';
{
   char a(a); 
}

ok, der Initialisierer verweist auf das äußere a

A a=b;

mit

A a(b);

Zumindest wird nicht der Zuweisungsoperator verwendet...

hmm, ok. Aber normalerweise interpretiert der Kompiler doch:

A a=b;

mit

A a(b);

Zumindest wird nicht der Zuweisungsoperator verwendet...

Na und? Es ist ja nicht so, dass der Compiler da wortwörtlich die Zeile A a = a; löscht, durch A a(a); ersetzt und dann versucht, diese erneut zu übersetzen. Er ist durchaus in der Lage zu erkennen, welches Objekt wann wo gemeint ist.

Zu solchen speziellen Standardfragen würde ich auch raten, einfach mal den Standard selbst zu lesen. Die Drafts sind frei im Netz verfügbar. Da findest du ca. 4 Seiten wo jeder mögliche Fall durchexerziert wird und dir wird auch ganz genau erklärt wann und warum aus A a = b; ein A a(b); wird.

Wie genau ist das im Standard definiert