int main(int argc, char *argv[])
{
  char a = '1';
  const char b = a;

  char * a2 = "12345";
  const char * b2 = a2;

  char** a3 = NULL;

  //const char** b3 = a3; //error
   char** const c3 = a3; //ok
   char* const * d3 = a3; //ok
}

原因：

const char** b3 說明 b3的指針可以變更，可以再指向另外一個地址；
b3和a3都是unqualified的，但b3指向的對象類型為pointer to const char，
a3指向的對象類型為 pointer to char，兩者是不相容類型，
不符合兩操作數(shù)必須指向相容類型的規(guī)定，因此賦值非法。
更詳細的解釋詳見參考資料1；

而char** const c3 = a3;正確，則是因為const限制了c3指針的地址變更，即它指向了a3，就不再能變更指向其它指針了；這就限制了指針地址變更可能發(fā)生的潛在問題；

當然這時候，使用一個強制類型轉換，可以解決這個編譯錯誤：

復制代碼代碼如下:

const char** b3 = const_cast<const char**>(a3); // ok

但轉換后的代碼再出現(xiàn)問題就很難排查了；

強制類型轉換的潛在問題

看以下示例：

class Foo {
public:
 Foo(){
   i = 1;
 }
 void modify(){// make some modification to the this object
   i = 2;
 } 
 void print() const {
   cout << "Foo_i:" << i << endl;
 }
private:
 int i;
};

//演示潛在的危險  
//error: invalid conversion from `Foo**' to `const Foo**'
/////////////////////////////////////////////////////////
int main(int argc, char *argv[])
{
  const Foo x;
  Foo* p;

  //const Foo ** q = &p; //q now points to p; this is (fortunately!) an error
  const Foo ** q = const_cast<const Foo **>(&p); 
  *q = &x; // p now points to x
  p->modify(); // Ouch: modifies a const Foo!! 
  x.print(); // print: Foo_i:2
  return 0;
}

我們定義了一個常量的Foo，常量Foo方法打印出來的永遠為1；

Foo**到const Foo **的轉換報錯，

通過一個強轉符讓編譯通過，

最后的x.print()的結果是2;這樣的潛在危險在正式的項目代碼中就很難發(fā)現(xiàn)；

很難會想到一個const對象還能夠變更；

以上所述就是本文的全部內容了，希望大家能夠喜歡。

您可能感興趣的文章: