std :: setを呼び出すときにconst_castを避けるset <Type*> :: find

Question

constの正確さを維持しながら、const_castを以下のように取り除く良い方法はありますか？

const_castを指定しないと、以下のコードはコンパイルされません。 set::findは、セットのキータイプへのconst参照を取得します。したがって、渡されたポインタ値を変更しないことが保証されます。しかし、ポインタが指しているものを変更しないことについては何も保証していません。

class C { 
public: 
    std::set<int*> m_set; 

    bool isPtrInSet(const int* ptr) const 
    { 
     return m_set.find(const_cast<int*>(ptr)) != m_set.end(); 
    } 
}; 

Answer 1

はいです。

C++ 14では、int const*をと指定した独自のコンパレータを使用して、を使用することができます。これにより、キーを任意のタイプと比較できるのfind()が有効になります。これに関連するSO questionを参照してください。ここにJonathan Wakely's explanationがあります。

Answer 2

あなたがconst int* Sを保存したい場合は、const int*秒を格納します。 int*を代わりに保存したい場合は、そのようにしますが、そのように混在させることはできません（少なくとも、すでに使用したハックなしではできません）。

1つを選択して貼り付けます。

Answer 3

constの正確性を維持しながら、下記のconst_castを回避する良い方法はありますか？

私が提案しようとしていることが「良い方法」となるかどうかはわかりません。しかし、あなた自身がセットの内容を反復処理しても構わない場合は、const_castを避けることができます。これは、O（log（N））操作からO（N）操作へと変換できるものであることに留意してください。

bool isPtrInSet(const int* ptr) const 
{ 
    for (auto p : m_set) 
    { 
     if (p == ptr) 
     { 
     return true; 
     } 
    } 
    return false; 
} 

Answer 4

なぜこれが不可能なのかの基本的な論理について説明したいと思います。

set<int*>::find(const int*)が合法であるとします。次に、次の操作を実行できます。

set<int*> s; 
const int* p_const; 
// fill s and p 
auto it = s.find(p_const); 
int* p = *it; 

Hey presto！ const_castを実行せずにconst int*をint*に変換しました。