爲什麼常量性沒有編譯器執行

Question

考慮下面的代碼：

#include <vector> 
#include <iostream> 

class a { 
public: 
    int i; 
    void fun() { i = 999; } 
    void fun() const { std::cout << "const fun" << std::endl; } 
}; 

const a* ha() { 
    return new a(); 
} 

int main() 
{ 
    std::vector<a *> v; 
    v.push_back(new a()); 

    // cannot convert from 'const a *' to 'a *' 
    // a* test = ha(); 

    std::vector<a *>::const_iterator iterator = v.begin(); 
    for (; iterator != v.end(); ++iterator) { 
     // No enforcement from compiler? I do not want user to modify the content through 
     // const_iterator. 
     a* aa = (*iterator); 
     aa->fun(); 
    } 

    std::cout << (*(v.begin()))->i << std::endl; 
    getchar(); 
} 

可我知道爲什麼我沒有從

a* aa = (*iterator); 

我希望編譯器會告訴我，我需要使用編譯器錯誤const_iterator的方式如下：

const a* aa = (*iterator); 

或者，這是我對const_iterator的期望嗎？

Answer 1

const_iterator表示您不能修改容器中的元素;也就是說，如果您有指針的容器，則不能更改指針。

你不改變指針，你改變指針指向的對象。

如果你嘗試新的指針分配到容器中的元素，它將無法編譯：

*iterator = new a; // < Won't compile