const int *& vs typedef int * IntPtr

时间:2012-08-02 13:30:28

标签: c++

为什么我必须将int *更改为typedef int * IntPtr才能进行编译?

template <class T>
class A
{
    public:
        template <class X>
        void a(X *x, void (X::*fun)(const T&))
        {
        }
};

typedef int * IntPtr;

class B
{
    public:
        B() : a()
        {
            a.a(this, &B::foo); // this won't work
        }
        void foo(const int *&) // must replace `int *` here with `IntPtr`
        {
        }
        A<int *> a; // ...and here
};

class C
{
    public:
        C() : a()
        {
            a.a(this, &C::foo);
        }
        void foo(const IntPtr&)
        {
        }
        A<IntPtr> a;
};

我理解为什么typedef很有用但不是为什么它们是必需的。类C编译好B没有。

这是MSVC ++ 2008编译器的错误:

Error   1   error C2784: 'void A<T>::a(X *,void (__thiscall X::* )(const T &))' : could not deduce template argument for 'void (__thiscall X::* )(const T &)' from 'void (__thiscall B::* )(const int *&)'

1 个答案:

答案 0 :(得分:13)

const int*&typedef int* IntPtr; const IntPtr&不一样。在第一种情况下,它是int常量,在第二种情况下它是指针。只有第二种情况与您的模板兼容。

如果你写

void foo(int * const &);

相反,它应该编译并正常工作。