C为什么有时运算符重载需定义一个函数体完全相同的const版

　　我们知道，数据保护很重要，如文件的用户限制，只读限制，密码保护等。
　　在编程语言中，使用const限定变量来做数据保护，以避免其数据状态的改变。
　　如有一个类，要访问一个类公共成员，需要通过声明类对象（或类对象指针、引用）来引用类的成员函数。如果声明了这个类的一个常对象呢？常对象是说不能改变类的数据成员，对象是用来调用成员函数的，也就是说调用的成员函数不能更改数据成员。在编译阶段，编译器无法去查询引用的成员函数的定义，所以C的做法是，设置常成员函数的语法机制，在类定义时，常成员函数的是在末尾添加一个const标识（因为函数还可以返回const类型（放在开头），所以只能放在末尾），常成员函数的函数体只能引用成员数据做右值（不能引用数据成员做左值）。所以，常对象自然只引用常成员函数，编译器会在编译阶段检查常对象引用的是不是常成员函数，会在类定义中去查找对应的常成员函数版本，如果不是，会引发编译错误。另外，常成员函数虽然可以返回引用，并可以用常对象调用返回引用的常成员函数做左值来修改对象状态，但最好是值返回，因为常对象的初衷就是不改变对象状态。
　　例如：constArrayib（7）；sevenelementArray
　　ib不能调用非常成员函数。
　　值返回的常运算符重载也不能被：ib。operator〔〕（3）8；error，相当于ib〔3〕8；如果定义的是intoperator〔〕（int）ib。operator〔〕（3）可以做左值，但返回了声明const对象的初衷coutib〔3〕
　　如果非常对象，则可以调用非常成员函数，也可以使用非常操作符重载。Arrayia（7）；sevenelementArrayia。operator〔〕（3）6；相当于ia〔3〕6；coutia〔3〕
　　如一个array类的简单demo版：classArray｛public：Array（int10）；defaultconstructorArray（）；destructorsubscriptoperatorfornonconstobjectsreturnsmodifiablelvalueintoperator〔〕（int）；subscriptoperatorforconstobjectsreturnsrvalueintoperator〔〕（int）intoperator〔〕（int）也可以返回引用，但会引发常对象也可以〔〕做左值private：pointertofirstelementofpointerbasedarray｝；endclassArraydefaultconstructorforclassArray（defaultsize10）Array：：Array（intarraySize）｛size（arraySize0？arraySize：10）；validatearraySizeptrnewint〔size〕；createspaceforpointerbasedarrayfor（inti0；i）ptr〔i〕0；setpointerbasedarrayelement｝Array：：Array（）｛delete〔〕｝overloadedsubscriptoperatorfornonconstAreferencereturncreatesamodifiablelvalueintArray：：operator〔〕（intsubscript）｛checkforsubscriptoutofrangeerrorif（subscript0subscriptsize）｛cerrError：Sexit（1）；subscriptoutofrange｝endifcoutnonconstversionreturningreference（lvale）returnptr〔subscript〕；referencereturn｝endfunctionoperator〔〕overloadedsubscriptoperatorforconstArraysconstreferencereturncreatesanrvalueintArray：：operator〔〕（intsubscript）const｛checkforsubscriptoutofrangeerrorif（subscript0subscriptsize）｛cerrError：Sexit（1）；subscriptoutofrange｝returnptr〔subscript〕；returnscopyofthiselement｝intmain（）｛Arrayia（7）；sevenelementArrayia。operator〔〕（3）6；相当于ia〔3〕6；coutia〔3〕constArrayib（7）；sevenelementArrayib。operator〔〕（3）8；error，相当于ib〔3〕8；如果定义的是intoperator〔〕（int）ib。operator〔〕（3）可以做左值coutib〔3〕getchar（）；return0；｝output：nonconstversionreturningreference（lvale）nonconstversionreturningreference（lvale）6constversionreturningrvale0
　　关于const：
　　1因为是const，需要在声明时初始化（常量声明后不能再修改）；
　　2防止修改，起保护作用，增加程序健壮性
　　3const常量相对于define宏定义，const常量具有类型，编译器可以进行安全检查；define宏定义以字面量为数据类型，只是简单的字符串替换，并不进行安全检查。若用const定义常量（类型为整数或枚举，必须以常量表达式初始化），则这种常量在非odr式使用（粗略来说是只使用其值）时不需要依赖其身为变量的身份，一定场合下甚至可以不需要定义（譬如作为类的static成员对象）。编译器在作为常量处理它时，不会依赖一份定义，而是像是立即数一样使用它，它本身可能在机器码中被拷贝到多个地方，和define定义的宏常量的结果相同。另一方面，const定义的常量由于是整数或枚举，所以直接变成机器码上的立即数往往性能更好。另外，const定义的变量只有类型为整数或枚举，且以常量表达式初始化时才能作为常量表达式。其他情况下它只是一个const限定的变量，不要与常量混淆。
　　4const对象默认为文件内链接属性，显式声明extern，可以将const对象改变为外部链接属性。
　　5const与指针，指针指向目标对象，变量存在型、址与值，指针本身可以称为己址、己值，目标对象可以称为他值。
　　以指针声明运算符为界限，const放在前面，表示修饰指针的目标对象，不能通过指针解引用ptr做左值去修改a，const放在后面，表示修饰指针自身，ptr本身不能再做左值，不能再指向其它存储单元。
　　6const修饰函数的返回值（放置在函数声明的开头），并不能做为函数签名的标志，不能用以区分函数重载。但const修饰成员函数是否能够对成员数据做修改（也就是在函数体内使用成员数据做左值），可以做为函数签名的标志，能够区分函数重载。
　　ref
　　https：lightcity。clubscbasiccontentconst
　　End