Они не обязательно должны быть одинаковыми, и количество компьютерных систем, в которых они не сильно превышают число, где они находятся. Тем не менее, есть некоторые отношения между размером указателя и размером слова.
Программы делают много арифметики указателей. Подписка на массив является добавлением указателя. Указатели сравниваются друг с другом. Если ваш ЦП не может выполнить арифметику с чем-либо размером с указатель, ваш адрес должен быть разделен на несколько переменных, что приводит к сегментированному или объединенному в ряд адресному пространству. Они сложны в управлении и вызывают распространение типов, подобных указателю (ближний указатель, дальний указатель, основанный указатель). Как следствие, вы получаете дополнительные странные ограничения, такие как связанные списки, которые могут содержать больше элементов, чем массив.
Тем не менее, микроконтроллеры с 8-битными шинами данных и большими адресными пространствами (возможно, только для кода, а не данных) являются общими. В другом направлении современные процессоры общего назначения с 32-разрядными или 64-разрядными указателями имеют гораздо более широкие слова данных, чем указатели (например, 512-разрядные слова данных в подсистеме AVX современных процессоров x86_64). Многие алгоритмы без блокировок зависят от атомарного доступа к данным, размер которого как минимум вдвое превышает размер указателя.