На примере Qt, но его тут знать не обязательно. Вот сигнатура, упрощённо:



Не обращайте внимание, что сигналы и слоты типа "const char *" это устаревшее, но не суть.

Мы наследуемся от QObject, вызываем этот метод. Далее объект "sender" генерирует сигнал "signal" и для "this" вызывается "method".

Обратите внимание, что в вызов connect() не передаётся this. Откуда ж он его знает? :) Я думаю, что там где-то кодогенерация с виртуальными функциями. Ну или макрос Q_OBJECT определяет виртуальную функцию, которая возвращает this.

Вроде по другому задачу не решить? Я так просто порассуждать.

Да, только в connect() this будет указывать на QObject, а метод-слот нужно будет вызвать в наследнике. И наследников может быть несколько: QObject -> A -> B. Множественное наследование тоже не запрещено.

Метод-слот, который вызывается, не виртуальный. И в QObject его вообще нет ни в каком виде.

На то он и слот...

Это новшество Qt 5. Если вы посмотрите на сигнатуру в первом посте, то поймёте, что вопрос был про функцию connect() из Qt 4.

PS: Да, я не пользуюсь этой устаревшей функцией, всё только compile time, без char * хранящий инфу о слоте.

Кстати, а какие у нас вообще есть честные C++ способы передать this наследника в
базовый класс (кроме виртуальных функций)?

- Через "странно рекурсивное наследование" передать в базовый класс тип (класс)
наследника. И в базовом классе преобразовать this базового класса.

- Паттерн Command. Самая простая реализация std::function + std::bind.

- Передать в базовый класс функтор (лямбду) в котором упакованы this (ну и метод).

Перечисленное во многом пересекается, в терминологии могу ошибаться.

Что-то забыл?

Иначе GUI в ООП стиле не построишь.

Я думаю, что как-то так 22195969 и работает connect() из Qt 5.
Макрос "slots" уже не нужен.

Представьте, что мы разработчики Qt. Нам нужно без кодогенерации вызвать из
базовой библиотеки метод клиентского класса. При этом этот метод не виртуальный,
и не статический, имеет заведомо неизвестное название.

А к чему вопрос?

Представим у нас есть два библиотечных класса BaseForm и PushButton.

Как вы предлагаете из них вызывать метод MyForm::onMyButtonPressed() ?

MyForm -- клиентский класс, наследник от BaseForm.