C++ 如何获取延迟模板参数的类型

有没有办法获取类模板参数的延迟类型

template <class TPtr>
struct foo {
    typedef TPtr ptr_type;
    typedef ??? element_type; /* shall be the type of a deferred TPtr*/
};

模板
结构foo{
类型定义TPtr ptr_类型；
typedef？？？元素_type；/*应为延迟TPtr的类型*/
};

因此

foo:：element_type

产生

const char

，而

foo:：element_type

产生

int

---

我知道我可以使用C++的迭代器的代码< > ValueType < /Cord> Type，如：<代码>：ST:：vector：：ValueType类型< /COD> >，但是原始指针没有一个ValueType类型的TyPulf，所以我在那里运气不好。

< P> <强> >如果<代码> TPtr < /C> >只能是指针< /强>，你正在寻找.< /P> 如果您想知道它是如何工作的，那么它以这种方式使用部分专门化：

template<typename T>
struct RemovePointer;

template<typename T>
struct RemovePointer<T*>
{
    typedef T Type;
};

int main()
{
    RemovePointer<int*>::Type foobar; // foobar has the type int
    return 0;
}

信不信由你，它也通过部分专业化工作。基本上是这样定义的：

template <class TPtr> 
struct foo { 
    typedef TPtr ptr_type;
    // The compiler won't know for sure if value_type is actually
    // a type until TPtr is known. The typename keyword is a hint
    // to the compiler so it doesn't cause an error.
    typedef typename iterator_traits<TPtr>::value_type element_type;
};

// Primary template for iterators

template<class Iterator>
struct iterator_traits
{
    typedef typename Iterator::difference_type difference_type;
    typedef typename Iterator::value_type value_type;
    typedef typename Iterator::pointer pointer;
    typedef typename Iterator::reference reference;
    typedef typename Iterator::iterator_category iterator_category;
};

// Partial specializations for pointers

template<class T>
struct iterator_traits<T*>
{
    typedef ptrdiff_t difference_type;
    typedef T value_type;
    typedef T* pointer;
    typedef T& reference;
    typedef random_access_iterator_tag iterator_category;
};

template<class T>
struct iterator_traits<const T*>
{
    typedef ptrdiff_t difference_type;
    typedef T value_type;
    typedef const T* pointer;
    typedef const T& reference;
    typedef random_access_iterator_tag iterator_category;
};

//迭代器的主模板
模板
结构迭代器
{
typedef typename迭代器：：差分类型差分类型；
typedef typename迭代器：：value_type value_type；
typedef typename迭代器：：指针；
typedef typename迭代器：：引用引用；
typedef typename迭代器：：迭代器\类别迭代器\类别；
};
//指针的部分专门化
模板
结构迭代器
{
typedef ptrdiff_t difference_type；
类型定义T值_类型；
typedef T*指针；
typedef T&reference；
typedef随机访问迭代器标记迭代器类别；
};
模板
结构迭代器
{
typedef ptrdiff_t difference_type；
类型定义T值_类型；
typedef const T*指针；
typedef const T&reference；
typedef随机访问迭代器标记迭代器类别；
};

---

这就是为什么

iterator\u traits

类可以在迭代器和指针上工作。

使用迭代器解决方案可以获得更通用的方法。我已经编辑了我的答案，以包含一个适用于迭代器的解决方案。