漫谈:C语言 奇葩的指针定义规则

初级代码游戏的专栏介绍与文章目录-CSDN博客

我的github:codetoys,所有代码都将会位于ctfc库中。已经放入库中我会指出在库中的位置。

这些代码大部分以Linux为目标但部分代码是纯C++的,可以在任何平台上使用。


C语言的语法很麻拐。

初学者的一个常见BUG:

cpp 复制代码
int *a,b;

试图定义两个指针,却得到了一个指针和一个整数。

当然了,在后面使用的时候编译器会指出错误,从而发现问题。

但是为什么C语言要这么设计呢?为什么不涉及成言严格的"类型 变量;"的语法结构呢?

其实C语言这样设计还是有很多优势的,比如一个复杂的结构,一次性定义结构和结构的指针(下面的例子是typedef,语法规则和变量定义是一样的):

cpp 复制代码
typedef struct{} A,*pA;

这样一次定义了两种类型:结构A和指向结构A的指针。不然就要用两句:

cpp 复制代码
typedef struct{} A;
typedef A* pA;

好吧,我承认其实这也没省力多少啊。况且,现在所有编程规范都主张,一行只能定义一个变量,所以这个优势真不重要。

我们还是验证一下*到底怎么用吧。下面的代码测试了指针定义的几种情形:

cpp 复制代码
#include <stdio.h>
#include <typeinfo>

template<typename T>
void f(T x)
{
	printf("-------------------------------\n");
	printf("sizeof(x)         : %2zd : typeid : %s\n", sizeof(x), typeid(x).name());
}
typedef struct {}A, *pA;
typedef A* pAA;
int main()
{
	int* a, b;
	int** aa, bb;
	int *const* aaa, bbb;
	a = 0;
	b = 0;
	aa = 0;
	bb = 0;
	aaa = 0;
	bbb = 0;

	f(a);
	f(b);
	f(aa);
	f(bb);
	f(aaa);
	f(bbb);

	A sa;
	pA psa=0;
	pAA psaa = 0;
	f(sa);
	f(psa);
	f(psaa);
	return 0;
}

这个代码中的模板函数f用来打印参数的长度和类型,因为是模板,适用于任何类型。

在VS上用x86配置编译,输出:

cpp 复制代码
-------------------------------
sizeof(x)         :  4 : typeid : int *
-------------------------------
sizeof(x)         :  4 : typeid : int
-------------------------------
sizeof(x)         :  4 : typeid : int * *
-------------------------------
sizeof(x)         :  4 : typeid : int
-------------------------------
sizeof(x)         :  4 : typeid : int * const *
-------------------------------
sizeof(x)         :  4 : typeid : int
-------------------------------
sizeof(x)         :  1 : typeid : struct A
-------------------------------
sizeof(x)         :  4 : typeid : struct A *
-------------------------------
sizeof(x)         :  4 : typeid : struct A *

看得出来,不仅"*"只约束后面那个变量,连"**"和"*const*"都只约束后面那个变量,有没有办法改变?尝试下面的代码:

cpp 复制代码
	(int) *const* aaa, bbb;
	(int *)const* aaa, bbb;
	(int *const)* aaa, bbb;
	(int *const*) aaa, bbb;

每一行都是无法编译的。括号怎么加都不对(除了放在变量名后面把变量变成函数指针)。

这些规则记牢就对了。


(这里是结束)

相关推荐
电星托马斯10 小时前
C++中顺序容器vector、list和deque的使用方法
linux·c语言·c++·windows·笔记·学习·程序人生
march_birds15 小时前
FreeRTOS 与 RT-Thread 事件组对比分析
c语言·单片机·算法·系统架构
小麦嵌入式16 小时前
Linux驱动开发实战(十一):GPIO子系统深度解析与RGB LED驱动实践
linux·c语言·驱动开发·stm32·嵌入式硬件·物联网·ubuntu
jelasin17 小时前
LibCoroutine开发手记:细粒度C语言协程库
c语言
篝火悟者17 小时前
自学-C语言-基础-数组、函数、指针、结构体和共同体、文件
c语言·开发语言
神里流~霜灭18 小时前
蓝桥备赛指南(12)· 省赛(构造or枚举)
c语言·数据结构·c++·算法·枚举·蓝桥·构造
双叶83619 小时前
(C语言)单链表(1.0)(单链表教程)(数据结构,指针)
c语言·开发语言·数据结构·算法·游戏
艾妮艾妮20 小时前
C语言常见3种排序
java·c语言·开发语言·c++·算法·c#·排序算法
charlie11451419120 小时前
STM32F103C8T6单片机硬核原理篇:讨论GPIO的基本原理篇章1——只讨论我们的GPIO简单输入和输出
c语言·stm32·单片机·嵌入式硬件·gpio·数据手册
矿渣渣20 小时前
int main(int argc, char **argv)C语言主函数参数解析
c语言·开发语言