Цитата

Хорошо. А можно динамически получать адрес виртуальной функции?

Точно так же. В моем примере функции как раз виртуальные. Адрес берется точно так же, просто указатель несет в себе метку о виртуальности, и при вычислении реального адреса функции (в момент использования) это учитывается.

Нет, этот адрес получается на этапе компиляции. А я имею ввиду следующую ситуацию:

class base
{
public:
virtual void method() {.....}
};

class derived:public base
{
public:
virtual void method() {......}
};

.........................
base* obj = new derived;
..........................

Вопрос: какой адрес функции obj->method() ? Это будет тоже самое, что и &derived::method, хотя obj - указатель на объект класса base. На этапе компиляции этот адрес не известен. А в runtime его, по ходу, не получить.

Цитата

Вопрос: какой адрес функции obj->method() ?

Еще раз. Указатель на член класса не является указателем в прямом смысле слова. Он несет в себе только информацию, достадочную для нахождения адреса члена класса по предоставленному экземпляру объекта, то есть, условно говоря, смещение. Без этого объекта этот "указатель" не имеет никакого смысла. Адрес виртуальной функции так же вычисляется по предоставленному экземпляру объекта. Почитай у Страуструпа - хорошо описанно.

Fantasist, я это всё прекрасно понимаю. Не первый год с ООП.
Страуструпа у меня нет. Искать не хочется, так как проблемы такой передо мной не стоит. Но было бы очень интесно. Может кто знает ответ. Вот и написал.

Цитата

Fantasist, я это всё прекрасно понимаю. Не первый год с ООП.

А в чем тогда вопрос? В чем сомнения? И к чему тогда:

Цитата

Вопрос: какой адрес функции obj->method() ? Это будет тоже самое, что и &derived::method, хотя obj - указатель на объект класса base. На этапе компиляции этот адрес не известен. А в runtime его, по ходу, не получить.

?

Все работает, как и описал Fantasist, причем и для дочерних классов, а смещене дло функции от начала экземпляра одинаковое и у родителя и у потомка. Есть ли у кого-нить электронный Страустрап?
Буду очень признателен, если кто-нибудь вышлет. [email protected]

Я получаю экземпляр класса. Знаю его базовый класс. Но он может быть экземпляром класса-наследника базового. Вопрос: как узнать адрес некоторой виртуальной функции? Например для выше написанного примера, хочу написать функции, возвращаюшую адрес виртуальной функции:

class base
{
public:
virtual void method() {.....}
};

class derived:public base
{
public:
virtual void method() {......}
};

.........................
base* obj = new derived;
..........................

void* GetMethodAddr(base* x)
{
......................Как тут получить адрес x->Method() ? ...............................
}

При наследовании новые члены дочернего класса, если таковые имеются, добавляются в конец класса, поэтому все наследуемые функции, в том числе и виртуальные, имеют одно и то же смещение от начала, поэтому достаточно сделать приведение типов и будет работать. Вот рабочий пример (упрощен):

Код

typedef int (CWnd::*fptr)(WPARAM,LPARAM); class CWnd { public: virtual int onCreate(WPARAM wParam,LPARAM lParam); {...} private: CMsgMap* pMsgMap;  // ката сообщений }; class CMainWnd: public CWnd { }; int CMainWnd::onCreate() {...} int main() { fptr onMsg; CMainWnd* pMainWnd = new CMainWnd;        onMsg = (fptr)(&CMainWnd::onCreate); pMsgMap->AddMsh(WM_CREATE,onMsg);  // запихиваем сообщение в карту } struct MappedMsg {  UINT MessageID;  fptr onMsg; } CMsgMap::ProcessMsg(HWND hWnd,UINT msg,WPARAM wParam, LPARAM lParam) // вызывается из обработчика окна {  CWnd* pWnd = (CWnd*)GetWindowLong(hWnd,GWL_USERDATA);  MappedMsg* mm = SearchMsg(msg);   // получаем указатель на структуру  (pWnd->*mm->onMsg)(wParam,lParam);   // вызываем функцию }

Цитата

При наследовании новые члены дочернего класса, если таковые имеются, добавляются в конец класса, поэтому все наследуемые функции, в том числе и виртуальные, имеют одно и то же смещение от начала

Не виртуальные функции никуда не добавляются. Они связываются на этапе компиляции. Про смещение можно говорить только, когда имеешь дело с виртуальными функциями. У тебя,Jcs, не совсем верное представление о функционировании наследования. В объекте класса храниться указатель на vtable - виртуальную таблицу. Эта виртуальная таблица одна на все объекты данного класса. А не виртуальные функции туда вовсе не помещаются.

И вообще, если это в ответ на мой вопрос, то меня похоже никто не понимает. Жаль. Ну, да ладно. Это так. От любознательности и для общего развития .

Цитата

И вообще, если это в ответ на мой вопрос, то меня похоже никто не понимает

Это точно кто-то кого-то не понимает. То ли мы тебя, то ли ты нас. Для начала, как ты понимаешь, адреса всех членов-функций известны на этапе компиляции виртуальные они или нет. Так что адрес виртуальной функции получается так же, как и адрес не виртуальной функции. И все это на этапе компиляции. Если ты хочешь по указателю на экземпляр объекта понять, какой из этих адресов будет использоваться, то надо залезть в vtable. Но для того, чтобы вызывать по указателю на член виртуальную функцию вовсе не нужно получать адрес этой функции. Потому как средствами языка это невозможно. Тем не менее, механизм указателя на член это реализует, хоть и скрыто от пользователя.

Цитата

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

а говоришь не понимаешь. Вот именно это я и хотел услышать. Невозможно, так невозможно. Лезть в vtable конечно можно. Но, во-первых, место vtable в классе не регламентировано (хотя это обычно первое слово), во-вторых, язык,как я понимаю, также не позволяет узнать позицию в vtable адреса виртуальной функции.

Короче, спасибо за интересную дискуссию.

Цитата

Короче, спасибо за интересную дискуссию.

Я присоединяюсь и предлагаю добавить эту тему в FAQ- вещь вобщем то нужная.

ЗЫ, а ещё ведь есть виртуальные базовые классы

Вот вам задачка. Если класс порожден вот так:

Код

class A {virtual void M();}; class B: virtual public A {virtual void M();}; class C: virtual public A {virtual void M();}; class D: public B, C {virtual void M();};

то как определить, что лежит в vtable класса D ?

Цитата(mr @ 5.10.2003, 08:29)

то как определить, что лежит в vtable класса D ?

Что значит как определить?
Вестимо, там лежит D::M. Или ты ожидаешь что конструкция:

A* a=new D();
a->M();

вызовет A::M()?

Это я про внутренние потроха vtable, в ответ на:

Цитата

Все работает, как и описал Fantasist, причем и для дочерних классов, а смещене дло функции от начала экземпляра одинаковое и у родителя и у потомка.