Функциональные указатели могут иметь очень разных размеров , от 4 до 20 байт на машине X86, в зависимости от компилятора.Таким образом, ответ НЕТ - размеры могут варьироваться.
Другой пример: возьмите программу 8051, она имеет три диапазона памяти и, таким образом, имеет три разных размера указателя: 8-битный, 16-битный, 24-битный, в зависимости от того, где находится цельнаходится, хотя размер цели всегда одинаков (например, char).