"Правила C++ составлены так, чтобы гарантировать невозможность ошибок, связанных с типами. В теории, если программа скомпилируется без ошибок, она не попытается выполнить каких-либо небезопасных или нелепых действий над каким-либо объектом. Эта гарантия очень ценна."
>>> Статья