c++ - 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。