MasterZiv А как на счёт bool, __int64, unsigned __int64 и т.д. ? Можно ли их использовать или нежелательно ?

можно

Или предпочтительнее всегда использовать только простые int, char, double, чтобы избежать возможных проблем с вызовом функций из других программ и языков ?

вызов из других языков - тема отдельная, и очень большая.

Действительно. В стандарте Си, например, указано что в каждой конкретной реализации могут быть определены так называемые extended intger types. И эти типы совместно со standart integer types образуют integer types. Размер каждого типа данных из standart integer types зависит среды, extended types не зависят от внешних факторов и всегда имеют фиксированный размер. Почему бы тогда не отказаться от использования типов из множества standart integer types ? Есть ли причины, кроме совместимости с уже созданными программами, чтобы не отказываться от standart integer types?

PS
Меня смущает что у нас получается какая-то мини-виртуальная машина.

SSДействительно. В стандарте Си
И в стандарте С++ аналогично

mcureenab При чем тут машина? Потенциально библиотеки и программу можно собирать разными компиляторами. Если внутренняя реализация типов окажется разной, то библиотека будет несовместима с программой.
Если программа и библиотеки собираются одним компилятором, то проблем быть не должно.

Замечание не по существу. То что я имел ввиду вполне понятно. Не нужно сильно абстрагироваться