從智能指針確定類型

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; 

    // ... 
};