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

_>Есть. Я могу делать проверки только в DEBUG например. И вообще это объявляется на уровне контрактов, концептов и другой информации уровня компилятора или еще раньше

Говнокодить, короче. На какие только жертвы не пойдешь ради указателей.