编译器使用了错误的函数原型？

我遇到了一个我不明白的编译问题，我将其简化了一些，以便在下面进行解释。

基本上，它涉及到有 2 个不同的 getter（一个 const 和一个非常量 getter），它们返回一个带有 const 和非常量 value_type 的容器（本例中是一个映射）。

让我困惑的是，在下面的示例中，编译器似乎无法在非常量对象上使用 const getter：

#include "stdafx.h"
#include <utility>
#include <map>

class TestObject
{
public:

    TestObject() {}
    virtual ~TestObject() {}
};

typedef std::pair<const TestObject*, const TestObject*> ConstTestObjectPair;
typedef std::pair<TestObject*, TestObject*> TestObjectPair;

class Test
{
    TestObject* m_pObject;

public:

    Test() {m_pObject = new TestObject();}
    virtual ~Test() {delete m_pObject;}

    std::map<unsigned, ConstTestObjectPair> GetObject() const
    {
        std::map<unsigned, ConstTestObjectPair> map;
        map.insert(std::make_pair(0, std::make_pair(m_pObject, m_pObject)));
        return map;
    }

    std::map<unsigned, TestObjectPair> GetObject()
    {
        std::map<unsigned, TestObjectPair> map;
        map.insert(std::make_pair(0, std::make_pair(m_pObject, m_pObject)));
        return map;
    }
};

int _tmain(int argc, _TCHAR* argv[])
{
    Test* pTest = new Test();
    const Test* pConstTest = pTest;

    std::map<unsigned, ConstTestObjectPair> CTO = pTest->GetObject(); // Not compiling, I don't get why!!!
    CTO = pConstTest->GetObject();

    std::map<unsigned, TestObjectPair> TO = pTest->GetObject();
    //TO = pConstTest->GetObject(); // Not working, this is expected

    return 0;
}

我尝试使用 VS2010 和 gcc，但都不接受编译此代码。下面是VS2010返回的编译错误：

1>c:\test.cpp(48): error C2440: 'initializing' : cannot convert from 'std::map<_Kty,_Ty>' to 'std::map<_Kty,_Ty>'
1>          with
1>          [
1>              _Kty=unsigned int,
1>              _Ty=TestObjectPair
1>          ]
1>          and
1>          [
1>              _Kty=unsigned int,
1>              _Ty=ConstTestObjectPair
1>          ]
1>          No constructor could take the source type, or constructor overload resolution was ambiguous

有人可以解释一下为什么编译器无法在非常量对象上找到/使用正确的原型吗？

多谢！

如果您真的很好奇，请查看 C++03 标准的第 13.3.3 节，其中描述了如何确定“最佳可行函数”。以下是一些要点：

最佳函数的选择标准是参数的数量、参数的好坏 与候选函数的参数类型的匹配程度（对于非静态成员函数） object 与隐含的对象参数以及候选函数的某些其他属性相匹配。 [笔记： 不保证重载决议选择的函数适合上下文。其他 限制（例如函数的可访问性）可能会使其在调用上下文中的使用格式不正确。 ]

然后：

如果恰好有一个可行函数比所有其他可行函数都更好，那么它就是 由重载决议选择的一个

请注意，此标准中未提及函数的返回类型。因此，非常量方法被选为最有效的，因为它的“隐含对象参数”（本质上是“this”指针）是非常量的。这一切都发生在检测到与返回类型的冲突之前。

为了解决这个问题，我会：

• 改变你的设计，以便ConstTestObjectPair不需要，你可以直接使用const TestObjectPair（首选解决方案）
• 需要时将非常量对象转换为常量对象