Kann Speicher für Referenzen innerhalb einer C++ - Klasse entfernt werden?

Question

Ermöglicht die C++ - Sprache den folgenden Code zum Drucken von z. 1 statt 16? Nach anderen Antworten würde ich ja raten, aber dieser Fall scheint speziell nicht abgedeckt worden zu sein.

#include "iostream" 
#include "cstdlib" 
using namespace std; 

struct as_array { 
    double &a, &b; 

    as_array(double& A, double& B) 
     : a(A), b(B) {} 

    double& operator[](const int i) { 
     switch (i) { 
     case 0: 
      return this->a; 
      break; 
     case 1: 
      return this->b; 
      break; 
     default: 
      abort(); 
     } 
    } 
}; 

int main() { 
    cout << sizeof(as_array) << endl; 
} 

Answer 1

Die Norm sagt unter [dcl.ref]:

Es wird nicht spezifiziert, ob ein Verweis erfordert Speicher

Auch ist es für den Compiler zu entscheiden, was die Größe eines Objekts ist, so dass Sie hier eine beliebige Zahl ungleich Null erhalten können.

Es gibt auch die als-ob-Regel (aka. Berechtigung zu optimieren). Daher wäre es legal, wenn der Compiler Speicher für diese Referenzen verwendet, wenn und nur wenn die Art der Verwendung der Referenzen dies erfordert.

Nachdem alles gesagt wurde; im Interesse eines stabilen ABI würde ich immer noch erwarten, dass ein Compiler diesen Referenzen Speicher zuordnet.

Answer 2

Die Art und Weise der Compiler Referenz Verhalten implementiert - einschließlich wo und wie sie gespeichert sind - nicht spezifiziert ist in dem C++ Standard. Folglich könnte ein Compiler "1 statt 16" drucken, während Sie fragen.

Getrennt, brauchen Sie nicht zu break nach return ing.

Answer 3

Ich glaube, dass

cout << sizeof(as_array) << endl; 

liefert immer den erforderlichen Speicher für zwei Zeiger auf der gegebenen Maschine zu verdoppeln, vielleicht mit Lücken erweitert Verpackungsvorschriften zu erfüllen. Optimieren bedeutet, die Größe des Speichers bestimmter Datenstrukturen zu reduzieren. Stattdessen kann der Compiler Ihren Code in einem realen Szenario komplett weg optimieren. Also, wenn Sie den Code haben:

double a=100; 
double b=200; 
as_array arr(&a, &b); 
std::cout << arr[0] << std::endl; 

bei der Optimierung der Speicher für die Struktur vollständig weg führen kann, weil der Compiler weiß, wie sich die Werte durch den Code behandelt werden. Aber der Ausdruck von sizeof (arr) gibt Ihnen immer noch die theoretische Größe der Struktur.

Wie auch immer: Wenn Sie bessere Ergebnisse erzielen wollen, sollten Sie besser Code schreiben! Machen Sie Methoden const, wenn sie const sind! Wenn Sie C++ 11 verwenden, verwenden Sie möglichst constexpr.