boost :: remove_pointer如何工作？

Question

因此remove_reference或remove_pointer始終返回基本類型。

我知道他們在模板元編程中使用所謂的模板特化來做到這一點，但我不太明白。

例如下面。

template<class T>
struct AAA
{
    typedef T Type;
};

template<class T>
struct AAA<T*>
{
    // Why does T become int, not int * all of sudden?
    // How come does this get rid of '*' in a specific way?
    typedef T Type;
};

int main()
{
    AAA<int *>::Type MyVar = 3; // MyVar is not a pointer!
    return 0;
}

顯然我在使用模板時遺漏了一些東西，或者一些指定的規則，我找不到任何能很好地解釋這個問題的好文章。

任何幫助，將不勝感激。

謝謝，謝謝。

Answer 1

// Why does T become int, not int * all of sudden?

T*是int* ，所以T必須是int 。