Question

我有一种情况，我希望从以NULL结尾的char *中有效地删除字符。我可以假设传入的字符串很大（即复制效率不高）;但我也可以假设我不需要取消分配未使用的内存。

我以为我可以使用std::remove_if执行此任务（使用NULL终结符替换返回的迭代器中的字符），并设置以下测试程序以确保我的语法正确：

#include <algorithm>
#include <iostream>

bool is_bad (const char &c) {
  return c == 'a';
}

int main (int argc, char *argv[]) {
  char * test1 = "123a45";
  int len = 6;
  std::cout << test1 << std::endl;
  char * new_end = std::remove_if(&test1[0], &test1[len], is_bad);
  *new_end = '\0';
  std::cout << test1 << std::endl;

  return 0;
}

然而，这个程序编译，我在Segmentation Fault的某个地方得到remove_if - 这是gdb的输出：

Program received signal SIGSEGV, Segmentation fault.
0x0000000000400914 in std::remove_copy_if<char*, char*, bool (*)(char const&)> (__first=0x400c2c "45", __last=0x400c2e "", __result=0x400c2b "a45", 
    __pred=0x4007d8 <is_bad(char const&)>) at /usr/lib/gcc/x86_64-redhat-linux/4.1.2/../../../../include/c++/4.1.2/bits/stl_algo.h:1218
1218                *__result = *__first;

这是在RedHat 4.1.2-52上的gcc 4.1.2。

我的理解是原始指针可以用作ForwardIterators，但也许不是？有什么建议吗？

Answer 1

程序在尝试修改字符串文字时具有未定义的行为：

char * test1 = "123a45";

更改为：

char test1[] = "123a45"; // 'test1' is a copy of the string literal.
char * new_end = std::remove_if(test1, test1 + sizeof(test1), is_bad);

请参阅http://ideone.com/yzeo4k。

Answer 2

您的程序有未定义的行为，因为您正在尝试修改const个字符的数组（字符串文字是const个字符的数组）。根据C ++ 11标准的第7.1.6.1/4段：

除了可以修改声明mutable（7.1.1）的任何类成员之外，任何修改const的尝试都是如此对象在其生命周期（3.8）中导致未定义的行为。

注意，从C ++ 11开始，从字符串文字到char*的转换是非法的，并且在C ++ 03中不推荐使用（GCC 4.7.2给了我一个警告）。

要使用最小的更改来修复程序，请将test1声明为字符数组并从字符串文字初始化它：

char test1[] = "123a45";

这是live example。

将remove_if与C以null结尾的字符串一起使用

2 个答案: