ist es ein Konflikt? über C++ Auto

Question

In C++ Primer 5 sehe ich den Code:

const int a = 40; 
auto &b = a; 

Der Compiler b mit Typ ableiten kann: const int &.
Ich denke, das ist vernünftig, wie ein const int ist und wenn b int & Sie ihnen können wir den Wert eines const int ändern, was illegal ist.

Jedoch sagte das Buch, dass die automatische Abzug wird die Top-Level-const, mit dieser Regel im Code weglassen: auto &b = a; das eine hat nur int geben, sie wir, dass die B-Typ int & verschieben kann, hat die Konflikte, b hat den Typ const int &.

Eine andere Frage ist der Code:

auto &a = 8; 

Der Compiler kann nicht ableiten, dass ein const int & direkt während im Code eingeben hat:

const int a = 40; 
auto &b = a; 

der Compiler kann. Warum der Unterschied?

Answer 1

auto Abzug, mit ein paar kleineren Ausnahmen, funktioniert genau so wie normale Vorlage Abzug. Sagen wir, wir haben eine Funktion:

template <class T> void foo(T& param); 

const int a = 40; 
foo(a); 

In diesem Beispiel T-const int und die Art der param wäre const int& ableiten würde. Mit derselben Argumentation gibt Ihnen auto& b = a; einen Verweis auf const int.

foo(8) wird jedoch nicht kompiliert. T& kann nur an einen Lvalue binden und 8 ist kein Lvalue. Das ist also schlecht geformt. In ähnlicher Weise ist auto& a = 8; schlecht ausgebildet.