对比C#聊聊C++大一统的初始化运算符 {}

一:背景

最近发现 C++ 中的类型初始化操作,没有 {} 运算符搞不定的,蛮有意思,今天我们就来逐一列一下各自的用法以及汇编展现,本来想分为 值类型 和 引用类型 两大块,但发现在 C++ 中没这种说法,默认都是 值类型 .

二:各种玩法一览

1. int 上的初始化

首先看一下代码:

int main()
{
 int i = { 10 };
 int j{ 10 };

 printf("i=%d, j=%d", i, j);
}

相比C#来说,不带 = 的写法感觉还是怪怪的。。。接下来看下对应的汇编代码。

 int i = { 10 };
00021825  mov         dword ptr [ebp-8],0Ah  
 int j{ 10 };
0002182C  mov         dword ptr [ebp-14h],0Ah 

从汇编代码看,就是一个简单的 栈赋值 ,所以在 int 上用 {} 完全没必要,太伤键盘了。

2. 数组的初始化

继续看例子。

int main()
{
 int num[] = { 10,11,12 };
}

这种写法中规中矩,基本上 C 系列的语言都这样,对于玩 C# 的我来说,不陌生。。。不过人家默认是值类型,C# 是引用类型,从汇编代码中也能看的出来。

 int num[] = { 10,11,12 };
009C1E95  mov         dword ptr [ebp-10h],0Ah  
009C1E9C  mov         dword ptr [ebp-0Ch],0Bh  
009C1EA3  mov         dword ptr [ebp-8],0Ch  

3. 结构体的初始化

结构体大家都很熟悉,直接上代码了。

typedef struct _Point
{
 int x;
 int y;
} Point;

int main()
{
 Point point = { 10,20 };
}

接下来看一下汇编代码。

 Point point = { 10,20 };
00481825  mov         dword ptr [ebp-0Ch],0Ah  
0048182C  mov         dword ptr [ebp-8],14h  

可以看到,其实也是一组简单的赋值操作,很方便。

4. 类的初始化

方便讲述,先上代码:

class Location {
private:
 int x;
 int y;
 int z;
public:
 Location(int x, int y, int z) :x(x), y(y), z(z) {
 }
};

int main()
{
 Location location = { 10,11,12 };
}

接下来看下汇编代码,是不是调用了 Location 的构造函数。

 Location location = { 10,11,12 };
008D183F  push        0Ch  
008D1841  push        0Bh  
008D1843  push        0Ah  
008D1845  lea         ecx,[ebp-14h]  
008D1848  call        Location::Location (08D13A7h) 

可以看到确实调用了 构造函数,那个 ecx 就是 location 的 this 指针。

5. initializer_list 模板类

C++ 中的 initializer_list 类可以接收 {} 初始化语法作为初始化操作,这个有一点像 C# 的 param 可选参数,接下来把上例的中构造函数改成 initializer_list 来接收,代码如下:

class Location {
public:
 int x;
 int y;
 int z;
public:
 Location(initializer_list<int> list) {

  x = *(const_cast<int*>(list.begin()));
  y = *(const_cast<int*>(list.begin() + 1));
  z = *(const_cast<int*>(list.begin() + 2));
 }
};

int main()
{
 Location loc = { 10,11,12 };
 printf("loc.x=%d,loc.y=%d,loc.z=%d", loc.x, loc.y, loc.z);
}

接下来看下汇编代码。

 Location loc = { 10,11,12 };
00B9518F  mov         dword ptr [ebp-0F8h],0Ah  
00B95199  mov         dword ptr [ebp-0F4h],0Bh  
00B951A3  mov         dword ptr [ebp-0F0h],0Ch  
00B951AD  lea         eax,[ebp-0ECh]  
00B951B3  push        eax  
00B951B4  lea         ecx,[ebp-0F8h]  
00B951BA  push        ecx  
00B951BB  lea         ecx,[ebp-0E4h]  
00B951C1  call        std::initializer_list<int>::initializer_list<int> (0B913C5h)  
00B951C6  mov         edx,dword ptr [eax+4]  
00B951C9  push        edx  
00B951CA  mov         eax,dword ptr [eax]  
00B951CC  push        eax  
00B951CD  lea         ecx,[loc]  
00B951D0  call        Location::Location (0B913ACh) 

从汇编代码看,它首先做了 initializer_list 的初始化操作,然后将弄好的集合丢到 Location 构造函数中,反转过来大概就是这样。

int main()
{
 initializer_list<int> list = { 10,11,12 };

 Location loc = { list };

 printf("output: loc.x=%d,loc.y=%d,loc.z=%d", loc.x, loc.y, loc.z);
}

哈哈,是不是感觉 {} 在初始化方面无所不能,好了,本篇就聊到这里了。