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

__>неважно, куда будет указывать. главное, какого он типа. а это определяется на этапе компиляции.
__>(речь не о динамических отлавливаниях изменений, когда, действительно, требуется рантайм-анализ указателей, а о статическом — мы просто тупо запрещаем в коде, попадающем в область видимости данного метода, менять что-то через указатели данного класса)

Т. е. ты хочешь, чтобы некоторый superconst влиял на все экземпляры данного класса?