从智能指针确定类型

Question

我有一个函数，目前需要两个模板参数。预计一个是智能指针，另一个预计是对象类型。例如，SmartPtr<MyObject>作为第一个模板参数，而MyObject作为第二个模板参数。

template <typename T, typename TObject> 

我想知道我是否可以从第一个参数SmartPtr<MyObject>或无法自动确定第二个参数，MyObject，让我的模板函数是这样写的：

template <typename T> 

而且类型TObject中的原始模板函数是从T自动确定的，这是预期的智能指针。

按照要求，这里是函数声明及其使用：

template <typename T, typename TObject> 
T* CreateOrModifyDoc(T* doc, MyHashTable& table) 
{ 
    T* ptr = NULL; 

    if (!table.FindElement(doc->id, ptr)) 
    { 
     table.AddElement(doc->id, new TObject()); 
     table.FindElement(doc->id, ptr); 
    }  

    return ptr; 
} 

Answer 1

如果你知道第一个模板参数将是智能指针类型，为什么不能只用一个参数，声明你的功能，并使用它因此：

template<typename T> 
void WhatIsIt(SmartPtr<T> ptr) 
{ 
    printf("It is a: %s" typeid(T).name()); 
} 

Answer 2

您是否写过SmartPtr？如果是这样，这给它添加

typedef T element_type; 

Answer 3

如果可以由可作为第一个模板参数的类提供一个共同的名字一个方便的typedef，你可以这样做：

template <typename T> 
class SmartPtr 
{ 
    public: 
    typedef T element_type; 

    // ... 
}; 


template <typename PtrType, typename ObjType=PtrType::element_type> 
void your_function_here(const PtrType& ptr) 
{ 
    // ... 
} 

Answer 4

我知道的所有智能指针都支持成员::element_type。例如，boost的shared_ptr：http://www.boost.org/doc/libs/1_46_1/libs/smart_ptr/shared_ptr.htm#element_type，而且std智能指针支持这个约定。

template <typename T> class SharedPtr { 
public: 
    typedef T element_type; 

    // ... 
};