C语言复合字面量的使用

C99增加的特性,复合字面量(composite literal)。一旦熟悉并使用,便会体会到简洁强大的表达。

所谓字面量就是固定数值的表示。数值和字符串类型都有字面量的表达。如:

// 100, 1.23f, "literral" 都是字面量
int    x = 100;
float  y = 1.23f;
char* s = "literral";

可看到字面构建的同时就可以复制给变量使用。既然是固定数值,那么在初始化的时候就可以构建。



那么复合字面量是几个意思的复合?

composite 除了有复合的意思,也有组合的概念。既然组合,必然数组是直观的对应。

所以,复合字面量就是数组字面量的意思。

曾经,我们是如何定义数组的。

int arr1[]   = {0, 1, 2, 3};
int arr2[10] = {0};

这是最简单的数组,{ } 也是一种字面量的定义。然而,这种字面量只能在数组初始化的时候来使用,并不能赋值操作。

int x;
// 正确
x = 100;

int arr[1];
// 错误
arr = {0};


对, 复合字面量,就是可以随时定义,随时赋值的数组字面量。两步构建出来。

1.  形如 (type[]) 表示需要构建的数组类型,如: (int[]), (int*p), 还能是自定义的类型 (MyType[])

2.  跟着 { } 表示数组内容

int*  intArr1 = (int[]) {0, 1, 2};
int*  intArr2 = (int[100]) {0};

intArr1  = (int[])  {3, 4, 5};
intArr2  = (int[1]) {1};

typedef struct {
    void* data;   
    int     length;
} Array;

Array*  arr1 = (Array[])  {NULL, 0};
Array*  arr2 = (Array[1]) {(int[]) {1}, 1};

可见,复合字面量,返回的是一个指针,指向了构建的数组字面量。

能够随时定义出一个,数组的字面量指针,能够让参数传递,初始化结构,更加的简洁。



举个例子:

typedef struct {
	void* data;
	int   length;
} Array;


void foo(Array* arr) { }


// 曾经的写法
int   data[]  = { 1 };
Array arr [1] = {data, 1};
foo(arr);


// 现在的写法
foo((Array[]) { (int[]) { 1 }, 1 });

表达更为简洁, 也省去了很多的赋值操作。很多时候,构建字面量的数组仅仅是为了一次函数调用的参数传递而已。



static Array* arr = (Array[]) {
	(int[10]) {0},
	1
};
这个例子说明了,初始化一个结构时候的用法。任何一个复杂的自定义类型,我们都能够通过复合文字定义出初始化的字面数值。

这在构建一些需要初始化的固定数据结构很有用处。



还有, 复合文字可以做左值。无论字面数值创建在栈上还是在堆上,都可以被赋值。

这就厉害了,可以发挥想象,有更多的黑魔法有待发掘。




你可能感兴趣的:(C)