演算子wchar_t **（）はconst wchar_tへの暗黙的な変換を提供できません** - なぜですか？

Question

特定の暗黙の変換が期待どおりに機能しない理由を理解するのに問題があります。私は次のクラスに

ref class ManagedWStringArrayWrapper 
{ 
    wchar_t** m_pointer; 

public: 

    operator wchar_t**() 
    { 
     return m_pointer; 
    } 
}; 

を持っているし、私も**これは、暗黙的にconstのwchar_tに変換するだろうと思った - しかし、それはしません。誰かが私に理由を教えてくれますか？ T**からT const**へ

Answer 1

変換はあなたが実際に—を期待するかもしれないほど直感的ではない、それがconst -incorrectコードとして標準自体に例として与えられています。所与

例は：しばらく

#include <cassert> 

int main() { 
    char* p = 0; 

    //char const** a = &p; // not allowed, but let's pretend it is 
    char const** a = (char const**)&p; // instead force the cast to compile 

    char const* orig = "original"; 
    *a = orig; // type of *a is char const*, which is the type of orig, this is allowed 

    assert(p == orig); // oops! char* points to a char const* 
} 

研究上記のシナリオこれはない変換T* → T const*と同じであることが明らかになるであろう。どういたしまして！

私はa blog postに同じ質問をしました。よくある質問はan entry on itです。

Answer 2

これらは異なるものです。たとえば、C++ライブラリを見ると、同じことをするための関数が2つあることがあります.1つはconstポインタで、もう1つは非constで動作します。 Example.

ただし、明示的な演算子const wchar_t**を簡単に追加できます。