4

std::transform not working with std::toupper

 1 year ago
source link: https://www.chunyangwen.com/blog/cpp/transform-toupper-cpp.html
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

std::transform not working with std::toupper

Posted by chunyang on May 26, 2022
TAGS: #cpp

ctype 中定义了一些比较实用的函数，例如 toupper, tolower, isalpha 等等。在 C++ 中如何实用这些函数呢？使用 cctype，然后就可以在 std 的命名空间中使用这些函数。

一个字符串的大小写转换程序如下：

#include <cctype>
#include <vector>

int main(int argc, char* argv[]) {

    std::vector<char> chars{'a', 'b', 'c'};
    int size = chars.size();
    for (int i = 0; i < size; ++i) {
        chars[i] = std::toupper(chars[i]);
    }

}

洋洋洒洒写了那么多其实就是将数组中的字符进行大小写转换，其实 transform 就可以完成这个功能。

#include <algorithm>
#include <cctype>
#include <vector>

int main(int argc, char* argv[]) {

    std::vector<char> chars{'a', 'b', 'c'};
    std::transform(begin(chars), end(chars), begin(chars), std::toupper);
}

但是这个程序实际上没有办法编译，出错信息如下：

error: no matching function for call to 'transform'
    std::transform(begin(v), end(v), begin(v), std::toupper);
    ^~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/algorithm:1979:1: note: candidate template ignored: couldn't infer template argument '_UnaryOperation'
transform(_InputIterator __first, _InputIterator __last, _OutputIterator __result, _UnaryOperation __op)
^
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/algorithm:1989:1: note: candidate function template not viable: requires 5 arguments, but 4 were provided
transform(_InputIterator1 __first1, _InputIterator1 __last1, _InputIterator2 __first2,
^
1 error generated.

大概意思是没有找到合适的 transform 函数。

#include <algorithm>
#include <cctype>
#include <iostream>
#include <vector>

int main(int argc, char* argv[]) {
    std::vector<char> v{'a', 'b', 'c'};
    std::cout << std::toupper('v') << std::endl;
    std::cout << ::toupper('v') << std::endl;
    std::transform(begin(v), end(v), begin(v), ::toupper);
    std::transform(begin(v), end(v), begin(v), [](char c) {return std::toupper(c);});
    std::transform(begin(v), end(v), begin(v), (int(*)(int))(std::toupper));
    //std::transform(begin(v), end(v), begin(v), std::toupper);
}

为什么会出现这种情况呢？怀疑的原因如下：

toupper 定义冲突

即在 std 的命名空间中，存在 2 处及以上的定义。但是按照经验，应该要报一个类似于 * ambiguous *。 去 Cpp Reference

toupper

的确是有 2 处定义。在 cctype 中的只是做了一层简单的引入。

#include <ctype.h>
namspace std {
    using ::toupper;
}

在 <locale> 中定义的 toupper 会另外一个参数 locale。的确是二者使用冲突。

ambiguous 错误：

namespace A {
    struct X {};
    struct Y {};
    void f( int );
    void g( X );
}

namespace B {
    void f( int i ) {
        f( i );   // which f()?
    }
    void g( A::X x ) {
        g( x );   // which g()?
    }
    void h( A::Y y ) {
        h( y );   // which h()?
    }
}

int main(int argc, char* argv[]) {
}

a.cpp:13:9: error: call to 'g' is ambiguous
        g( x );   // which g()?
        ^
a.cpp:5:10: note: candidate function
    void g( X );
         ^
a.cpp:12:10: note: candidate function
    void g( A::X x ) {
         ^
1 error generated.

Argument Dependent Loop or Koenig lookup

主要是针对 unqualified function。在查找是会同时查找它参数所在的命名空间。但是我的调用都已经加 std 的修饰。

后来在 stackoverflow 上找到一个 帖子。根本原因还是 编译器找错了函数。但是报错信息显然有问题。


report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK