從變量到常量的賦值是合法C++的語(yǔ)法約定的,
如從char 到const char順暢;
但從char **到 const char **編譯器就會(huì)報(bào)錯(cuò):
示例:
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 說(shuō)明 b3的指針可以變更,可以再指向另外一個(gè)地址;
b3和a3都是unqualified的,但b3指向的對(duì)象類型為pointer to const char,
a3指向的對(duì)象類型為 pointer to char,兩者是不相容類型,
不符合兩操作數(shù)必須指向相容類型的規(guī)定,因此賦值非法。
更詳細(xì)的解釋詳見(jiàn)參考資料1;
而char** const c3 = a3;正確,則是因?yàn)閏onst限制了c3指針的地址變更,即它指向了a3,就不再能變更指向其它指針了;這就限制了指針地址變更可能發(fā)生的潛在問(wèn)題;
當(dāng)然這時(shí)候,使用一個(gè)強(qiáng)制類型轉(zhuǎn)換,可以解決這個(gè)編譯錯(cuò)誤:
但轉(zhuǎn)換后的代碼再出現(xiàn)問(wèn)題就很難排查了;
強(qiáng)制類型轉(zhuǎn)換的潛在問(wè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方法打印出來(lái)的永遠(yuǎn)為1;
Foo**到const Foo **的轉(zhuǎn)換報(bào)錯(cuò),
通過(guò)一個(gè)強(qiáng)轉(zhuǎn)符讓編譯通過(guò),
最后的x.print()的結(jié)果是2;這樣的潛在危險(xiǎn)在正式的項(xiàng)目代碼中就很難發(fā)現(xiàn);
很難會(huì)想到一個(gè)const對(duì)象還能夠變更;
以上所述就是本文的全部?jī)?nèi)容了,希望大家能夠喜歡。
新聞熱點(diǎn)
疑難解答
圖片精選