淺談const變量賦值報錯剖析

淺談const變量賦值報錯剖析。本站提示廣大學習愛好者：（淺談const變量賦值報錯剖析）文章只能為提供參考，不一定能成為您想要的結果。以下是淺談const變量賦值報錯剖析正文

從變量到常量的賦值是正當C++的語法商定的，

如從char 到const char順暢；
但從char **到 const char **編譯器就會報錯：

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的指針可以變革，可以再指向別的一個地址；
b3和a3都是unqualified的，但b3指向的對象類型為pointer to const char，
a3指向的對象類型為 pointer to char，二者是不相容類型，
不相符兩操作數必需指向相容類型的劃定，是以賦值不法。
更具體的說明詳見參考材料1；

而char** const c3 = a3;准確，則是由於const限制了c3指針的地址變革，即它指向了a3，就不再能變革指向其它指針了；這就限制了指針地址變革能夠產生的潛伏成績；

固然這時候候，應用一個強迫類型轉換，可以處理這個編譯毛病：

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

但轉換後的代碼再湧現成績就很難排查了；

強迫類型轉換的潛伏成績

看以下示例：

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;如許的潛伏風險在正式的項目代碼中就很難發明；

很難會想到一個const對象還可以或許變革；

以上所述就是本文的全體內容了，願望年夜家可以或許愛好。