Effective C++学习笔记：尽可能使用const

C++中，const的用法非常复杂，就指针变量来说有如下几种：

char *p              = "hello";                 // 非const指针,非const数据

const char *p        = "hello";             // 非const指针,const数据

char * const p       = "hello";             // const指针,非const数据

const char * const p = "hello";          // const指针,const数据

至于const关键字放在类型名的左边还是右边，关系不大。

class widget { ... };

void f1(const widget *pw);      // f1取的是指向widget常量对象的指针

void f2(widget const *pw);      // 同f1

让函数返回一个常量值经常可以在不降低安全性和效率的情况下减少用户出错的几率。

const rational operator*(const rational& lhs, const rational& rhs)把返回值声明为const类型，可以避免对两个数的运算结果进行赋值这样的愚蠢行为发生。

例1

#include
using namespace std;

class string1
{
public:
    string1(char * s)
    {
       if(s == NULL)
       {
           data = NULL;
       }else
       {
           data=(char *)malloc(strlen(s)+1);
           strcpy(data,s);
       }
    }
    string1 operator=(char * s)
    {
        if(s == NULL)
        {
            return string1(NULL);
        }
        else
        {
          return string1(s);
        }
    }
    char &operator[](int position)
    {
        return data[position];
    }
    const char &operator[](int position)const
    {
        return data[position];
    }
    operator char *()const
    {
        return data;
    }
private:
    char *data;

};

int main()
{
    string1 s="hello";
    const string1 m="iamxczhang";
    s[0]='m';
    m[0]='z';
    cout<    cout<}

编译器无法通过编译，Error：'m' : you cannot assign to a variable that is const。

这里的错误只和调用operator[]的返回值有关；operator[]调用本身没问题。 错误产生的原因在于企图对一个const char&赋值，因为被赋值的对象是const版本的operator[]函数的返回值。

还要注意，非const operator[]的返回类型必须是一个char的引用——char本身则不行。如果operator[]真的返回了一个简单的char，如下所示的语句就不会通过编译：

s[0]='m';

error C2106: '=' : left operand must be l-value。

因为，修改一个“返回值为固定类型”的函数的返回值绝对是不合法的。即使合法，由于c++“通过值（而不是引用）来返回对象“的内部机制的原因，s.data[0]的一个拷贝会被修改，而不是s.data[0]自己，这就不是你所想要的结果了。