char greeting[] = "hello";
char* p = greeting; //non-const pointer,non-const data
const char* p = greeting; //non-const pointer, const data
char* const p = greeting; //const pointer,non-const data
const char* const p = greeting; //const pointer, const data
以上为const面对指针时所产生的四种情况。
const 如出现在星号左边，表示被指物是常量；如果出现在星号右边，表示指针本身是常量；如果出现在星号两边，表示被指物和指针都是常量。
如果被指物是常量，const写在类型之前和类型之后都可以，意义相同，一下两种写法相同：
void f1( const type* pw );
void f2( type const* pw );
而对于STL迭代器。所有的迭代器作用就跟T*一样。声明迭代器为const就像声明一个const指针一样，表明迭代器不能指向不同的东西。如果想让迭代器指向的东西不可改变，则需要声明const_iterator。如下：
const vector<int>::iterator iter = vec.begin(); //如 T* const
*iter = ; //没有问题
iter++; //不可执行 vector<int>::const_iterator citer = vec.begin(); //如 const T*
*citer = ; //不可执行
citer++; //可以
const最具有威力的用法是面对函数声明时的应用：
class Rational {...};
const Rational operator* ( const Rational& lhs, const Rational& rhs);
Rational a,b,c;
...
(a*b)=c;
如以上例子，对两个数值的乘积做了一次赋值，将operator*的回传声明为const可以预防这种没有意思的动作。
const成员函数
如果函数的返回类型是内置类型，那么如果改动函数返回值从来就不合法。如果返回类型为引用，则可以给返回值赋值。
class TextBlock{
public:
const char& operator[]( size_t position ) const
{
return text[position];
}
char& operator[](size_t position)
{
return text[position];
}
private:
string text;
};
如上类中，如果有以下调用：
TextBlock tb("hello");
cout << tb[];
const TextBlock ctb("world");
cout << ctb[];
tb直接调用类中的non-const成员函数，ctb调用的是const成员函数，如下代码：
cout << tb[];
tb[] = 'x';
cout << ctb[];
ctb[] = 'x';
ctb[0]='x'是不可以被执行的，因为const成员函数返回的是const的引用，并且const成员函数所使用的数据成员不可以被更改。
但是由于以上的方法却产生了以下问题：
class CTextBlock{
public:
char& operator[]( size_t position ) const
{
return pText[position];
}
private:
char* pText;
};
对于以上的类在如下调用时：
const CTextBlock cctb("hello");
char* pc = &cctb[];
*pc = 'J';
此时cctb为‘Jello’。
以上为 bitwise const 的观点，虽然const成员对象没有改变类的数据成员，但是整体上是改变了，这样的情况下const类成员意义不大，终究还是改变了其值。
于是产生了logical constness的观点：
class CTextBlock{
public:
size_t length() const;
private:
char* pText;
size_t textLength;
bool lengthIsValid;
};
size_t CTextBlock::length() const
{
textLength = strlen(pText);
lengthIsValid = true;
return textLength;
}
以上代码显然没法执行，因为在length为const成员函数不能改变数据成员。logical constness的观点如下：
class CTextBlock{
public:
size_t length() const;
private:
char* pText;
mutable size_t textLength;
mutable bool lengthIsValid;
};
size_t CTextBlock::length() const
{
textLength = strlen(pText);
lengthIsValid = true;
return textLength;
}
在const成员函数前加上mutable即可实现const成员函数改变数据成员。