c++ - const int*& vs typedef int* IntPtr

Question

これをコンパイルするためint *に を aに変更しなければならないのはなぜですか?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 *&)'

Answer 1

const int*&とtypedef int* IntPtr; const IntPtr&同じではありません。最初のケースでは定数である int であり、2 番目のケースではポインタです。テンプレートと互換性があるのは 2 番目のケースのみです。

あなたが書くなら

void foo(int * const &);

代わりに、コンパイルして問題なく動作するはずです。