[問題] template一問

[gogohata (沒有不可能)]

開發平台(Platform): (Ex: VC++, GCC, Linux, ...)
Visual C++ 2008



問題(Question)：

TEnMap與STL的Map操作類似

請問一下第二個class CItemInfoPool::AddItemInfo 裡面為何
可以直接這樣寫 pNewItemInfo->SetItemCode(strItemCode);
她是怎麼解析到T為CItemInfoBase?
另外我如果把<typename T> 代成其他類型,像int,這樣是不是就error了?




//Source Code
class CItemInfoBase
{
public:
    typedef TEnMap<CEnAString, CItemInfoBase*> ItemInfoMAP;
    typedef ItemInfoMAP::iterator ItemInfoMAP_ITER;
    typedef ItemInfoMAP::const_iterator ItemInfoMAP_CITER;
    typedef ItemInfoMAP::reverse_iterator ItemInfoMAP_RITER;
    typedef ItemInfoMAP::const_reverse_iterator ItemInfoMAP_CRITER;
    typedef ItemInfoMAP::value_type ItemInfoMAP_VTYPE;

    /*  中略  */

public:
    CItemInfoBase& operator = (const CItemInfoBase& info)
    {
        m_strItemCode = info.m_strItemCode;
        return *this;
    }

public:
    void SetItemCode(const CEnAString& strItemCode){m_strItemCode=strItemCode;}
    const CEnAString& GetItemCode() const {return m_strItemCode;}
protected:
    CEnAString m_strItemCode;
};

//-------------------------------------------------------------------------
class CItemInfoPool
{
public:
/*  中略  */

template <typename T>
T* AddItemInfo(const CEnAString& strItemCode, const T& ItemInfo)
{
    CItemInfoBase::ItemInfoMAP_ITER found=m_mapItemInfos.find(strItemCode);
    if (found != m_mapItemInfos.end())
        return (T*)found->second;

    T* pNewItemInfo = new T;
    *pNewItemInfo = ItemInfo;
    pNewItemInfo->SetItemCode(strItemCode);
    m_mapItemInfos[strItemCode] = pNewItemInfo;
    m_iNumOfItemInfos++;

    return pNewItemInfo;
}
const CItemInfoBase::ItemInfoMAP& GetItemInfos() const{return m_mapItemInfos;}

protected:
    CItemInfoBase::ItemInfoMAP m_mapItemInfos;
};

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.120.1.136
※ 編輯: gogohata        來自: 59.120.1.136         (11/10 17:53)
※ 編輯: gogohata        來自: 59.120.1.136         (11/10 17:54)
→ shadow0326:所以那個template function只能餵CItemInfoBase或它的
→ shadow0326:衍生類別 亂餵會error沒錯
→ gogohata:我想問的是為什她可以直接把pointer指到SetItemCode()?
推 shadow0326:編譯時 compiler會根據使用到此template的地方代入指定
→ shadow0326:的typename 如果compiler發現你餵了錯誤的typename給這
→ shadow0326:個template function  就會compile error
→ shadow0326:而他當然可以指到SetItemCode()  只要compiler看到你餵
→ shadow0326:的typename有SetItemCode()就好
→ shadow0326:甚至, 如果根本沒有其它code用到此template, 那你還可
→ shadow0326:以指到任何UnknownFunction()  (印象中是可以啦...)
→ loveme00835:恐怖的命名
→ loveme00835:可以是CopyAssignable卻不是CopyConstructable...
→ gogohata:不懂樓上所言@@
推 LPH66:意思是說你有 operator = 卻沒有 copy constructor
→ LPH66:不過那就是題外話了
→ gogohata:是只說在operator = 裡面還要加上建構式的意思嗎?
→ diabloevagto:你要做＝裡面就是再做copy，所以你只提供＝沒有copy
→ diabloevagto:會有問題出現
推 shadow0326:其實可以只提供copy assign operator
→ shadow0326:而不提供copy constructor啦
→ shadow0326:個人覺得這比較算是一種風格或優良習慣的問題
→ gogohata:我比較想知道會造成甚麼樣的問題出現@@
→ diabloevagto:如果你沒有定義的話，它會使用預設的copy，就要看
→ diabloevagto:有沒有符合你的需求了
→ angleevil:通常有指標的操作時,記得寫copy ctor.
推 littleshan:因為當你寫了 copy assignment 的時候
→ littleshan:表示預設的 member-wise copy 並不是你想要的行為
→ littleshan:那很明顯預設的 copy ctor 也不會是你想要的行為
→ littleshan:所以你幾乎一定要改掉預設的 copy ctor
→ littleshan:我還沒看過哪個class有copy assigment卻沒有copy ctor
推 shadow0326:如果有自信絕對不會被call到copy ctor的話就可以不做(?
→ shadow0326:不過事實上copy ctor會在很多隱性的地方被呼叫 如STL
→ angleevil:基本上copy assigment和copy ctor是有很多隱性呼叫
→ angleevil:的機會