Question

我遇到模板和可移植性问题。鉴于此MVCE：

#include <cstdio>

class C
{
public:
    void go()
    {
        printf("go\n");
    }
};

template<typename T>
class A
{
public:
    A(T* pInstance) : m_pInstance(pInstance)
    {
    }

protected:
    T* m_pInstance;
};

template<typename T>
class B : public A<T>
{
    using Base = A<T>;
public:
    B(T* pInstance) : A<T>(pInstance)
    {
    }

    void foo()
    {
        B::m_pInstance->go();
        C* a = nullptr;
        if (a == &B::m_pInstance)
        {
        }

    }
};

int main(int argc, char** argv)
{
    C c;
    B<C> b(&c);
    b.foo();
}

我收到错误：

main.cpp:37:9: error: invalid operands to binary expression ('C *' and 'C *A<C>::*')
                if (a == &B::m_pInstance)
                    ~ ^  ~~~~~~~~~~~~~~~
main.cpp:48:4: note: in instantiation of member function 'B<C>::foo' requested here
        b.foo();
          ^
1 error generated.

但我不确定为什么会这样？好的，我看到类型是如何不同的，但为什么后者成为会员导致这个问题？ Visual Studio（当然有不同的模板引擎）处理相同的罚款。

Answer 1

&B::m_pInstance是指向数据成员的指针。您必须将其更改为

if (a == this->B::m_pInstance)

或

if (a == B::m_pInstance)

如果您想将它们作为成员指针进行比较，则必须更改a的类型：

    T* (A<T>::*a) = nullptr;

或

    C* (A<C>::*a) = nullptr;

Answer 2

MSVC如何处理，我不知道 - 但肯定是一个错误。

&B::m_pInstance恰好是形成指向成员的指针的语法。您可以消除歧义，使&(B::m_pInstance)获得您期望的普通会员访问权限，但这会显示另一个问题：

main.cpp:37:15: error: comparison of distinct pointer types ('C *' and 'C **')
        if (a == &(B::m_pInstance))
            ~ ^  ~~~~~~~~~~~~~~~~~

我猜你真正想要的是if(a == B::m_pInstance)。

gcc / clang上的模板出错，但MSVC上出现错误

2 个答案: