淺談const變量賦值報(bào)錯(cuò)分析

更新時(shí)間：2015年07月01日 10:26:35 投稿：hebedich

在類中只有靜態(tài)變量能賦值如果你不賦值編譯器會(huì)認(rèn)為你這個(gè)變量根本沒用不能被修改又沒有初始值兩個(gè)辦法在構(gòu)造函數(shù)的初始化列表賦值或者在const前面加一個(gè)static

從變量到常量的賦值是合法C++的語(yǔ)法約定的，

如從char 到const char順暢；
但從char **到 const char **編譯器就會(huì)報(bào)錯(cuò)：

復(fù)制代碼代碼如下:

error: invalid conversion from `char**' to `const char**'

示例：

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

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

當(dāng)然這時(shí)候，使用一個(gè)強(qiáng)制類型轉(zhuǎn)換，可以解決這個(gè)編譯錯(cuò)誤：

復(fù)制代碼代碼如下:

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

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

強(qiáng)制類型轉(zhuǎ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;
};

//演示潛在的危險(xiǎn)  
//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;
}

我們定義了一個(gè)常量的Foo，常量Foo方法打印出來的永遠(yuǎn)為1；

Foo**到const Foo **的轉(zhuǎn)換報(bào)錯(cuò)，

通過一個(gè)強(qiáng)轉(zhuǎn)符讓編譯通過，

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

很難會(huì)想到一個(gè)const對(duì)象還能夠變更；

以上所述就是本文的全部?jī)?nèi)容了，希望大家能夠喜歡。

您可能感興趣的文章: