无法专门化函数模板

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.cpp
void 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> 

[/Edit]

[Edit2]
在 Toolbox 的建议（看起来非常合理）之后，我最终得到以下错误消息

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

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

Search.h
struct 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.h
struct sort_by_title : public sort_by_impl {
    bool operator()(const Media *l, const Media *r) const {
        return (l->getTitle() < r->getTitle());
    }
};

我真的不明白这个，我在这里错过了什么？一些转换操作，还是什么？
[/编辑2]

[编辑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.cpp
void Database<C>::sortDatabase(const sort_by &s) { 
    std::sort(db_.begin(), db_.end(), s); 

这似乎有效，无论是在一个单独的项目中（花了今天的大部分时间来搞乱这个），还是在我几天前提交的实际项目中。< br> 非常感谢您的时间和帮助！
[/编辑3]

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 并传入其地址即可。只是要小心，不要让它在使用之前被破坏。 :)

希望有帮助。让我知道结果如何！