重载函数不编译

Question

我正在关注 O'Reilly 的 C++ Cookbook 一书，我尝试了其中一个示例，代码如下：

#include <string>
#include <iostream>
#include <cctype>
#include <cwctype>

using namespace std;

template<typename T, typename F>
void rtrimws(basic_string<T>& s, F f){
    if(s.empty())
        return;

    typename basic_string<T>::iterator p;
    for(p = s.end(); p != s.begin() && f(*--p););

    if(!f(*p))
        p++;

    s.erase(p, s.end());
}

void rtrimws(string& ws){
    rtrimws(ws, isspace);
}

void rtrimws(wstring& ws){
    rtrimws(ws, iswspace);
}

int main(){
    string s = "zing            ";
    wstring ws = L"zonh     ";

    rtrimws(s);
    rtrimws(ws);

    cout << s << "|\n";
    wcout << ws << "|\n";
}

当我尝试编译它时，我收到以下错误

trim.cpp: In function ‘void rtrimws(std::string&)’:
trim.cpp:22: error: too many arguments to function ‘void rtrimws(std::string&)’
trim.cpp:23: error: at this point in file

我不明白出了什么问题。如果我不使用 char 版本（字符串）而只使用 wchar_t 版本，一切运行顺利。

顺便说一句，我在 64 位 ubuntu 机器上使用 g++ 4.4.3

Answer 1

isspace 也是 C++ 中的一个模板，它接受一个模板化的字符和一个使用 facet std::ctype<T> 对给定字符进行分类的语言环境（因此它无法决定采用哪个版本，因此忽略模板）。

尝试指定您的意思是 C 兼容版本：static_cast<int(*)(int)>(isspace)。编译器之间的差异可能来自编译器之间对重载函数名称的推导处理不一致 - 请参阅clang PR。请参阅 Faisal 的第一组测试用例中的第二个案例以获取类似案例。

---

有人在 IRC 上指出，此代码将使用 char 调用 isspace - 但 isspace 采用 int 并要求给定的值在 unsigned char 值或 EOF 的范围内。现在，如果 char 在您的 PC 上签名并存储负的非 EOF 值，这将产生未定义的行为。

我建议像@Kirill 在评论中所说的那样做，只使用模板化的std::isspace - 然后你也可以摆脱函数对象参数。

Answer 2

试试rtrimws(ws, ::isspace);。

另外，请注意，您应该使用反向迭代器。

Answer 3

那是因为isspace 是 c++ 中的模板函数。它不能推导出F。如果您想使用 isspace 的 C 变体，您可以完全限定其名称，如下所示：

void rtrimws(string& ws){
    rtrimws(ws, ::isspace); // this will use isspace from global namespace
                            // C++ version belongs to the namespace `std`
}

这是另一个很好的示例，为什么您不应该使用 using namespace std。