淺談const變量賦值報錯分析

2020-05-23 14:19:27

字體：大中小

來源：轉載

供稿：網友

在類中只有靜態變量能賦值如果你不賦值編譯器會認為你這個變量根本沒用不能被修改又沒有初始值兩個辦法在構造函數的初始化列表賦值或者在const前面加一個static

從變量到常量的賦值是合法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;

}