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對象還能夠變更；

參考資料：