Clang 编译器错误使用运算符 T* 构造对象

Question

我在 clang (xcode) 中遇到了一个奇怪的编译器问题。我只是剥离了代码以突出问题。当我构造对象时，仅在 clang 中就会出现错误，但在 msvc 中可以正常工作。

在下面的代码中，msvc 正确解析了基础中的运算符 T*，并在以下两种情况下使用它来构造派生。但奇怪的是，clang 只允许第二种变体。

IDerivedT2 spDerived = spB; //错误

IDerivedT2 spDerived(spB); //工作

struct IBase    {      };

template <typename T>
struct CContainer
{
    CContainer() {}
    CContainer(T* p) {}

    CContainer& operator=(T* p)
    {
        return *this;
    }

    CContainer& operator=(CContainer& p)
    {
        return *this;
    }

    operator T*()
    {
        return nullptr;
    }
};

template <typename T>
struct CContainerDerived : public CContainer<T>
{
    CContainerDerived() : CContainer<T>() {}
    CContainerDerived(T* p) : CContainer<T>(p) {}
    CContainerDerived(IBase* p) { *this = p; }

    CContainerDerived& operator = (IBase* p)
    {
        return *this;
    }
};

struct IDerived : public IBase    {      };

typedef CContainer<IBase> IBaseT1;
typedef CContainerDerived<IDerived> IDerivedT2;

int main()
{
    IBaseT1 spB;
    IDerivedT2 spDerived = spB;  //Error

    //IDerivedT2 spDerived(spB);   //Works

    //IDerivedT2 spDerived;   //Works
    //spDerived = spB;

    std::cout << "Hello, world!\n";
}

http://rextester.com/VEVST22502 (clang)

http://rextester.com/ZOMDU93964 (msvc)

我的 xcode 中的 clang 编译器版本是 Apple LLVM 版本 7.3.0 (clang-703.0.29)。每个注释代码的 rextester 中的一个是 3.8。但行为似乎相似。

有什么理由单独在 clang 上发生这种情况？

Answer 1

我被抛弃了，因为 MSVC 使用模板做了一些时髦的事情，尤其是名称查找，但这实际上很容易。

它是CContainer& operator=(CContainer& p)。你在那里缺少const，它应该是CContainer& operator=(CContainer const& p)。

MSVC 有另一个错误，它将临时对象绑定到非 const 引用，例如 p。为什么这个暂时对你很重要？因为复制初始化IDerivedT2 spDerived = spB; 涉及到一个临时的IDerivedT2(spB)，它在直接初始化IDerivedT2 spDerived(spB) 中不存在。