Какое ограничение на расстояние между указателями определенного типа в C++?

Предположим, у меня есть два указателя на тип T:

T* first = ...// whatever
T* second = ... //whatever else

Могу ли я быть уверен, что расстояние между этими двумя указателями никогда не превысит:

((size_t)(-1))/sizeof(T)?