c++中冒号（:）和双冒号（::）的用法

转载于：http://fengqing888.blog.163.com/blog/static/3301141620100623933512/

1.冒号（:）用法

（1）表示机构内位域的定义（即该变量占几个bit空间）

typedef struct _XXX{

unsigned char a:4;

unsigned char c;

} ; XXX

（2）构造函数后面的冒号起分割做用，是类给成员变量赋值的方法，初始化列表，更适用于成员变量的常量const型。

struct _XXX{

_XXX() : y(0xc0) {}

};

（3） public:和private:后面的冒号，表示后面定义的全部成员都是公有或私有的，直到下一个"public:”或"private:”出现为止。"private:"为默认处理。

（4）类名冒号后面的是用来定义类的继承。

class 派生类名 : 继承方式 基类名

{

派生类的成员

};

继承方式：public、private和protected，默认处理是public。

2．双冒号（::）用法

（1）表示“域操做符”
例：声明了一个类A，类A里声明了一个成员函数void f()，但没有在类的声明里给出f的定义，那么在类外定义f时，
就要写成void A::f()，表示这个f()函数是类A的成员函数。

（2）直接用在全局函数前，表示是全局函数
例：在VC里，你能够在调用API 函数里，在API函数名前加：：

（3）表示引用成员函数及变量，做用域成员运算符

例：System::Math::Sqrt() 至关于System.Math.Sqrt()
——————————————————————————————————————

VC中以下

::是C++里的“做用域分解运算符”。好比声明了一个类A，类A里声明了一个成员函数voidf()，但没有在类的声明里给出f的定义，那么在类外定义f时，就要写成voidA::f()，表示这个f()函数是类A的成员函数。
　　:: 通常还有一种用法，就是直接用在全局函数前，表示是全局函数。当类的成员函数跟类外的一个全局函数同名时，考试,大提示在类内定义的时候，打此函数名默认调用的是自己的成员函数；若是要调用同名的全局函数时，就必须打上::以示区别。好比在VC里，你能够在调用API函数时，在API函数名前加::。（编辑：）

---

这篇文章将总结C/C++中的冒号的用法。

一、位域定义

这个在前面关于位结构体的文章里说得够多的了，再也不重复了。

二、类构造函数(Constructor）的初始化列表

先说下什么叫构造函数吧（是否是啰嗦了？C++的人应该都知道了吧，仍是以防万一一下）。所谓构造函数，就是与类同名的函数，它与普通函数的区别在于，它没有返回类型。
在构造函数后面紧跟着冒号加初始化列表，各初始化变量之间以逗号(,)隔开。下面举个例子。

class myClass
{
public :
myClass();// 构造函数，无返回类型，能够有参数列表，这里省去
~myClass();// 析构函数
int a;
const int b;
}

myClass::myClass():a(1),b(1)// 初始化列表
{
}

上面的例子展现了冒号的这个用法，下面对这个用法进行几点说明：
1)初始化列表的做用至关于在构造函数内进行相应成员变量的赋值，但二者是有差异的。
在初始化列表中是对变量进行初始化，而在构造函数内是进行赋值操做。两都的差异在对于像const类型数据的操做上表现得尤其明显。咱们知道，const类型的变量必须在定义时进行初始化，而不能对const型的变量进行赋值，所以const类型的成员变量只能（并且必须）在初始化列表中进行初始化，即下面的代码将会出错：

myClass::myClass（）
{
a = 1;// 没错，效果至关于在初始化列表中进行初始化
b = 1;// 出错，const变量不能进行赋值操做；
}

2）初始化的顺序与成员变量声名的顺序相同。
先看一下下面的程序：
myClass::myClass():b(1),a(b)
{
}
这样的执行结果a,b各是多少呢？b=1,a=1?不是，b=1而a是个随机数。这一点是至关重要的哦，通常在初始化列表中进行初始化时，初始化的顺序应与声明的顺序保持一致，防止出现没必要要的错误。
3）对于继承的类来讲，在初始化列表中也能够进行基类的初始化，初始化的顺序是先基类初始化，而后再根据该类本身的变量的声明顺序进行初始化。

三、声明基类。

假设咱们从新定义一个类，继承自myClass类。定义方式以下：

class derivedClass : public myClass
{
// 略去
}

这里的冒号起到的就是声名基类的做用，在基类类名前面能够加public/private/protected等标签，用于标识继承的类型，也能够省略，省略的话，用class定义的类默认为private，用struct定义的类默认为public，至于具体各个标签有什么区别这里就不说了。
与初始化列表同样的，这里也能够声名多个基类，各基类之间用逗号(,)隔开。

四、条件语句(? :)

与?构成条件语句，做用至关于if else，以下；

int a,b,c;
a=3;
b=2;
c=a>b?a:b;// 若是a>b成立，则反a赋给c，不然把b赋给c

条件语句的结构为：
条件表达式?表达式1:表达式2
当条件表达式为true时，表达式的值为表达式1的值，不然为表达式2的值。
几点说明：
1）?:能够嵌套，但不推荐使用（难懂），下面的表达式你能看懂啥意思不？

int max = i>j ? i>k ? i : k : j>k ? j : k;

脑壳大了吧，呵呵。
2）?:具备很低的优先级，这个要注意哦，下面的程序执行结果是啥呢？

int i = 3;
int j = 2;
cout << i>j?i:j;// 出错，<<比>具备更高的优先级，执行顺序为 ((cout<<i)>j)?i:j,至关因而比较cout<<i与j的大小，而后根据比较结果决定表达式值为i或j，这显然要出错的，cout<<i的值是cout，不能跟整型数j进行比较。
cout << (i>j)?i:j;//输出1或0，至关于(cout<<(i>j))做为判决条件，来决定表达式的值为i或j，而cout<<(i>j)，i>j则输出1不然0，而后再将(cout<<(i>j))做为？：的条件，若是cout正确执行则为1（true），不然为0（false），以此决定表达式值为i或j
cout <<(i>j?i:j);//i>j则输出i，不然输出j，表达式值为true若是cout正确执行，不然为false

更多的关于优先级的问题就不说了。

五、语句标签
一般跟goto配合使用，如：
step1: a = f1();
....
goto step1;
这种做法也不是很推荐，缘由在于它破坏了语句的顺序执行，这样的代价你们应该清楚吧。不过存在即为合理嘛，既然它还存在，确定仍是有它的用处有它的好处的，好比说，多层嵌套的退出（会比break continue直观一点吧），也能够避免重复代码之类之类的

六、switch语句中case后。
这个不说了，要是不会的话，我也没话可说了。

七、汇编指令模板
这个我也不懂，不班门弄斧了，能够参考一下：http://developer.e800.com.cn/articles/2006/43/1144846933898_1.html
改天学习一下。

一、 做用域符号::的前面通常是类名称，后面通常是该类的成员名称，C++为例避免不一样的类有名称相同的成员而采用做用域的方式进行区分
如：A,B表示两个类，在A,B中都有成员member。那么
A::member就表示类A中的成员member
B::member就表示类B中的成员member

二、 全局做用域符号：当全局变量在局部函数中与其中某个变量重名，那么就能够用::来区分如：

char zhou; //全局变量 

void sleep（） 

｛ 

char zhou; //局部变量 

char(局部变量) = char(局部变量) *char(局部变量) ; 

::char(全局变量) =::char(全局变量) *char(局部变量); 

｝

三、
::是C++里的“做用域分解运算符”。好比声明了一个类A，类A里声明了一个成员函数voidf()，但没有在类的声明里给出f的定义，那么在类外定义f时，就要写成voidA::f()，表示这个f()函数是类A的成员函数。例如

[cpp] view plaincopy
01  class CA {    
02  public:    
03    int ca_var;    
04    int add(int a, int b);    
05    int add(int a);    
06  };   
07      
08  //那么在实现这个函数时，必须这样书写：    
09  int CA::add(int a, int b)    
10  {    
11    return a + b;    
12  }    
13      
14  //另外，双冒号也经常用于在类变量内部做为当前类实例的元素进行表示，好比:    
15  int CA::add(int a)    
16  {    
17    return a + ::ca_var;    
18  }   
19      
20  //表示当前类实例中的变量ca_var。  
更多 0