为什么我不能将两个不同的比较器传递给一个模板函数？

Question

我在这里绞尽脑汁好几个小时，但我仍然不明白为什么在尝试运行此代码时会出现错误。 一段时间后，我设法将其缩小为表达式：

pastryPrice()

这会导致问题 - 如您所见，我正在尝试为一个排序模板函数构建大量比较器

    struct dialingAreaComp{
    inline bool operator()(const Deliver *d1, const Deliver *d2)const {
        return d1->getDialingArea() < d2->getDialingArea();
    }
};
struct pastryPrice {
    inline bool operator()(const Pastry *p1, const Pastry *p2)const {
        return p1->getPrice() < p2->getPrice();
    }
};
template<class T>
void sortCollection(T& collection)
{
    if ( typeid (collection) == typeid(vector <Deliver*>))
    {
        sort(collection.begin(), collection.end(), dialingAreaComp());
        printCollection(collection);
    }
    else if (typeid (collection) == typeid(vector <Pastry*>))
    {
        sort(collection.begin(), collection.end(), pastryPrice());
        printCollection(collection);
    }
    else { cout << "WRONG!"; }
}

我遇到了五个错误，都是一样的：

严重性代码描述项目文件行抑制状态 错误 C2664 'bool Bakery::pastryPrice::operator ()(const Pastry *,const Pastry *) const'：无法将参数 1 从 'Deliver *' 转换为 'const Pastry *' Bakery c:\program files (x86)\微软视觉工作室 14.0\vc\include\xutility 809

还有一个：

严重性代码描述项目文件行抑制状态 错误 C2056 非法表达式 Bakery c:\program files (x86)\microsoft visual studio 14.0\vc\include\xutility 809

当我去掉上面写的表达式时，代码正常工作 - 为什么我不能将两个不同的比较器传递给一个模板函数？

现在：

C2264 是一种编译器错误，在尝试向函数传递不兼容类型的参数时发生。

但是 Deliver 功能有效，当我取下 Deliver 比较器时，Pastry 也编译了...那么不兼容的类型是什么？

Answer 1

您的问题是无论采用哪一个分支都会编译两个分支。

我会以不同的方式处理这个问题。

template<class A, class B>
struct overload_t:A,B{
  using A::operator();
  using B::operator();
  overload_t(A a, B b):A(std::move(a)), B(std::move(b)){}
};
template<class A, class B>
overload_t<A,B> overload( A a, B b ){
  return {std::move(a),std::move(b)};
}

这让我们可以重载两个函数对象或 lambda。 （可以添加完美转发，可变参数也可以...，但我保持简单）。

现在我们简单地：

auto comp=overload(dialingAreaComp{}, pastryPrice{});
using std::begin; using std::end;
std::sort( begin(collection), end(collection), comp );

编译器会为我们选择正确的比较函数。当我在那里时，也支持平面阵列。

并停止使用using namespace std;。

---

上面的代码所做的是将你的两个函数对象融合为一个。 using A::operator() 和 using B::operator() 将 () 移动到同一个类中，并告诉 C++ 在使用通常的方法调用重载规则调用时在它们之间进行选择。其余代码用于推断被重载的类型并移动构造它们。

sort 调用 () 并使用基于容器类型的编译时确定类型的对象。重载解析（在调用点sort 内）然后选择正确的主体以在编译时进行比较。

因此，可以通过支持超过 2 个重载、函数指针和转发引用来扩展该技术。在 C++17 中，可以做一些工作来让重载类型推断其父类型，从而不再需要工厂函数。

Answer 2

您会收到一个错误，因为模板化函数是在编译时评估的，并且其中一个函数调用永远不会匹配。使用简单的函数重载代替模板：

void sortCollection(vector <Deliver*>& collection)
{
    sort(collection.begin(), collection.end(), dialingAreaComp());
    printCollection(collection);
}

void sortCollection(vector <Pastry*>& collection)
{
    sort(collection.begin(), collection.end(), pastryPrice());
    printCollection(collection);
}