函数定义从零开始学C++之从C到C++（一）：const与#define、结构体对齐、函数重载name mangling、new/delete 等

今天一直在学习函数定义之类的问题,下午正好有机会和大家共享一下.

    一、bool 类型

    逻辑型也称布尔型，其取值为true（逻辑真）和false（逻辑假），存储字节数在不同编译系统中可能有所不同，VC++中为1个字节。
声明方法：bool result;result=true;
可以当作整数用（true一般为1，false为0）
把其它类型的值转换为布尔值时，非零值转换为true，零值转换为false，注意会产生截断。

    

    二、const 限定符

    （1）、用const给字面常量起个名字（标识符），这个标识符就称为标识符常量；因为标识符常量的声明和应用情势很像变量，所以也称常变量。
定义的一般情势：
const 数据类型 常量名=常量值;数据类型 const 常量名=常量值;
例如：const  float  PI=3.14159f;
注意事项：

    

    常变量在定义时必须初始化；

    

    

    常变量初始化之后，不答应再被赋值；

    

    

    正如我在这里所说，其实加了关键字const只是提示编译器这个变量是常量，如果我们在接下来的操纵中试图变动它，编译器会报错，而并不是真正的常量，事实上某些情况下通过指针也是可以变动的（编译器报正告），什么情况下完全不能修改呢，当A是加const限定且初始化的全局变量，此时A位于.rodata段（linux 下）。此外const 用于修饰指针时可以参考这里。

    （2）、const 与 #define

    const定义的常量与#define定义的符号常量的区分：

    

    const定义的常量有类型，而#define定义的没有类型，编译可以对前者停止类型安全检查，而后者仅仅只是做简略替换

    

    

    const定义的常量在编译时分配内存，而#define定义的常量是在预编译时停止替换，不分配内存。

    

    

    作用域不同，const定义的常变量的作用域为该变量的作用域范围。而#define定义的常量作用域为它的定义点到程序结束，当然也可以在某个地方用#undef取消

    

    

    #define定义的常量，容易产生反作用：

    

    //Effective C++ 3rd的一个例子。
#define CALL_WITH_MAX(a,b) f((a) > (b) ? (a) : (b))
int a = 5;
int b = 0;
CALL_WITH_MAX(++a, b);//a被累加二次
CALL_WITH_MAX(++a, b+10);//a被累加一次
在这里，调用f之前，a的递增次数竟然取决于“它被拿来和谁比较”

    
此外，定义常量还可以用enum，在c++ 中尽量用const、enum替换#define定义常量，用inline 替换带参数的宏定义；但 #define 在底层编程中是必不可少的，下面举个例子：

    

    

 C++ Code 

1 2 3 4 5 6 7 8 9 10 11 12 13 14

#include<iostream> using  namespace std; #define STR(a) #a #define CAT(a,b) a##b int main( void) {      int xy =  100;     cout << STR(ABCD) << endl;  // #ABCD => "ABCD"     cout << CAT(x, y) << endl;  // x##y => xy      return  0; }

    如果是完全的c++ 菜鸟，这里还得略微解释一下细节，iostream 是c++标准库的一个io流头文件，跟C语言不太一样的是一般没有.h 后缀，using namespace 表示命名空间，简略理解就是统一的函数前缀，类比pthread库如pthread_mutex_init, pthread_mutex_lock 用c++ 方法来表示多是 pthread::mutex::lock。 cout是输出流对象，<<操纵符在C语言中是左移位运算操纵符，在这里被重载成输出操纵符，之所以能并列输出是因为如cout<<xxx 返回的是cout 的引用，当前还会再提。参数宏定义的意义就很清晰了，查看下输出即可。

    我们知道printf函数带有可变参数，函数式宏定义也可以带可变参数，同样是在参数列表中用...表示可变参数。例如：

    

    

 C++ Code 

1 2 3 4 5 6

#define showlist(...) printf(#__VA_ARGS__) #define report(test, ...) ((test)?printf(#test):\                                 printf(__VA_ARGS__)) showlist(The first, second,  and third items.); report(x > y,  "x is %d but y is %d", x, y);

    

预处理之后酿成： 

C++ Code 

1 2

printf( "The first, second, and third items."); ((x > y) ? printf( "x>y") : printf( "x is %d but y is %d", x, y));

    

    在宏定义中，可变参数的部分用__VA_ARGS__表示，实参中对应...的几个参数可以看成一个参数替换到宏定义中__VA_ARGS__地点的地方。

    

    （三）、结构体对齐

    什么是内存对齐

    每日一道理
谁说人与人隔着遥远的重洋，谁说心与心设着坚固的堤防？十六岁的鸟儿飞上天空，总会找到落脚的枝头。

    

    编译器为每一个“数据单元”按排在某个适合的位置上。

    

    

    C、C++语言非常灵巧，它答应你干涉“内存对齐”

    

    为什么要对齐

    

    性能原因：在对齐的地址上访问数据快。

    

    如何对齐

    

    第一个数据成员放在offset为0的位置

    

    

    其它成员对齐至min(sizeof(member)，#pragma pack(n)所指定的值)的整数倍。

    

    

    整个结构体也要对齐，结构体总大小对齐至各个成员中最大对齐数的整数倍。

    

    举个例子，

    struct test

    {
char a;

    double b;

    char c;

    };

    根据规则1，a 在位置0；根据规则2，因为VC默认pack为8，可以通过项目-》属性-》c/c++  -》代码生成-》结构体成员对齐选项修改，也可以应用#pragma pack(n) 来修改，#pragma pack() 取消修改，那么b 占据8～15；根据规则2，c在16；现在统共17个字节，根据规则3，结构体总大小需对齐到8的整数倍，即统共是24个字节。

    如果将pack 修改成4，则总大小为16。在VC上pack 共有1，2，4，8，16 等5种选择，而linux g++ 则只有1，2，4 可选，默认是4。

    

    （四）、域运算符

    C++中增长的作用域标识符 ::

    

    用于对与局部变量同名的全局变量停止访问

    

    

    用于表示类的成员，当前讲到类的时候再详谈

    

    

    （五）、new、delete 运算符

    （1）、new operator

    new运算符可以用于创立堆空间，成功返回顾地址，失败抛出异常
语法：
指针变量=new 数据类型(值);
指针变量=new 数据类型[长度n];
例如：
int *p; p=new int(3);
char *pStr=new char[50];

    （2）、delete operator

    delete运算符 可以用于释放堆空间
语法：
delete 指针变量；
delete [] 指针变量；
例如：
delete p;
delete [] pStr;

    （3）、new 和 delete 执行的步骤

    new operator

    

    内存分配(operator new)，类似malloc

    

    

    调用构造函数，讲到类再说

    

    delete operator

    

    调用析构函数，讲到类再说

    

    

    释放内存(operator delete)，类似free

    

    实际上new 有三种用法，包括operator new、new operator、placement new，new operator 包括operator new，而placement new 则没有内存分配而是直接调用构造函数，详细的差异当前再谈。

    

    （六）、函数重载、name managling 与extern "C"

    （1）、函数重载

    雷同的作用域，如果两个函数名称雷同，而参数不同，我们把它们称为重载overload，函数重载又称为函数的多态性（静态）
函数重载不同情势：

    

    形参数量不同

    

    

    形参类型不同

    

    

    形参的顺序不同

    

    

    形参数量和形参类型都不同

    

    调用重载函数时，编译器通过检查实际参数的个数、类型和顺序来肯定响应的被调用函数。

    函数的重载跟函数的覆盖、函数的隐藏是不同的，这一点当前再讲。

    

    合法的重载例子：
int  abs(int i);long abs(long l);double abs(double d);
非法的重载例子：

    int  abs(int i); long abs(int i);void abs(int i);
//如果返回类型不同而函数名雷同、形参也雷同，则是不合法的，编译器会报"语法错误"。

    （2）、name managling 与extern "C"

    name managling这里把它翻译为名字改编，C++为了支撑函数重载，需要将函数名根据参数的不同停止name managling以便区分。
extern “C” 可以实现C与C++混合编程，即对C语言写的函数不停止更名，一般在C的头文件中应用，如果头文件被C代码包括并用C编译器编译，则__cplusplus 没有定义，extern “C" 被略过，如果头文件被C++代码包括并被C++编译器编译，存在__cplusplus 定义故extern "c" 提示编译器不要对 {} 内函数停止更名。

    #ifdef __cpluscplus
extern “C”
{
#endif
...
#ifdef __cpluscplus
}
#endif

    

    （七）、带默认形参值的函数

    函数声明或者定义的时候，可以给形参赋一些默认值，调用函数时，若没有给出实参，则按指定的默认值停止工作。

    *函数没有声明时，在函数定义中指定形参的默认值
*函数既有定义又有声明时，声明时指定后，定义后就不能再指定默认值
*默认值的定义必须遵照从右到左的顺序，如果某个形参没有默认值，则它左边的参数就不能有默认值。
void func1(int a, double b=4.5, int c=3); //合法 
void func1(int a=1, double b, int c=3);  //不合法
*函数调用时，实介入形参按从左到右的顺序停止匹配

    * 重载的函数中如果形参带有默认值时，可能产生二义性

    

 C++ Code 

1 2 3 4 5 6 7 8

int add( int x =  5,  int y =  6); int add( int x =  5,  int y =  6,  int z =  7); int main( void) {      int sum;     sum = add( 10,  20);      return  0; }

    

    sum=add(10,20)语句产生二义性ambiguity，可以认为该语句是调用第一个函数，也可以是第二个，因此编译器不能肯定调用的是哪一个函数。

    

    参考：

    C++ primer 第四版
Effective C++ 3rd
C++编程规范

文章结束给大家分享下程序员的一些笑话语录： 祝大家在以后的日子里. 男生象Oracle般健壮; 女生象win7般漂亮; 桃花运象IE中毒般频繁; 钱包如Gmail容量般壮大, 升职速度赶上微软打补丁 ， 追女朋友像木马一样猖獗， 生活像重装电脑后一样幸福， 写程序敲代码和聊天一样有**。

--------------------------------- 原创文章 By
函数和定义
---------------------------------