Как вызвать метод класса имея его указатель?

[CRobin]

Здравствуйте. Есть метод класса MyClass , который принимает один аргумент, целое число и возвращает результат тоже целое число. Необходимо вызвать его из другого модуля как обычную функцию типа

Код: Выделить всё

TFunc = function(arg : integer): integer;

Проблема в том, что компилятор отказывается воспринимать указатель на метод класса MyClass как указатель на функцию, сообщает о несоответствии типов. Обмануть никак не получается, хотя я не понимаю до конца что в этом преступного. Приходится городить костыли в виде функций-переходников, внутри которых находится вызов метода класса. Можно это как то избежать? Важное условие, модуль из которого происходит вызов функции не должен знать о MyClass

[Лекс Айрин]

CRobin, вообще-то это основы ООП, что нельзя вызывать метод класса вне класса.

хотя я не понимаю до конца что в этом преступного.

Подобное поведение может разрушить объект (вызвать немотивированное поведение). Итак программисты слишком вольно обращаются с объектами/классами наплевав на инкапсуляцию.

[CRobin]

В моем случае этот метод ничего не пишет, только читает. Разве нет никакого способа выкрутится?

[Лекс Айрин]

CRobin Как я понимаю, один есть -- property .

http://pascal-study.blogspot.ru/2012/05 ... st_03.html

[Kemet]

вообще-то это основы ООП, что нельзя вызывать метод класса вне класса.

Можно. Это зависит от архитектуры языка.
В Модуле-3, например, это вообще не проблема, так как метод - это простая процедура с определенной сигнатурой, которая становится методом только после соответствующих указаний. И можно вызывать и как P(T, x, y, z); и как T.P(x,y,z);

[Лекс Айрин]

Kemet не путай реализацию принципов с самими принципами.

[CRobin]

CRobin Как я понимаю, один есть -- property .

http://pascal-study.blogspot.ru/2012/05 ... st_03.html

Путем жутких извращений с указателями удалось решить задачу. Спасибо.

[MysticCoder]

Код: Выделить всё

type
  TSomeClass = class
     function SomeMethod(arg : integer): integer;
  end;

  TSomeMethod = function (arg : integer) : integer of object;
...

var
   A : TSomeMethod;
...
   A := SomeClass.SomeMethod;
   // передаем в модуль B
   B.SomeProc(A);



такой метод чем не угодил?

[CRobin]

такой метод чем не угодил?

Не знал что так можно. Такой метод конечно решает задачу напрямую без извращений. Большое спасибо.

[resident]

такой метод чем не угодил?

Не удовлетворяет условию задачи:

не должен знать о MyClass

[MysticCoder]

А он ничего и не знает. У него есть указатель на класс, но он ведь не пытается о нем что нибудь узнать. в твоей трактовке, класс должен располагаться в параллельной вселенной, потому что модуль может управлять каким нибудь роботом, который обыщет всю землю и просканирует все жесткие диски и найдет таки информацию о классе.
А автор видимо хотел сказать, что в зависимостях модуля не должно быть модуля в котором обьявлен MyClass. Их и не требуется.

[zub]

CRobin
>>Не знал что так можно
Еще стоит обратить внимание на TMethod

resident
>>Не удовлетворяет условию задачи:
Удовлетворяет. Именно так это и делается.

[resident]

автор видимо хотел сказать, что в зависимостях модуля не должно быть модуля в котором обьявлен MyClass

Это твоя личная кривая трактовка.
По-моему задание означает: ничто в модуле не должно знать.
Пример:
"Москва не должна знать о Петербурге" - означает только одно - никто в Москве не должен знать о Петербурге. А по твоему - из Москвы не должно быть прямых дорог в Петербург. (Вот так и реализовали захват Трои конем, когда никто не смотрел на суть. Ворота зарыты, всё хорошо, да? )

Добавлено спустя 21 минуту 22 секунды:

Еще стоит обратить внимание на TMethod

А через него можно получить метод без указателя на класс?
Именно такой о каком ТС спрашивал в первом посте.

Код: Выделить всё

TFunc = function(arg : integer): integer;

[MysticCoder]

Это твоя личная кривая трактовка.
По-моему задание означает: ничто в модуле не должно знать.

Твоя трактовка тоже твоя личная и весьма кривая. И твои придирки смахивают на желание спорить ради спора.

[Kemet]

Kemet не путай реализацию принципов с самими принципами.

А я и не путаю. Наличие/отсутствие методов (или похожего механизма) не делает ЯП объектно-ориентированным.
Требуется инкапсуляция и наследование, а полиморфизм может быть реализован различными способами.
Например, в классическом Обероне нет методов, но он, тем не менее, относится к ОО языкам.