why default copy-ctor is generated for a class with reference member variable?

Question

http://coliru.stacked-crooked.com/a/8356f09dff0c9308

#include 
struct A
{
  A(int& var) : r(var) {}
  int &r;
};

int main(int argc,          


        

Answer 1

A a1(x);

is fine because it's constructing an instance of A with a reference (x is turned into a reference and the constructor A(int&) is called)

A a2 = a1;

Is also fine because it is still construction. Copy construction, in fact. It's okay to initialize a reference with another reference.

For instance:

int a = 1;
int& b = a;
int& c = b;

Is okay because this is all construction (Demo)

However, you cannot assign a reference, which is what a2 = a1 will attempt to do through a compiler-generated copy-assignment operator. However, the compiler recognized this and did not generate such an operator. Since the operator does not exist, you got a compiler error.