1

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

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 :\程序文件 (x86)\microsoft visual studio 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 也编译了......那么不兼容的类型是什么？

4

2 回答 2

5

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

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

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;.

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

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

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

于 2016-10-21T11:48:41.220 回答
4

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

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);
}
于 2016-10-21T11:28:49.667 回答