C++が型安全じゃないってどういうこと?