C++ Operator [] überladen

Skym0sh0

ja kann man, nein keine endlosschleife (weil ist ja eindeutig xD).

ich tippe hier einfach mal den orignalen code aus scott meyers "effektive c++ programmieren" ab, Tipp3, kapitel 1.3.2, seite 43 nach 3. auflage:

class Textblock{
public:
    ...
    const char& operator[](std::size_t position) const
    {
        ...
        ...
        ...
        return text[position];
    }

    char& operator[](std::size_t position)
    {
        return const_cast<char&>(static_cast<const Textblock&>(*this)[position]);
    }
...
};

Sone

const char&

Wieso zum Teufel eine Const-Referenz auf einen Basisdatentyp bei einem Rückgabewert?
Dann doch einfach gleich eine Kopie...

TyRoXx

Sone schrieb:

const char&
Wieso zum Teufel eine Const-Referenz auf einen Basisdatentyp bei einem Rückgabewert?
Dann doch einfach gleich eine Kopie...

Zum Beispiel weil man die Adresse des Elementes haben möchte.

Skym0sh0

wenn man ein einfaches beispiel machen will z.B.

theliquidwave

Okay, danke. Auch wenn es krüppelig aussieht.

cooky451

Sone schrieb:

Wieso zum Teufel eine Const-Referenz auf einen Basisdatentyp bei einem Rückgabewert?
Dann doch einfach gleich eine Kopie...

Fail.

Sone

TyRoXx schrieb:

Sone schrieb:
const char&
Wieso zum Teufel eine Const-Referenz auf einen Basisdatentyp bei einem Rückgabewert?
Dann doch einfach gleich eine Kopie...
Zum Beispiel weil man die Adresse des Elementes haben möchte.

Was zum Teufel willst du mit der Adresse einer konstanten Variable?

theliquidwave

Sone schrieb:

Was zum Teufel willst du mit der Adresse einer konstanten Variable?

Ist doch ganz klar:

(*(char*)(&lolwat[22])) = 'C';

Sone

theliquidwave schrieb:

Sone schrieb:

Was zum Teufel willst du mit der Adresse einer konstanten Variable?

Ist doch ganz klar:
(*(char*)(&lolwat[22])) = 'C';

Ich hoffe das ist jetzt nicht dein Ernst.

In einem konstanten Objekt sind auch alle Member (zumindest die, die nicht als mutual deklariert wurden) konstant.

Und der Standard sagt

any attempt to modify a const object during its lifetime (3.8) results in undefined behavior

Skym0sh0

ok, ich änders

template<class T>
class Foo {
public:
    ...
    const T& operator[](std::size_t position) const
    {
        ...
        ...
        ...
        return vec[position];
    }

    T& operator[](std::size_t position)
    {
        return const_cast<T&>(static_cast<const Foo&>(*this)[position]);
    }
...
};

Sone

Neh, ich will jetzt mal hören wieso das so viel Sinn macht. Von cooky seiner Majestät höchstpersönlich.

Skym0sh0

Sone schrieb:

Von cooky seiner Majestät höchstpersönlich.

bow down before her !

theliquidwave

Sone schrieb:

Ich hoffe das ist jetzt nicht dein Ernst.

Gut bemerkt

SeppJ

Sone schrieb:

Neh, ich will jetzt mal hören wieso das so viel Sinn macht. Von cooky seiner Majestät höchstpersönlich.

Ich, der Kaiser des Universums, sage Euch, Sone, dass Ihr wieder mal mehr Mario Barth angucken solltet:

void alte_c_funktion(const char* data, int N);

vector<char> foo(500);
// [...]
alte_c_funktion(&foo[0], 500);

Hat wohl jeder schon 1000 Mal gebraucht.

cooky451

Sone schrieb:

Neh, ich will jetzt mal hören wieso das so viel Sinn macht. Von cooky seiner Majestät höchstpersönlich.

1. Konzeptuell modelliert ein vector, wie fast alles mit operator[], eine Art Arrayzugriff. In jedem fall möchte man mit [] auf ein Element selbst zugreifen - und das wird eben genau mit einer Referenz erreicht. Äquivalent steht dazu das Ziel von C++, Klassentypen als Built-In Typen zu behandeln. (Bei einem konstanten Array gibt es natürlich auch einen const&.) Eine konstante Referenz ist also nur konsistent mit dem Rest der Sprache.

2. Praktisch gesehen willst du uU mal sowas:

send(&v[5], xyz);

Ja, man kann auch v.data() + 5 schreiben, aber da könnte man ja auch *(v.data() + 5) = 77 bei non-const schreiben. Der Punkt ist, dass das nicht das Verhalten ist, was man erwartet.

krümelkacker

Sone schrieb:

In einem konstanten Objekt sind auch alle Member (zumindest die, die nicht als mutual deklariert wurden) konstant.

Und der Standard sagt

any attempt to modify a const object during its lifetime (3.8) results in undefined behavior

Mal abgesehen davon, dass keiner ernsthaft das machen will, was liquidwave scherzhafterweise geschrieben hat, bist du hier auf dem Holzweg; denn

void ok(const char& ref)
{
  const_cast<char&>(ref) = 'y';
}

int main()
{
  char c = 'x';
  ok(c);
}

ist 100%ig legal, weil c kein "const object" ist. Nur weil du eine "Referenz auf const" oder "Zeiger auf const" hast, heißt das nicht, dass das referenzierte Objekt ein "const Objekt" ist. "Const Objekte" sind nur die, die schon mit einem const angelegt werden. Erst wenn du bei der Deklaration von c noch ein const davor schreibst, ist c ein "const object" und erst dann greift das, was du aus dem Standard zitiert hast. Bei einem vector<char> ist das sehr ähnlich. Die char-Objekte da drin sind keine "const objects".

Sone

. (s. u., hat sich geklärt)

cooky451

Wo ist der Unterschied zwischen einem TextBlock und einem vector<char>?

Skym0sh0

das war 1zu1 das beispiel aus dem meyers...
der hat sein textblock beispiel schon öfters mal vorher benutztund auch eingeführt.

klar machst es bei den simplen datentypen wenig sinn. aber es ging um das prinzip, daher mein code mit dem template später.

Sone

cooky451 schrieb:

Sone schrieb:

Neh, ich will jetzt mal hören wieso das so viel Sinn macht. Von cooky seiner Majestät höchstpersönlich.

1. Konzeptuell modelliert ein vector, wie fast alles mit operator[], eine Art Arrayzugriff. In jedem fall möchte man mit [] auf ein Element selbst zugreifen - und das wird eben genau mit einer Referenz erreicht. Äquivalent steht dazu das Ziel von C++, Klassentypen als Built-In Typen zu behandeln. (Bei einem konstanten Array gibt es natürlich auch einen const&.) Eine konstante Referenz ist also nur konsistent mit dem Rest der Sprache.

2. Praktisch gesehen willst du uU mal sowas:
send(&v[5], xyz);
Ja, man kann auch v.data() + 5 schreiben, aber da könnte man ja auch *(v.data() + 5) = 77 bei non-const schreiben. Der Punkt ist, dass das nicht das Verhalten ist, was man erwartet.

Hmm, zugegeben, wenn ich mir das so durchlese, sehe ich langsam ein dass du Recht hast.