なぜstd :: mapのキーをnon-constを期待する関数に渡すことができますか？

Question

std::mapdocumentationによれば、キーと値のペアはstd::pair<const Key, Value>に格納されているため、マップのキーはconstです。

ここで私はstd::mapを持っていると想像してください。ここで、キーはいくつかのオブジェクトへのポインタです。

struct S {}; 
struct Data {}; 
using MyMap = std::map<S*, Data>; 

のもS*パラメータを受け付ける関数fooがあると仮定しましょう。

void foo(S* ptr) { /* modify the object (*ptr) */ } 

さて、質問です：私はとMyMapを反復処理するときに、範囲ベースのforループ、私はfooにマップ要素のキーを渡すことができる午前：

MyMap m = getMyMapSomehow(); 
for (auto elem : m) 
{ 
    static_assert(std::is_const<decltype(elem.first)>::value, "Supposed to be `const S*`"); 
    foo(elem.first); // why does it compile? 
} 

だから、でも私をかかわらず、 static_assertが成功します（したがって、elem.firstのタイプがconst S*であると仮定します）、fooへの呼び出しはうまくコンパイルされます。したがって、ポインタからconstへの背後にあるオブジェクトを変更できるかのように見えます。

なぜ私はそれを行うことができますか？

P.S.ここに私の要点を示すlive example at Coliruがあります。簡潔にするため、SとDataの代わりにintを使用します。ここで

Answer 1

ので、私はelem.firstのタイプはmapに格納されている鍵const S*

番号であることを前提としていconstであり、これはstd::map<S*, Data>を意味し、キーは（constポインタ）であり、（すなわち、const）。したがって、foo(S* ptr)に渡すと問題ありません。constポインタ自体がパラメータにコピーされます。

Answer 2

は、あなたがそれをうまくできるかどうか、単純な例です。

void f(int);   // takes a non-const int 

int main() { 
    std::set<int> s; // elements are const ints 
    for (auto n : s) { 
     f(n);   // OK!? 
    } 
} 

Answer 3

std::map<K, V>::value_typeは、前述のとおりstd::pair<const K, V>です。したがってconst KはKの代わりにS*と表示されますか？あなたを驚かせるかもしれない答えは、const S*ではありません。むしろS* constです。