Question

我从 C ++ Primer 5th Edition 进行练习时遇到困难，这就像

练习11.11：不使用decltype重新定义书店。

以下是本书中的相关代码：

multiset<Sales_data, decltype(compareIsbn)*> bookstore(compareIsbn);

Sales_data类的代码在这里发布有点冗长，所以我写了一个更简单的代码，并以相同的样式定义了multiset，如下所示。编译没有任何错误。

class A
{
    int lenth;
public:
    int getLenth() const {return lenth;}
};

bool compareA(const A &a1, const A &a2)
{
    return a1.getLenth() < a2.getLenth();
}

int main()
{
    std::multiset<A, decltype(compareA)*> m1(compareA);
    return 0;
}

我想这个练习希望读者回顾一下函数指针的知识，所以我尝试了另一种方法来定义它。但它不起作用。下面是我被困的地方

int main()
{
    bool (*fp) (const A &a1, const A &a2);
    fp = &compareA;

    std::multiset<A, fp*> m1(fp);

    return 0;
}

产生了三个错误：

error: template argument 2 is invalid
error: invalid type in declaration before '(' token
error: invalid conversion from 'bool (*)(const A&, const A&)' to 'int' [-fpermissive]

我的问题是什么？如何解决？

Answer 1

你很接近，但在开放的<>括号中需要一个类型争论，而不是一个指针

typedef bool (*fp) (const A &a1, const A &a2);
int main() {    
    std::multiset<A, fp> m1(&compareA);

    return 0;
}

或者

bool (*fp) (const A &a1, const A &a2) = compareA;
int main() {    
    std::multiset<A, bool (*) (const A &, const A &)> m1(fp);

    return 0;
}

使用更新的编译器，您可以通过使用高阶函数来内联比较器：

using comparator = std::function<bool(const A&, const A&)>;

auto main() -> int {    
    std::multiset<A, comparator> m1([](const A& a1, const A& a2) -> bool {
         return a1.getLenth() < a2.getLenth();
    });
    return 0;
}

Answer 2

std :: multiset 的第二个模板参数需要函数的类型，而不是函数！

这将有效：

#include <set>

struct A{};

bool compareA(const A &a1, const A &a2)
{
    return true;
}

int main()
{
    std::multiset<A, bool (*)(const A&, const A&)> m1(compareA);

    // or

    typedef bool (*fp)(const A&, const A&);

    std::multiset<A, fp> m2(compareA);
}

如何使用函数指针定义多集？

2 个答案: