Regarding your first example: there's no compatibility problem. "A typedef declaration does not introduce a new type, only a synonym for the type so specified." If you didn't add qualifications, they are one and the same type (an alias).