Was ist der Unterschied zwischen const int*, const int * const, und int const *?

Question

Ich bringe immer durcheinander, wie man const int* , const int * const y int const * richtig. Gibt es eine Reihe von Regeln, die festlegen, was Sie tun dürfen und was nicht?

Ich möchte wissen, was ich tun und was ich lassen soll, wenn es um Zuweisungen, die Übergabe an Funktionen usw. geht.

Answer 1

Die Deklarationssyntax von C und C++ ist von den ursprünglichen Entwicklern wiederholt als gescheitertes Experiment bezeichnet worden.

Stattdessen sollten wir Name den Typ "Zeiger auf Type "; ich nenne es Ptr_ :

template< class Type >
using Ptr_ = Type*;

Jetzt Ptr_<char> ist ein Zeiger auf char .

Ptr_<const char> ist ein Zeiger auf const char .

Und const Ptr_<const char> ist eine const Zeiger auf const char .

Answer 2

Für mich ist die Position des const d. h., ob es links oder rechts oder sowohl links als auch rechts von der Linie erscheint. * hilft mir, die eigentliche Bedeutung zu verstehen.

1. A const zur LINKEN von * zeigt an, dass das Objekt, auf das der Zeiger zeigt, ein const Objekt.

2. A const nach RECHTS von * zeigt an, dass der Zeiger ein const Zeiger.

Die folgende Tabelle ist dem Stanford CS106L Standard C++ Programming Laboratory Course Reader entnommen.

Answer 3

Leicht zu merken:

Wenn const vor * steht, ist der Wert konstant.

Wenn const nach * steht, ist die Adresse konstant.

wenn const sowohl vor als auch nach * vorhanden ist, sind sowohl Wert als auch Adresse konstant.

z.B..

1. int * const var; //hier ist die Adresse konstant.

2. int const * var; //hier ist der Wert konstant.

3. int const * const var; // sowohl Wert als auch Adresse sind konstant.

Answer 4

Es gibt noch viele andere Feinheiten, die die Korrektheit von const in C++ betreffen. Ich nehme an, die Frage bezog sich hier einfach auf C, aber ich werde einige verwandte Beispiele anführen, da das Thema C++ ist:

• Sie übergeben oft große Argumente wie Zeichenketten als TYPE const & die verhindert, dass das Objekt geändert oder kopiert wird. Beispiel:

  TYPE& TYPE::operator=(const TYPE &rhs) { ... return *this; }

  Aber TYPE & const ist bedeutungslos, da Referenzen immer const sind.

• Sie sollten Klassenmethoden, die die Klasse nicht verändern, immer als const aufzurufen, sonst können Sie die Methode nicht aus einer TYPE const & Hinweis. Beispiel:

  bool TYPE::operator==(const TYPE &rhs) const { ... }

• Es gibt häufig Situationen, in denen sowohl der Rückgabewert als auch die Methode const sein sollten. Beispiel:

  const TYPE TYPE::operator+(const TYPE &rhs) const { ... }

  Const-Methoden dürfen nämlich keine klasseninternen Daten als Verweis auf Non-Const zurückgeben.

• Infolgedessen muss man oft sowohl eine const- als auch eine non-const-Methode mit const-Überladung erstellen. Wenn Sie zum Beispiel definieren T const& operator[] (unsigned i) const; , dann wollen Sie wahrscheinlich auch die nicht-konstante Version, die durch gegeben ist:

  inline T& operator[] (unsigned i) { return const_cast<char&>( static_cast<const TYPE&>(*this)[](i) ); }

Afaik gibt es in C keine Konst-Funktionen, Nicht-Mitglieder-Funktionen können in C++ selbst nicht konstant sein, Konst-Methoden können Seiteneffekte haben, und der Compiler kann keine Konst-Funktionen verwenden, um doppelte Funktionsaufrufe zu vermeiden. In der Tat, selbst eine einfache int const & Referenz kann der Wert, auf den sie sich bezieht, an anderer Stelle geändert werden.

Answer 5

Die const mit dem int auf beiden Seiten macht Zeiger auf Konstante int :

const int *ptr=&i;

oder:

int const *ptr=&i;

const 後 * wird machen Konstanter Zeiger auf int :

int *const ptr=&i;

In diesem Fall sind alle diese Punkte Zeiger auf konstante Ganzzahl , aber keine davon ist ein konstanter Zeiger:

 const int *ptr1=&i, *ptr2=&j;

In diesem Fall sind alle Zeiger auf konstante Ganzzahl und ptr2 ist Konstanter Zeiger auf konstante Ganzzahl . Aber ptr1 ist kein konstanter Zeiger:

int const *ptr1=&i, *const ptr2=&j;