Здравствуйте, c-smile, Вы писали:

CS>Еще раз, с точки зрения теории:

CS>

CS>class A {...}
CS>A a1;
CS>const A a2;
CS>

CS>a1 и a2 принадлежат разным классам. С++ например считает именно так.

И почему тогда работает

A a1;
const A a2 = a1;

?

CS>Про то как deep immutability могло быть сделано в C# или Java
CS>читаем здесь:

CS>Javari Language — Java extended by readonly and mutable keywords:
CS>"A Practical Type System and Language for Reference Immutability"
CS>http://pag.csail.mit.edu/~mernst/pubs/ref-immutability-oopsla2004-slides.pdf

Спасибо огромное! Как бы я без твоих советов жил бы?