C++ упаковывает разные типы данных в одну длинную переменную

Я бы предпочел использовать структуру bitfield для представления такого типа (также используйте uint64_t чтобы быть уверенным в доступном размере):

union PACKAGE {
    struct bits {
        uint64_t dat1 : 8;  // 1 byte long max
        uint64_t dat2 : 4;  // 4 bit long max
        uint64_t dat3 : 16; // 2 byte long max
        uint64_t dat4 : 32; // 4 byte long max
        uint64_t dat5 : 4;  // 4 bit long max
    };
    uint64_t whole; // for convenience
};

Как упоминалось в комментариях вы даже можете использовать тип данных uint_least64_t, чтобы ваша цель поддерживала это (поскольку доступность uint64_t не является обязательной для текущего стандарта С++):

union PACKAGE {
    struct bits {
        uint_least64_t dat1 : 8;  // 1 byte long max
        uint_least64_t dat2 : 4;  // 4 bit long max
        uint_least64_t dat3 : 16; // 2 byte long max
        uint_least64_t dat4 : 32; // 4 byte long max
        uint_least64_t dat5 : 4;  // 4 bit long max
    };
    uint_least64_t whole; // for convenience
};

Предполагая, что sizeof(unsigned int) != sizeof(unsigned long long), левый операнд каждого сдвига имеет неправильный тип. Каждая операция сдвига усекается (вероятно, до 32 бит).

Попробуйте, например:

typedef unsigned long long PACKAGE; // 8 byte (shows as _int64 in debug)
(sizeof returns '8')
unsigned long long dat1   = 25;  // 1 byte long max
unsigned long long dat2   = 1;   // 4 bit long max
unsigned long long dat3   = 100; // 2 byte long max
unsigned long long dat4   = 200; // 4 byte long max
unsigned long long dat5   = 2;   // 4 bit long max

pack = (dat1 << 56) | (dat2 << 52) | (dat3 << 36) | (dat4 << 4) | dat5;

or:

typedef unsigned long long PACKAGE; // 8 byte (shows as _int64 in debug)
(sizeof returns '8')
unsigned int dat1   = 25;  // 1 byte long max
unsigned int dat2   = 1;   // 4 bit long max
unsigned int dat3   = 100; // 2 byte long max
unsigned int dat4   = 200; // 4 byte long max
unsigned int dat5   = 2;   // 4 bit long max

pack = ((PACKAGE)dat1 << 56) | ((PACKAGE)dat2 << 52) | ((PACKAGE)dat3 << 36) | ((PACKAGE)dat4 << 4) | (PACKAGE)dat5;

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