c++ - 函数指针和继承

Question

我有一个通用函数用于对 List 类中的某些对象进行排序。

这个函数工作得很好，但是当我想使用一个指向该类中成员函数的函数指针将这个函数应用到一个类时，它不会构建。

函数是:

template <typename T1, typename T2, typename T3>
void DialogFaitListing::trie(T1 * list, T2 (T1::*fx)(quint16), T3 (T2::*crit)())
{
    for(int i(0);i<list->count();i++)
    {
        for(int j(i);j<list->count();j++)
        {
            if((((list->*fx)(i)).*crit)() > (((list->*fx)(j)).*crit)())
            {
                list->swap(i,j);
            }
        }
    }
}

其中 list 是包含对象列表的类，fx 是访问对象的函数指针，crit 是用于排序的对象比较函数。

当我使用这条线构建时:

trie(vend,&Vendeurs::getVend,&Vendeur::getNom);

我收到这个错误:

dialogfaitlisting.cpp:459: erreur : no matching function for call to 
'DialogFaitListing::trie(Vendeurs*&, Vendeur (Vendeurs::*)(quint16), 
QString (Personne::*)())'

ps:抱歉我的英语不好

Answer 1

&Vendeur::getNom，尽管是可通过 Vendeur 访问的成员，但似乎具有类型 QString (Personne::*)() .这使得 T2 在模板参数推导过程中变得模棱两可:是 Vendeur 还是 Personne？

一个创可贴的修复方法是让 trie 的调用者负担明确地将其转换为 QString (Vendeur::*)()，导致以下调用:

trie(vend, &Vendeurs::getVend, static_cast<QString (Vendeur::*)()>(&Vendeur::getNom));

这是非常冗长和不方便的，考虑到每次我们希望传递的 criterion 来自基类时，我们很可能会发现相同的错误。

更好的解决方案是在 T2 出现的两个位置之一禁止模板参数推导。我认为为此选择第二个位置是有意义的:

template<typename T>
struct identity { typedef T type; };

template <typename T1, typename T2, typename T3>
void trie(T1 * list
     , T2 (T1::*fx)(quint16)
     , T3 (identity<T2>::type::*crit)());

然后在调用中T2只能被推断为Vendeur并且&Vendeur::getNom会被隐式转换为QString (Vendeur::*)().