Как определить собственный кроссплатформенный тип size_t?

Ну теоретически, если перечисление всех возможных (без знака) кандидатов на size_t вас не беспокоит, вы можете использовать SFINAE:

template <class T, class N = void, bool = sizeof(T) == sizeof(sizeof(T))>
struct TL { 
    typedef typename N::type type;
};

template <class T, class N>
struct TL<T, N, true> {
    typedef T type;
};

typedef TL<unsigned short,TL<unsigned int, TL<unsigned long, TL<unsigned long long> > > >::type SizeT;

[демонстрация]

Изменить:

Обходной путь для компиляторов, которые отличают unsigned long от unsigned long long, несмотря на то, что они предполагают sizeof(unsigned long) == sizeof(unsigned long long):

template <class U>
U *declptrval(U);

template <class U>
char is_exact(U *);

template <class U>
short is_exact(...);

template <class T, class N = void, bool = sizeof(is_exact<T>(declptrval(sizeof(T))))==sizeof(char)>
struct TL { 
    typedef typename N::type type;
};

template <class T, class N>
struct TL<T, N, true> {
    typedef T type;
};

typedef TL<unsigned short,TL<unsigned int, TL<unsigned long, TL<unsigned long long> > > >::type SizeT;

[демонстрация]

Насколько я знаю, вы указали только два кросс-платформенных способа получить size_t: включить определение из стандартного заголовка или decltype (начиная с C++11). Но оба явно недоступны для вас.

Третий вариант — перенос вручную, т. е. использование предопределенных макросов для определения среды и выбор правильного определения типа из поддерживаемого вручную списка определений типов. Например, в GCC вы можете использовать __SIZE_TYPE__ (однако, обратите внимание на предупреждение в документации о том, что макрос не следует использовать напрямую и что он предоставляется не на всех платформах). В других компиляторах вы бы использовали что-то другое.

К сожалению, «определяется реализацией» включает файлы заголовков, а не только сам компилятор. Если вы посмотрите на [expr.sizeof], они, кажется, предлагают просто использовать это :

#include <cstddef>