运算符wchar_t **（）未能提供向const的隐式转换wchar_t ** - 为什么？

Question

我有一个问题，理解为什么某个隐式转换不能像我期望的那样工作。我有以下类

ref class ManagedWStringArrayWrapper 
{ 
    wchar_t** m_pointer; 

public: 

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

我想这也会隐式转换为常量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中的同一个问题，FAQ也有an entry on it。

Answer 2

因为这些是不同的东西。例如，如果你看一下C++库，你会发现通常有两个函数可以做同样的事情，一个在const指针上操作，另一个在非const上操作。 Example.

但是你可以很容易地添加一个明确的运算符const wchar_t**。