程序的编译与链接(预处理详解)+百度面试笔试题+《高质量C/C++编程指南》笔试题

简介: 如果两者之间有任何空白存在,参数列表就会被解释为stuff的一部分。

本篇重点介绍程序的编译与链接过程中的预处理阶段,将详细的介绍在预处理阶段会发生什么,以及讲解有关百度该内容的面试笔试题和源于《高质量C/C++编程指南》的笔试题。


一.【预处理详解】


①预定义符号


FILE //进行编译的源文件
LINE //文件当前的行号
DATE //文件被编译的日期
TIME //文件被编译的时间
STDC //如果编译器遵循ANSI C,其值为1,否则未定义


这些预定义符号都是语言内置的。

举个例子:


printf("file:%s line:%d\n", __FILE__, __LINE__);


②#define


2.1 #define 定义标识符


语法:

#define name stuff


举个例子:


#define MAX 1000
#define reg register          //为 register这个关键字,创建一个简短的名字
#define do_forever for(;;)     //用更形象的符号来替换一种实现
#define CASE break;case        //在写case语句的时候自动把 break写上。
// 如果定义的 stuff过长,可以分成几行写,除了最后一行外,每行的后面都加一个反斜杠(续行符)。
#define DEBUG_PRINT printf("file:%s\tline:%d\t \
                          date:%s\ttime:%s\n" ,\
__FILE__,__LINE__ ,       \
__DATE__,__TIME__ )   


注意:


在define定义标识符的时候,要不要在最后加上 ; ?


比如:


#define MAX 20;
#define MAX 20


建议不要加上 ; ,这样容易导致问题。

比如下面的场景:


if(condition)
 max = MAX;//MAX直接替换成20; 那就有两个;;
else
 max = 0;


这里会出现语法错误


2.2 #define 定义宏


#define 机制包括了一个规定,允许把参数替换到文本中,这种实现通常称为宏(macro)或定义宏(define macro)。


下面是宏的申明方式:

#define name( parament-list ) stuff

其中的 parament-list 是一个由逗号隔开的符号表,它们可能出现在stuff中。


注意:


参数列表的左括号必须与name紧邻。

如果两者之间有任何空白存在,参数列表就会被解释为stuff的一部分。

如:


#define SQUARE( x ) x * x
正确写法:#define SQUARE(x)  x * x


这个宏接收一个参数 x .

如果在上述声明之后,你把SQUARE( 5 );


置于程序中,预处理器就会用下面这个表达式替换上面的表达式:5 * 5


警告:


这个宏存在一个问题:

观察下面的代码段:


int b = 6;
printf("%d\n" ,SQUARE( b + 1) );


乍一看,你可能觉得这段代码将打印49这个值。

事实上,它将打印13.

为什么?


替换文本时,参数x被替换成b + 1,所以这条语句实际上变成了:

printf (“%d\n”,b+ 1 * b + 1 );


这样就比较清晰了,由替换产生的表达式并没有按照预想的次序进行求值。


在宏定义上加上两个括号,这个问题便轻松的解决了:


#define SQUARE(x) (x) * (x)


这样预处理之后就产生了预期的效果:


#define SQUARE(x) (b+1) * (b+1)
也就是
#define SQUARE(x) (6+1) * (6+1)


这里还有一个宏定义:


#define DOUBLE(x) (x) + (x)


定义中我们使用了括号,想避免之前的问题,但是这个宏可能会出现新的错误。


int b = 1;
printf("%d\n" ,10 * DOUBLE(b));


这将打印什么值呢?

warning:

看上去,好像打印20,但事实上打印的是11.

我们发现替换之后:


printf ("%d\n",10 * (1) + (1));


乘法运算先于宏定义的加法,所以出现了

11.


这个问题,的解决办法是在宏定义表达式两边加上一对括号就可以了:


#define DOUBLE(x)   ( ( x ) + ( x ) )


提示


所以用于对数值表达式进行求值的宏定义都应该用这种方式加上括号,避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用

2.3 #define 替换规则


在程序中扩展#define定义符号和宏时,需要涉及几个步骤。


1.在调用宏时,首先对参数进行检查,看看是否包含任何由#define定义的符号。如果是,它们首先被替换。

2.替换文本随后被插入到程序中原来文本的位置。对于宏,参数名被他们的值替换。

3.最后,再次对结果文件进行扫描,看看它是否包含任何由#define定义的符号。如果是,就重复上述处理过程。


注意:


  1. 宏参数和#define 定义中可以出现其他#define定义的变量。但是对于宏,不能出现递归。
  2. 当预处理器搜索#define定义的符号的时候,字符串常量的内容并不被搜索。


③ #和##


如何把参数插入到字符串中?


首先我们看看这样的代码:


char* p = "hello ""xiao tao\n";
printf("hello"," xiao tao\n");
printf("%s", p);


我们发现答案是:


2e69233005034589b47271c9742da579.png


我们发现字符串是有自动连接的特点的。


所以那我们是不是可以写这样的代码?:


#define PRINT(FORMAT, VALUE) printf("the value is "FORMAT"\n", VALUE);
int main()
{
 PRINT("%d", 10);
  return 0;
}


这里只有当字符串作为宏参数的时候才可以把字符串放在字符串中。

另外一个技巧是


3.1 #的作用


使用 # ,把一个宏参数变成对应的字符串

比如:


#define PRINT(FORMAT, VALUE) printf("the value of " #VALUE " is  "FORMAT"\n", VALUE);
int main()
{
  int i = 20;
  PRINT("%d", i + 5);//产生了什么效果?
  return 0;

2441c341137f4f388854d500c74d8edb.png



代码中的 #VALUE 会预处理器处理为:

“VALUE” .


所以最终的输出的结果应该是:the value of i+3 is 13


3.2 ## 的作用


##可以把位于它两边的符号合成一个符号。

它允许宏定义从分离的文本片段创建标识符。


例如:


#define ADD_TO_SUM(num, value)  sum##num += value;
int main()
{
  int sum5 = 0;//sum5初始化为0;
  ADD_TO_SUM(5, 10);//作用是:给sum5增加10.
  //sum##num += value;--->  sum5+=10;
  return 0;
}


注意:

这样的连接必须产生一个合法的标识符。否则其结果就是未定义的。


④带副作用的宏参数


当宏参数在宏的定义中出现超过一次的时候,如果参数带有副作用,那么你在使用这个宏的时候就可能出现危险,导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。


例如:


a+1;//不带副作用
a++;//带有副作用


MAX宏可以证明具有副作用的参数所引起的问题。


#define MAX(a, b) ( (a) > (b) ? (a) : (b) )
int main()
{
  int x = 4;
  int y = 3;
  int z = MAX(x++, y++);
  printf("x=%d y=%d z=%d\n", x, y, z);//输出的结果是什么?
  return 0;
}


这里我们得知道预处理器处理之后的结果是什么:


z = ( (x++) > (y++) ? (x++) : (y++));


所以输出的结果是:


x=6;  y=4; z=5;


解析:


ee6615fcde6a42d7a2dd97c354ee465d.png


⑤宏和函数对比


宏通常被应用于执行简单的运算。比如在两个数中找出较大的一个。


#define MAX(a, b) ((a)>(b)?(a):(b))


那为什么不用函数来完成这个任务?


原因有二:


1.用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。所以宏比函数在程序的规模和速度方面更胜一筹。

2.更为重要的是函数的参数必须声明为特定的类型。所以函数只能在类型合适的表达式上使用。反之这个宏怎可以适用于整形、长整型、浮点型等可以用于>来比较的类型。宏是类型无关的。


当然和宏相比函数也有劣势的地方:


3.每次使用宏的时候,一份宏定义的代码将插入到程序中。除非宏比较短,否则可能大幅度增加程序的长度。

4.宏是没法调试的。

5.宏由于类型无关,也就不够严谨。

6.宏可能会带来运算符优先级的问题,导致程容易出现错


宏有时候可以做函数做不到的事情。比如:宏的参数可以出现类型,但是函数做不到。


21fe3ce336ae48729ac96a44de8b792f.png


5.1命名约定


一般来讲函数的宏的使用语法很相似。所以语言本身没法帮我们区分二者。

那我们平时的一个习惯是:


把宏名全部大写

函数名不要全部大写


⑥#undef


这条指令用于移除一个宏定义。


#undef NAME
//如果现存的一个名字需要被重新定义,那么它的旧名字首先要被移除


⑦命令行定义


许多C 的编译器提供了一种能力,允许在命令行中定义符号。用于启动编译过程。


例如:当我们根据同一个源文件要编译出不同的一个程序的不同版本的时候,这个特性有点用处。(假定某个程序中声明了一个某个长度的数组,如果机器内存有限,我们需要一个很小的数组,但是另外一个机器内存大写,我们需要一个数组能够大写。)


#include <stdio.h>
int main()
{
    int array [ARRAY_SIZE];
    int i = 0;
    for(i = 0; i< ARRAY_SIZE; i ++)
   {
        array[i] = i;
   }
    for(i = 0; i< ARRAY_SIZE; i ++)
   {
        printf("%d " ,array[i]);
   }
    printf("\n" );
    return 0;
}


编译指令:


gcc -D ARRAY_SIZE=10 programe.c


⑧条件编译


在编译一个程序的时候我们如果要将一条语句(一组语句)编译或者放弃是很方便的。因为我们有条件编译指令。


1.
#if 常量表达式
 //...
#endif
//常量表达式由预处理器求值。
如:
#define __DEBUG__ 1
#if __DEBUG__
 //..
#endif
2.多个分支的条件编译
#if 常量表达式
 //...
#elif 常量表达式
 //...
#else
 //...
#endif
3.判断是否被定义
#if defined(symbol)
#ifdef symbol
#if !defined(symbol)
#ifndef symbol
4.嵌套指令
#if defined(OS_UNIX)
 #ifdef OPTION1
 unix_version_option1();
 #endif
 #ifdef OPTION2
 unix_version_option2();
 #endif
#elif defined(OS_MSDOS)
 #ifdef OPTION2
 msdos_version_option2();
 #endif
#endif


⑨文件包含


我们已经知道, #include 指令可以使另外一个文件被编译。就像它实际出现于 #include 指令的地方一样。

这种替换的方式很简单:

预处理器先删除这条指令,并用包含文件的内容替换。

这样一个源文件被包含10次,那就实际被编译10次.


9.1 头文件被包含的方式:< >与" "


  • 本地文件包含


#include "filename"


查找策略:

先在源文件所在目录下查找,如果该头文件未找到,编译器就像查找库函数头文件一样在标准位置查找头文件。

如果找不到就提示编译错误。


  • 库文件包含


#include <filename.h>


查找头文件直接去库函数下去查找,如果找不到就提示编译错误。


注意:


这样是不是可以说,对于库文件也可以使用 “” 的形式包含

答案是:可以,但没必要。

但是这样做查找的效率就低些,当然这样也不容易区分是库文件还是本地文件了。


9.2 嵌套文件包含


当写一个项目时,通常需要将各个功能分开,分配给不同的程序猿写,如果遇到下面的情况:


1df088d5844244269ab6bb5727f6590e.png


也就是test程序中最终会出现两份common.h的内容,这样就造成文件内容的重复。


如何解决这个问题?

答案:条件编译


每个头文件的开头写:


#ifndef __TEST_H__//如果第一次没有定义这个文件
#define __TEST_H__//则定义一下。如果第二次出现了,就不编译
//头文件的内容
#endif  


或者:


#pragma once


就可以避免头文件的重复引入。


二. 【百度笔试题】


Ⅰ.offsetof宏的实现


1cd2c40283064b4a836416db9140afbc.png


介绍:


8d0bf0e7bf654449afeac142a3b1d0c8.png


我们首先要知道offsetof如何使用


#include <stddef.h> 
struct S
{
  char c;
  int a;
  double f;
};
int main()
{
  printf("%d\n", offsetof(struct S,c));
  printf("%d\n", offsetof(struct S,a));
  printf("%d\n", offsetof(struct S,f));
  return 0;
}

5ec7b2935f4949f3875f88b02e285221.png


170803b22d9c46de96782562632d4319.png


思路:


5726abdbc1ef4419bd42a860031b1403.png


#define OFFSETOF(type,member) (int)&(((type*)0)->member)
//首先将0强制转换为结构体指针类型,
//然后指向成员变量,
//再取出成员的地址这个地址就是偏移量
struct S
{
  char c;
  int a;
  double f;
};
int main()
{
  printf("%d\n", OFFSETOF(struct S,c));
  printf("%d\n", OFFSETOF(struct S,a));
  printf("%d\n", OFFSETOF(struct S,f));
  return 0;
}


752a81a3bb55455383033cdaac17d548.png


Ⅱ 交换奇偶位


e41dad73739141a4b186f3898a5ed8fb.png


思路:


1.整数有32个比特位,也就是有16个奇数位,16个偶数位,要将奇数位偶数位全部交换。

2.我们可以将奇数位全部保留偶数位先不要。然后将奇数位向左移动1位。这样就把奇数位移动到偶数位了。

3.接着我们再将偶数位保留,奇数位不要,将偶数位向右移动1位,这样就把偶数位移动到奇数位上了

4.最后两个相加就得到奇数位和偶数位交换的数了


如何保留奇数位呢?去掉偶数位呢?

奇数位上&1,偶数位上&0


11111111111111111111111111111111
01010101010101010101010101010101
16进制表示0x55555555


如何保留偶数位呢?去掉奇数位呢?

偶数位&1,奇数位&0.


11111111111111111111111111111111
10101010101010101010101010101010
16进制表示0xaaaaaaaa


#define SWAP(n) ((n&0x55555555)<<1)+((n&0xaaaaaaaa)>>1)
int main()
{
  int n = 10;
  printf("%d", SWAP(n));
  return 0;
}


结果:


c56cdc61e52d4ecabd734ca0d7fab7a3.png


三.【《高质量C/C++编程指南》笔试题】


Ⅰ.头文件中的 ifndef/define/endif是干什么用的?


防止嵌套文件包含


Ⅱ. #include <filename.h> 和 #include "filename.h"有什么区别?


#include <filename.h>会直接到库函数所在的目录去查找头文件

#include "filename.h"会先在所在的文件目录去查找,如果找不到再去库函数里找

相关文章
|
21天前
|
编译器 开发工具 C++
Dev-C++详细安装教程及中文设置(附带安装包链接)
Dev-C++详细安装教程及中文设置(附带安装包链接)
53 0
|
29天前
|
关系型数据库 数据库 C++
【C++】Windows使用Visual Studio C++链接云数据库PostgreSQL(沉浸式老爷教学)
【C++】Windows使用Visual Studio C++链接云数据库PostgreSQL(沉浸式老爷教学)
|
2月前
|
安全 程序员 编译器
【C/C++ 泛型编程 进阶篇 Type traits 】C++类型特征探究:编译时类型判断的艺术
【C/C++ 泛型编程 进阶篇 Type traits 】C++类型特征探究:编译时类型判断的艺术
176 1
|
2月前
|
编译器 C++
【C++练级之路】【Lv.11】模板(你真的了解模板特化和分离编译吗?)
【C++练级之路】【Lv.11】模板(你真的了解模板特化和分离编译吗?)
|
2天前
|
运维 Serverless Go
Serverless 应用引擎产品使用之在阿里云函数计算中c++模板,将编译好的C++程序放进去部署如何解决
阿里云Serverless 应用引擎(SAE)提供了完整的微服务应用生命周期管理能力,包括应用部署、服务治理、开发运维、资源管理等功能,并通过扩展功能支持多环境管理、API Gateway、事件驱动等高级应用场景,帮助企业快速构建、部署、运维和扩展微服务架构,实现Serverless化的应用部署与运维模式。以下是对SAE产品使用合集的概述,包括应用管理、服务治理、开发运维、资源管理等方面。
9 1
|
7天前
|
存储 IDE 编译器
C++从入门到精通:1.3.1了解IDE与C++程序的编写、编译和运行
C++从入门到精通:1.3.1了解IDE与C++程序的编写、编译和运行
|
11天前
|
数据采集 机器学习/深度学习 数据挖掘
Python数据清洗与预处理面试题解析
【4月更文挑战第17天】本文介绍了Python数据清洗与预处理在面试中的常见问题,包括Pandas基础操作、异常值处理和特征工程。通过示例代码展示了数据读取、筛选、合并、分组统计、离群点检测、缺失值和重复值处理、特征缩放、编码、转换和降维。强调了易错点,如忽视数据质量检查、盲目处理数据、数据隐私保护、过度简化特征关系和忽视模型输入要求。掌握这些技能和策略将有助于在面试中脱颖而出。
25 8
|
16天前
|
编译器 C++
如何判断一段程序是由 C 编译程序还是由 C++ 编译程序编译的?
如何判断一段程序是由 C 编译程序还是由 C++ 编译程序编译的?
|
19天前
|
存储 编译器 Linux
【C++初阶(十)】C++模板(进阶) ---非类型模板参数、模板的特化以及模板的分离编译
【C++初阶(十)】C++模板(进阶) ---非类型模板参数、模板的特化以及模板的分离编译
21 0
|
2月前
|
Ubuntu 编译器 C++
【Conan 入门教程 】在Ubuntu上使用Conan编译C++第三方库:一站式解决方案
【Conan 入门教程 】在Ubuntu上使用Conan编译C++第三方库:一站式解决方案
193 1