细数 C++ 那些比起 C语言 更爽的特性
结构体定义
C:
typedef struct Vertex {
int x, y, z;
} Vertex;
Vertex v1 = { 0 };
// or
struct Vertex {
int x, y, z;
};
struct Vertex v1 = { 0 };
C++:
struct Vertex {
int x, y, z;
};
Vertex v1 = {};
如果你一开始学的C++,再去写C的时候,你就会一脸懵逼怎么我的结构体编译不了。。。
为特定类型分配堆内存
C:
Vertex* ptr = malloc(sizeof(Vertex) * 10);
free(ptr);
C++:
Vertex* ptr = new Vertex[10];
delete[] ptr;
malloc 的参数是字节,所以得配合 sizeof 用。C++ 的 new 参数是个数,自动根据类型分配对应字节,看起来可读性更强。malloc始终返回的是 void*
, C 里面 void*
可以任意转换到其他类型的指针。C++ 的 new 返回的是指定类型的指针,类型系统进更加严格。
计算固定大小数组的元素个数
C:
Vertex arr[1024];
int arrSize = sizeof(arr) / sizeof(Vertex);
C++:
Vertex arr[1024];
int arrSize = std::size(arr);
你当然可以写死 int arrSize = 1024; 但这样就不优雅了,不爽了。
RAII
C 语言经常出现 alloc、free 这样用来创建销毁资源的成对函数,新手很容易忘记调用 free 导致内存泄漏:
Ball* ball = ball_alloc();
// ...
while (ball->isLive) {
// ...
if (ball->size > 5) {
return; // 哦豁,完蛋
}
}
ball_free(ball);
return;
特别是各种条件判断里面带 return 的,可能有人觉得在条件里面写 return 那是你代码风格有问题,这个就见仁见智了。
C++ 只要你写好析构函数,那以上问题你就不需要操心:
class Ball {
public:
Ball ();
~Ball ();
}
void foo () {
Ball ball();
// ...
while (ball.isLive) {
// ...
if (ball.size > 5) {
return;
}
}
return;
} // 退出 foo 函数之前必定会执行 ~Ball
准确来说,C++ 变量结束生命周期的时候,就会执行它对应的析构函数,再具体一点,就是当你离开一个大括号的范围时,在这个大括号里面创建的变量,都会析构,比如 for while 循环里面创建的变量,或者是 if 语句块里面创建的变量都是这样的,或者干脆你自己在中间写一个大括号:
int main () {
{
Ball ball;
printf("");
} // 这里 ball 会析构
return 0;
}
可惜 C++ 不能从语句块返回一个值,rust 就有这个不错的特性。
引用
引用用的好,指针不需要,当你用引用可以解决问题的时候,就别用指针。引用不存在野指针这类情况,他的作用范围更加严格。对引用操作,就是对本体操作,也不需要和指针一样用 ->
,直接 .
就好。指针类型的变量需要内存空间来存储一个内存地址,而引用只是一个别名,不需要空间存储内存地址。对于 a.b.c.d
这样一长串的表达式,用引用会更舒服(auto& d = a.b.c.d
)。
rust语言里面变量所有权概念,就是对C++引用拓展而已。
动态数组 vector
前面说了 C++ 的 new 是个好东西,但是 vector 更好。vector 本身有析构函数,生命周期结束自动调用里面每一个对象的析构函数,所以不用像 new 一样需要 delete。通常 C语言函数 传入一个数组,一般需要同时传入数组指针和数组大小,但是 C++ 你可以直接把 vector 当参数传入,本身就可以调用 size() 获取大小。
C:
void foo (Vertex* arr, int size) {
// ...
}
C++:
void foo (vector<Vertex>& arr) {
// ...
}
C++ 可以自由选择传引用还是传值,C语言只能传指针。即便你在参数写上 Vertex arr[10],你以为他就能传值了?错了,当你想用 sizeof (arr) 得到数组大小时,它返回的是指针的大小,所以这就说明传进来的还是指针。
同样的道理,当你想返回数组,在函数返回类型写上 Vertex[10] 的时候,也是不行的,没有这样的写法,即便是固定大小的数组都不行。所以很多 C API 需要返回数组的时候怎么办?答案就是,你先自己分配好内存,再把指针传进去,他写入内容。那如果你也不知道数组长度多少怎么办,那一般会有一个API负责可以返回大小。
C++ 就爽快多了,你直接返回你在函数里面创建的 vector 就行,编译器会很贴心把这个变量的生命周期转移给调用者,不会发生任何额外复制。
C:
{
int size = GetSize();
Ball* balls = malloc(sizeof(Ball) * size);
GetBalls(balls, size);
free(balls);
}
C++:
{
vector<Ball> balls = GetBalls();
// 爽爽爽
}
对了,vector<bool>
请谨慎使用🤣
auto 关键字
这个仅限于写的人爽,看的人应该会很痛苦。因为C++有了泛型(呃,或者我应该叫它模板类?),导致类型名字会变得很长,特别是模板类里面还有模板类的套娃情况,此时用 auto 就会十分爽了。更加惊喜的是,连函数返回类型都可以 auto。
auto GetBalls () {
vector<Ball> balls;
// ...
return balls;
}
int main () {
auto balls = GetBalls();
}
不知道有没有开源项目全程 auto 的,我想观摩观摩。。。
std::string
C语言 表达字符串就是很简单的用 char*
表示, 最后一个 char 为 0,代表字符串结束,这很便利,所以 printf 等函数不需要你告诉他字符串的长度,他自己遇到 0 就停下来了。函数 strlen 也因此可以计算字符串长度。如果你是其他语言过来的,期待可以字符串可以用 + 号连接,那你要失望了,C语言没有这种操作,通常做法是用 sprintf,不仅写起来麻烦,还需要你自己先准备好一个“足够”长的缓冲区,每次一些函数告诉我需要一个缓冲区但不告诉我多长的时候,我就会生理不适。后期增加了一个新函数 sprintf_s ,需要明确告诉函数你的缓冲区有多长,这样可以避免写出界,但依然没有改变用起来很麻烦的情况。
C++ 有了一个新选择:std::string,他和 vector 非常相似,也支持很多类似的操作。最惊喜的是,它重载了 + 运算符,可以直接把 string 和 string,甚至 string
和 char*
直接相加,得到一个新的 string:
string str = string("one") + "two" + "three";
printf(str.c_str());
c_str() 返回一个 const char*
来兼容 C API 的操作,但是千万注意这个指针的生命周期,当你拿着它到处传递的时候,务必注意 string str 什么时候会析构。
有的时候 sprintf 其实比+更有用,但 string 和 sprintf 一起用的时候,又回到了从前。。。也许 C++ 应该有个配套的字符串格式化函数吧。。。但不好意思,很长时间都没有这种东西,直到 C++20,才有了 std:format
,起码过去了20年,20年!知道这20年大家怎么过的吗!🤣
函数重载与默认参数
C++:
void foo (int a = 0, int b = 0);
void foo (int a, int b) {
// ...
}
int main () {
foo(); // ok
foo(1); // ok
foo(1, 2); // ok
}
不多解释,反正 C语言 就是不行。
命名空间
C语言 你写的每一个函数其实都是全局的,都得给他取一个名字,当你把其他库链接进来的时候,这些名字可能会和其他库里面名称产生冲突,唯一的解决办法就是改名字。
C++ 的命名空间完美解决了此类问题,你可以起一个长一点的 namespace,然后使用短的函数名称,别人可以决定使用完整的名称,又或者声明省略整个空间名(其实是把指定空间合并到当前的命名空间),又或者给空间名取一个别名。
namespace giegie {
void xinteng() {
}
}
int main()
{
giegie::xinteng();
{
using namespace giegie;
xinteng();
}
{
namespace gg = giegie;
gg::xinteng();
}
return 0;
}
并且可以自由决定这种行为的作用域。
lambda 表达式
很多场景需要你传递一个函数指针,用于回调,C语言你就得在全局声明一个函数了,而 C++ 你可以直接在函数,甚至语句块内部使用 lambda 表达式,严格限制范围,增强代码可读性。lambda 在不使用捕获的情况下可以轻松自动转换为纯函数指针。lambda 的捕获不得不说实在是非常惊艳,可以像 Javascript 语言那样直接访问到 lambda 外部的变量:
int main() {
int a = 1;
int b = 2;
// 这里要是没有 auto 我都不会写了🤣
auto foo = [&a, &b](int c) {
return a + b + c;
};
int sum = foo(3); // sum is 6
}
你可以自由决定是把 a、b 复制传递,还是直接传引用。复制你就无需担心捕获变量的生命周期问题,适用于异步调用的情况。引用捕获你可以对外部变量直接修改。
结尾
以上说的这些爽快的特性,必须要你经历过C语言一段时间的洗礼后,才能深有体会。C++ 当然还有很多没说到到的新特性,我也只是挑一点来说而已,比如最重要的 class 我反而只字未提,很多人觉得必须要把 C++ 所有特性全部掌握,才算是会 C++,才有资格用,我认为大可不必,并不是语言提供了什么特性你都非得要用上,面向过程可以干净利落解决问题就没有必要非得面向对象。况且有些“特性”真的一言难尽,比如我就宁愿用 printf 而不是 cout。