4

我一直在尝试调用重载的table::scan_index(std::string, ...)成员函数，但没有成功。为了清楚起见，我已经删除了所有不相关的代码。

我有一个名为的类table，它有一个重载/模板化的成员函数scan_index()，以便将字符串作为特殊情况处理。

class table : boost::noncopyable
{
public:
    template <typename T>
    void scan_index(T val, std::function<bool (uint recno, T val)> callback) {
        // code
    }

    void scan_index(std::string val, std::function<bool (uint recno, std::string val)> callback) {
        // code
    }
};

然后有一个hitlist类，它有许多模板化的成员函数，它们调用table::scan_index(T, ...)

class hitlist {
public:
    template <typename T>
    void eq(uint fieldno, T value) {
        table* index_table = db.get_index_table(fieldno);
        // code
        index_table->scan_index<T>(value, [&](uint recno, T n)->bool {
            // code
        });
    }
};

最后，启动这一切的代码：

hitlist hl;
// code
hl.eq<std::string>(*fieldno, p1.to_string());

问题是table::scan_index(std::string, ...)它调用模板版本而不是调用。我尝试过同时使用重载（如上所示）和专用函数模板（如下），但似乎没有任何效果。盯着这段代码几个小时后，我觉得我错过了一些明显的东西。有任何想法吗？

    template <>
    void scan_index<std::string>(std::string val, std::function<bool (uint recno, std::string val)> callback) {
        // code
    }

更新： 我从电话中删除了<T>装饰。scan_index()结果是带有字符串参数的调用编译得很好，但是使用其他类型（例如 double）的调用会导致以下错误：

cannot convert parameter 1 from 'double' to 'std::string'

所以我回到使用模板专业化。现在我得到这个错误：

error C2784: 'void table::scan_index(T,std::tr1::function<bool(uint,T)>)' :
  could not deduce template argument for 'std::tr1::function<bool(uint,T)>'
  from '`anonymous-namespace'::<lambda5>'

仅供参考：我正在使用 VC++ 10.0

解决方案：scan_index()我通过从类 中删除模板化函数table并简单地编写四个重载函数（其中三个除了签名相同）来解决此问题。幸运的是，它们都很短（不到十行），所以还不错。

4

4 回答 4

7

您在这里显式调用模板化成员：

index_table->scan_index<T>(value, [&](uint recno, T n)...

由于value是模板参数，您应该可以将其替换为：

index_table->scan_index(value, [&](uint recno, T n)...
于 2011-01-05T18:59:52.243 回答
3

您不应该明确指定模板参数 - 您应该将其留给模板参数推导和重载决议。这应该允许您在原始代码中发布的重载被拾取和使用。

于 2011-01-05T19:00:23.183 回答
1

准备了这个简化的测试（对不起，我没有 C++0x 编译器 atm）：

class table
{
public:
    template <typename T>
    void scan_index(T val) {
        std::cout << "template\n";
    }

    template <>
    void scan_index<int>(int val) {
        std::cout << "specialization\n";
    }

    void scan_index(int val) {
        std::cout << "overloaded\n";
    }
};

class hitlist {
public:
    template <typename T>
    void eq(T value) {
        table tbl;
        tbl.scan_index<T>(value);
    }
};

int main(int argc, char* argv[])
{
    int i = 0;
    hitlist hl;
    hl.eq(i);
    return 0;
}

输出是“专业化”（VC9）。这是因为 hitlist::eq 显式使用模板版本，所以只会考虑模板特化。如果您更改tbl.scan_index<T>(value);为tbl.scan_index(value);重载版本，将被调用。

tbh 我不知道为什么您的模板专业化不起作用，可能是因为 lambda，而不是完整的 C++0x 支持？哪个编译器？

于 2011-01-05T19:07:57.823 回答
1

模板专业化是不是类似于：

template <typename T>
void scan_index(T val, std::function<bool (uint recno, T val)> callback) {
    // code
}
template <>
void scan_index(std::string val, std::function<bool (uint recno, std::string val)> callback) {
    // code
}

通过这种方式，C++ 编译器识别 scan_index 具有专门化而不是寻找重载方法。而且我相信，如果您希望以您可以编码的方式使用它，您可能应该将专门的代码放在模板之前，如下所示：

    void scan_index(std::string val, std::function<bool (uint recno, std::string val)> callback) {
        // code
    }
template <typename T>
    void scan_index(T val, std::function<bool (uint recno, T val)> callback) {
        // code
    }
于 2011-01-05T20:04:34.093 回答