C与C++风格的字符串辨析

C++中实际上存在两类字符串,一类是常说的标准库中的string,另一类是C风格的字符串。

正如C++ primer中所述:

尽管C++支持C风格的字符串,但是在C++程序中最好还是不要使用它们。这是因为C风格字符串不仅使用起来不太方便,而且极易引发程序漏洞,是诸多安全问题的根本原因。

确实C风格的字符串及其难用,而且非常容易发生问题。

但是,我们不能完全不了解C风格的字符串,因为很多程序和相关的API在标准库出现前就已经完成。而且其中很多涉及重要的系统调用,例如网络编程中就有大量的C风格字符串的使用。我们可以嫌弃它,但是掌握它也是必须的。

下面就C与C++风格的字符串中一些使用上极易混淆的地方做一些辨析。

1. 关于头文件

  1. C风格的字符串是string.h

  2. cstring是C风格的string.h在C++下的对应头文件。

  3. C++风格的字符串是string(STL标准库)。

实际是C++是兼容上述三个头文件的。

  • string.h和cstring都提供了对于C风格字符串的相关操作。

  • 而string是STL标准库提供的模板类容器。

他们是完全不一样的,如需详细了解,可以查阅cppreference.com文档。

2. 关于C风格字符串的初始化与赋值操作

2.1 不同方式的初始化与其存储位置

C风格的字符串有两大类初始化方式:

// 第一类:字符数组形式
// 指定大小
char c[6] = "abcde";
// 由编译器计算大小
char c[] = "abcde";

// 第二类:字符指针形式
char *c = "abcde";

第一类方法用来指定大小时,必须至少比初始化的内容多1个空间,用来存放null-terminated,即''。否则会有undefined错误发生。

必须要明确知道,这两类初始化完全不同。使用字符数组所创建的字符串是可读可写的,存储位置为栈区。而用字符指针所得到的字符串是只读的,因为存储位置位于常量区。这是使用前必须明确的。

2.2 字符数组的名字和字符指针的关系

由于上述两种关系,我们常常会觉得,字符数组的名字和字符指针是一样的。实际上在很多使用到数组名字的地方,确实编译器会帮我们自动将其替换成「一个指向数组首元素的指针」。这句话的另一层意思就是,二者其实是不一样的,只是“好像在一些操作中一样”。有两个点需要注意:

  • 使用auto变量推断一个C风格字符串时得到的是字符指针,而非字符数组。
  • 使用decltype推断时,得到的是一个字符数组而不是字符指针(也就是上述的转换没有发生)

即:

char c[] = "abcde";
auto auto_c = c;
decltype(c) decl_c = "abc";

观察其类型:

注意:decltype连大小都继承下来了,因此不注意的话非常容易出现错误(不过大部分IDE能检测到)。

2.3 赋值问题

在知道了字符数组和字符指针的区别后,必须要指出,不建议使用2.1中所述的字符指针方法构建字符串(即第二类)。这并不是一种标准的用法,而且十分危险。它的内存存放在文本常量区,可读不可写。如果试图写入,程序会直接崩溃,甚至编译器不会警告(GCC应该会)。因此,一个常规的做法是用第一类方法初始化,而字符指针可以用来指向已经初始化好的字符串。接下来讨论赋值的时候,都是存储在栈中的字符串。

当我们以为辨清了存储问题就可以随意赋值,那就大错特错了,因为在C风格的字符串中,不能将数组的内容拷贝给其他数组作为其初始值

也就是说,不能进行赋值操作。具体来说是不能使用「等号」进行赋值。我们应该是用cstring或string.h中提供的字符串拷贝函数来进行操作:

char* strcpy( char* dest, const char* src );
char *strncpy( char *dest, const char *src, std::size_t count );

这里通常就会出现及其危险的操作了,必须足够注意:

  • 使用strcpy的时候必须保证dest是由足够空间的,否则结果为undefined。
  • 使用strncpy时,不会保证拷贝 null-terminated,即''。

一个常用的方法时把dest开得大一些,然后用0作为初始值,这样能以一种相对优雅的方式防止大多数问题,但是使用起来仍需注意。

char src[] = "abcde";
char dest[100] = {0};
// 拷贝下标2开始的总共2个字符
strncpy(dest, src + 2, 2);
cout << dest << endl;
// 结果输出:cd

3. 关于混用

前面也提到了,我们无法抛弃C风格的字符串。当我们使用STL的string时,难免遇到C风格与STL容器类混用的问题。幸运的是STL已经为我们考虑了足够多,二者的转换可以非常方便。

3.1 C风格字符串转STL string

STL对于C风格是非常宽容的,我们可以直接使用构造函数将C风格转换成容器类。

char cs[] = "unix";
string s(cs);
cout << s << endl;
//输出:unix

也可以直接用C风格给STL string赋值。

string s2;
s2 = cs;
cout << s2 << endl;
//输出:unix

进行STL string的加法运算时,C风格的字符串可以作为其中一个对象。

string scs = s + cs;
cout << scs << endl;
//输出:unixunix

需要再次警告:我们必须保证C风格的字符串是正确的,如果它没有争取地以''结尾,那结果也是undefined。

3.2 STL string转C风格

当我们的一些API只能接收C风格的字符串时,就必须考虑STL string向C风格转换。这里STL再一次为我们考虑了,提供了对应的转换函数:

它的使用方法非常简单,如下:

string s = "unix";
// 以C格式的字符指针传进去
func(s.c_str());

参考

原文地址:https://www.cnblogs.com/molinchn/p/14771979.html