Блог

Кажется, я не могу понять, что происходит с конкретным шаблонным методом.

Аналогичный шаблонный метод уже некоторое время находится в моей кодовой базе и используется таким же образом, как Bar::Bar(IFooamp;) , с той лишь разницей, что передаваемая функция наследуется.

У меня есть интерфейс IFoo , который определяет рассматриваемую шаблонную функцию.

 struct IFoo {
    template<class T>
    void doSomething(bool (T::*method)(int), T *instance) {
        std::cout << (instance->*method)(5) << "n";
    }
};
 

У меня есть класс Bar , который является дочерним элементом другого класса

 struct Parent {
    virtual bool setValue(int a) { return true; }
};
struct Bar : Parent { };
 

Когда я пытаюсь использовать IFoo::doSomething компилятор, он просто не видит соответствующую функцию

 int main() {
    Bar b;
    IFoo foo;
    foo.doSomething(amp;Bar::setValue, amp;b);
}
 

Я получаю следующее сообщение
об ошибке компилятора: нет соответствующей функции для вызова « IFoo::doSomething(bool (Parent::*)(int), Bar*)

Что меня действительно удивляет, так это то, что я не получаю предложения кандидата для шаблонной IFoo::doSomething функции.

Пожалуйста, только решения на C 98.

Как указано в ошибке, тип Bar::setValue на самом деле bool (Parent::*)(int) . Это мешает вычету параметра шаблона для doSomething , потому что у него есть два T s, которые должны быть одинаковыми. Вы можете помочь компилятору с выводом путем приведения this :

 int main() {
    Bar b;
    IFoo foo;
    foo.doSomething(amp;Bar::setValue, static_cast<Parent*>(amp;b));
}
 

Живая демонстрация

Спасибо JVApen за указание на то, что в качестве альтернативы вы можете сделать doSomething более общий, разрешив два разных типа и разрешить Callback преобразование:

 template<class T, class U>
void doSomething(bool (T::*method)(int), U *instance);