c++ - 函数模板特化失败

Question

这是家庭作业，尽管它已经通过不同的方法提交。

我从 Visual Studio 2008 中得到以下结果

error C2893: Failed to specialize function template 'void std::sort(_RanIt,_RanIt,_Pr)'

代码如下

main.cpp    Database<> db;     db.loadDatabase();    db.sortDatabase(sort_by_title());  Database.cppvoid Database<C>::sortDatabase(const sort_by &s) {     std::sort(db_.begin(), db_.end(), s); }

函数对象定义为

struct sort_by : public std::binary_function<const Media *, const Media *, bool> {     virtual bool operator()(const Media *l, const Media *r) const = 0;};struct sort_by_title : public sort_by {    bool operator()(const Media *l, const Media *r) const { ... }};...

这里有什么解药？

[编辑]抱歉，也许我应该把继承说清楚

template <typename C = std::vector<Media *> >class Database : public IDatabase<C> 

[/编辑]

[编辑2]
在 Toolbox 的建议(看起来很合理)之后，我得到了以下错误消息

error C2664: 'Database<>::sortMedia' : cannot convert parameter 1 from 'sort_by_title' to 'const sort_by &'

main.cpp 仍然是相同的，但对仿函数层次结构和源文件进行了一些细微的修改。前向声明等不起作用，所以我不得不将定义放在单独的文件中。

Search.hstruct sort_by_impl {    virtual bool operator()(const Media *l, const Media *r) const = 0;};struct sort_by : public std::binary_function<const Media *, const Media *, bool> {     sort_by_impl *sbp;    bool operator()(const Media *l, const Media *r) const {        return (*sbp)(l, r);    }};IDatabase.hstruct sort_by_title : public sort_by_impl {    bool operator()(const Media *l, const Media *r) const {        return (l->getTitle() < r->getTitle());    }};

我真的不是在摸索这个，我在这里错过了什么？一些转换操作，还是什么？
[/Edit2]

[编辑3]
我希望是最后一次也是最后一次编辑。在调试和重写一些代码后，我实际上得到了这个工作。这就是我最终得到的，这是我能做的最好的

class sort_by : public std::binary_function<const Media *, const Media *, bool> { public:    sort_by(sort_by_impl *sbp) : sbp_(sbp) {};    bool operator()(const Media *l, const Media *r) const {        return (*sbp_)(l, r);    }private:    sort_by_impl *sbp_;};main.cpp    db.sortDatabase(&sort_by_title());Database.cppvoid Database<C>::sortDatabase(const sort_by &s) {     std::sort(db_.begin(), db_.end(), s); 

这似乎在一个单独的项目(今天大部分时间都在搞这个)和我几天前提交的实际项目中都有效。
非常感谢您的宝贵时间和帮助!
[/Edit3]

Answer 1

我不确定这是导致问题的原因，因为它与专门化 std::sort 无关，但在 sortDatabase 中你不应该传递一个意味着多态行为的仿函数。原因是 std::sort 按值接受你的函数对象，这意味着它被复制为一个 sort_by 对象，而不是它实际上是什么(即你有一个切片问题)。

如果你想让函数对象有一个虚拟的operator()，函数对象应该持有一个指向多态类的指针，如下所示:

struct sort_by : public std::binary_function<const Media*, const Media*, bool> {
    bool operator()(const Media *l, const Media *r) const
    {
        return (*p_impl)(l, r);
    }

    sort_by_impl* p_impl;
};

然后，sort_by_impl 可以是您的抽象基类，特定的排序函数对象从中派生和覆盖。希望对您有所帮助。

编辑

根据新的错误消息，如果我不得不猜测，您正试图在 sortMedia 中执行类似的操作:

Database<std::vector<Media*> > db; // initialized elsewhere...

sort_by_title my_sort;
db.sortDatabase(my_sort);

问题是 my_sort 是 sort_by_title 类型，它是 sort_by_impl 的派生形式 - 不是类型为 sort_by。这意味着您实际上想要将 my_sort 传递给 sort_by 对象中的 sbp 指针，这是您将使用的实际函数对象。举例说明:

Database<std::vector<Media*> > db; // initialized elsewhere...

sort_by my_sort_fn;
my_sort_fn.sbp = new sort_by_title;
db.sortDatabase(my_sort_fn);

delete my_sort_fn.sbp;

顺便说一句，代码不是异常安全的；考虑用引用计数智能指针替换 sbp。或者更简单，只需在堆栈上声明 sort_by_title 并传入其地址。请注意不要在使用前将其毁坏。 :)

希望对您有所帮助。让我知道结果如何!