Из языка POV, должен ли Succ / Prev применяться к указателям? [закрыто]

Интересно, можно ли использовать функции Inc / Prev intrinsics для типизированных типов указателей. Также как и Dec/ PointerVar+1или математика ( PointerVar-1и ).program Project9; // Delphi does have reverse-analogu for Pos/PosEx functions {$APPTYPE CONSOLE} // So Delphi IDE ( Version Insight) to cut away a last part uses // of string abuses mixing of record helper (LastIndexOf) System.SysUtils; // and System.Copy function. Searchinf to fix it found this... var OutPut, RemoteName: string; P: PChar; begin try OutPut := 'aaaaaa/zzzzzz'; P := StrRScan( PChar(OutPut), '/'); P := Succ(P); // XE2: [DCC Fatal Error] Project9.dpr(13): F2084 Internal Error: AV0C068241-R00000000-0 // 10.1: [dcc32 Error] Project9.dpr(13): E2008 Incompatible types P := 1+P; // Another way to say Succ() - and works in both XE2 and 10.1 Inc(P); // Yet one more way to say Succ() - and works in both XE2 and 10.1 too RemoteName := P; except on E: Exception do Writeln(E.ClassName, ': ', E.Message); end; end.

• http://docwiki.embarcadero.com/Libraries/en/System.Succ
• http://www.freepascal.org/docs-html/rtl/system/succ.html

Они применяются только для succ / var P : Pointer ; S : Строка ; P : = Succ ( P ); // ошибка Inc ( P ); // ошибка P : = 1 + P ; // работает в XE2, если {$ POINTERMATH ON} , ошибка if {$ POINTERMATH OFF} // ошибка в 10.1 независимо от S : = PChar ( P ); // сбой XE2, если « P : = 1 + P ;» существует выше «порядковых типов», которые не перечислены в списке. Так Pascal Report 1972 (называющий его Scalar Types)

Однако http://www.gnu-pascal.de/gpc/Succ.html#Succ утверждает: «Применение Succ к указателям определено в Borland Pascal». и, как представляется, неразумно исключать эти функции вслед за указателями Math.

Является ли это ограничение обоснованным по языку или просто проблемой реализации, поскольку функции Succ / Succ рассматриваются как несколько загадочные?

Pred

Интересно сравнить его с измененным типом var, Succа не с PChar.

Pred