32

给定代码:

#include <iostream>
#include <cctype>
#include <string>
#include <algorithm>
using namespace std;

int main()
{
     string s("ABCDEFGHIJKL");
     transform(s.begin(),s.end(),s.begin(),tolower);
     cout<<s<<endl;
}

我得到错误:

没有匹配的调用函数transform(__gnu_cxx::__normal_iterator<char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, __gnu_cxx::__normal_iterator<char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, __gnu_cxx::__normal_iterator<char*, std::basic_string<char, std::char_traits<char>, std::allocator<char> > >, <unresolved overloaded function type>)

“未解析的重载函数类型”是什么意思?

如果我用tolower我写的函数替换它,它就不再出错了。

4

5 回答 5

28

尝试使用::tolower. 这解决了我的问题。

于 2011-04-04T13:48:07.760 回答
28

让我们看一个从最差开始到最好的选项列表。我们将在此处列出它们并在下面讨论它们:

  1. transform(cbegin(s), cend(s), begin(s), ::tolower)
  2. transform(cbegin(s), cend(s), begin(s), static_cast<int(*)(int)>(tolower))
  3. transform(cbegin(s), cend(s), begin(s), [](const unsigned char i){ return tolower(i); })

您问题中的代码transform(s.begin(), s.end(), s.begin(), tolower)将产生如下错误:

没有匹配的调用函数transform(std::basic_string<char>::iterator, std::basic_string<char>::iterator, std::basic_string<char>::iterator, <unresolved overloaded function type>)

您获得“未解析的重载函数类型”的原因是命名空间tolower中有 2 s std

  1. locale库定义template <typename T> T tolower(T, const locale&)
  2. cctype库定义int tolower(int)

1davka 提供的解决方案locale它通过利用'stolower未在全局命名空间中定义的事实来解决您的错误。

根据您的情况localetolower可能值得考虑。您可以在tolower此处找到 s 的比较:C++ 中的哪个 tolower?


不幸的是1取决于在全局命名空间中定义的cctype' 。tolower让我们看看为什么不是这样:

您正确使用#include <cctype>,因为#include <ctype.h>在 C++ 中已弃用:http: //en.cppreference.com/w/cpp/header

但是 C++ 标准在 D.3[depr.c.headers]2 中声明了标题中的声明:

未指定这些名称是否首先在命名空间的命名空间范围(3.3.6)内声明或定义,std然后通过显式使用声明(7.3.3)注入全局命名空间范围

因此,我们可以保证我们的代码独立于实现的唯一方法是使用tolowerfrom namespace std2David Rodríguez-dribeas 提供的解决方案。它利用了以下事实static_cast

用于通过将函数到指针转换为特定类型来消除函数重载的歧义

在我们继续之前,让我评论一下,如果你觉得int (*)(int)有点困惑,你可以在这里阅读更多关于函数指针语法的内容。


可悲的是, 的输入参数还有另一个问题tolower,如果它:

不能表示为 unsigned char 且不等于 EOF,行为未定义

您正在使用 a string,它使用以下类型的元素:charchar特别是 7.1.6.2[dcl.type.simple]3的标准状态:

char类型的对象是表示为有符号量还是无符号量是实现定义的。说明signed符强制char对对象进行签名

因此,如果实现将 a 定义char为表示 a,signed char那么12都会导致与负数对应的所有字符的未定义行为。(如果使用 ASCII 字符编码,则对应于负数的字符是Extended ASCII。)

unsigned char可以通过在将输入传递给之前将输入转换为 来避免未定义行为tolower3使用接受unsigned char按值的 lambda 来实现这一点,然后将其传递给tolower隐式转换为int.

为了保证所有兼容实现上的定义行为,独立于字符编码,您需要使用transform(cbegin(s), cend(s), begin(s), [](const unsigned char i){ return tolower(i); })或类似的东西。

于 2016-05-25T13:06:15.997 回答
23

问题很可能与多个重载有关tolower,编译器无法为您选择一个。您可以尝试对其进行限定以选择它的特定版本,或者您可能需要提供函数指针强制转换来消除歧义。该tolower函数可以出现在<locale>头文件中(多个不同的重载),也可以出现在<cctype>.

尝试:

int (*tl)(int) = tolower; // Select that particular overload
transform(s.begin(),s.end(),s.begin(),tl );

这可以通过强制转换在一行中完成,但可能更难阅读:

transform(s.begin(),s.end(),s.begin(),(int (*)(int))tolower );
于 2011-04-04T13:38:07.253 回答
7

大卫已经确定了这个问题,即以下之间的冲突:

  • <cctype>int tolower(int c)
  • <locale>template <typename charT> charT tolower(charT c, locale const& loc)

使用第一个要容易得多,但是一旦您处理带符号字符中的低 ascii (0-127) 以外的任何其他内容,就会出现未定义的行为(不幸的是)。顺便说一句,我确实建议将其定义char为无符号。

模板版本会很好,但你必须使用bind提供第二个参数,它一定会很丑......

那么,我可以介绍一下Boost String Algorith m 库吗?

更重要的是:boost::to_lower:)

boost::to_lower(s);

表现力是可取的。

于 2011-04-04T19:22:11.763 回答
4

从 gcc 4.2.1浏览我的<ctype>标题,我看到了:

// -*- C++ -*- forwarding header.

// Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005
// Free Software Foundation, Inc.

...

#ifndef _GLIBCXX_CCTYPE
#define _GLIBCXX_CCTYPE 1

#pragma GCC system_header

#include <bits/c++config.h>
#include <ctype.h>

// Get rid of those macros defined in <ctype.h> in lieu of real functions.
#undef isalnum
#undef isalpha

...

#undef tolower
#undef toupper

_GLIBCXX_BEGIN_NAMESPACE(std)

  using ::isalnum;
  using ::isalpha;

...

  using ::tolower;
  using ::toupper;

_GLIBCXX_END_NAMESPACE

#endif

所以它看起来tolower存在于std(from <cctype>) 和 root (from <ctype.h>) 命名空间中。我不确定它的#pragma作用。

于 2011-04-04T13:49:55.163 回答