static virtual function

[Aram Hambardzumyan]

Originally Posted by Tumanyan

Несовсем. Есть технические, скорее даже, принципиальные ограничения, и вот какие:
В случае вызова без экземпляра класса, функция имеет сигнатуру:

return_type foo(type 1 arg1, type 2, arg2, .....);

При вызове через экземпляр есть 2 нюанса:

1. Вызов функции будет закодирован несколько иначе (обращение к виртуальной таблице. Косвенный вызов)

2. Сигнатура функции:

return_type foo(ClassType* instance_ptr, type1 arg1,.....);

Т.е., даже технически, получаются 2 разные функции (или перегрузка функции, в данном случае это - неважно).
С точки же зрения ООП, не выполняется одно из условий полиморфизма: единая для всех случаев сигнатура (единый метод вызова).

Удачи!

да нет же, я предлагаю иную реализацию. вызов конечно происходит через виртуальную таблицу, но в саму функцию this уже не передается. this используется только чтобы добраться до адреса функции, а дальше ее сигнатура остается такой же, как и при вызове без объекта.

[Tumanyan]

Originally Posted by Aram Hambardzumyan

да нет же, я предлагаю иную реализацию. вызов конечно происходит через виртуальную таблицу, но в саму функцию this уже не передается. this используется только чтобы добраться до адреса функции, а дальше ее сигнатура остается такой же, как и при вызове без объекта.

Извиняюсь за задержку с ответом.....

Арам,
Думаю, что наличие виртуальных статических функций вносит больше проблем, чем решает.
В конце концов получается достаточно запутанная конструкция: в случае вызова через указатель - одна функция (или больше), через тип - другая.... Слишком все сложно и нетривиально получается... Думаю так.
Идея же сама по себе интересна хотя бы тем, что заставляет подумать

Удачи!