開發(fā)筆記1： 范型

ORM實(shí)現(xiàn)有反射、范型、代碼生成等幾種常見方式，或者單用，或者混合。

c#的范型非常強(qiáng)大，應(yīng)用于ORM時(shí)，可能有些特性顯得更重要。

一開始實(shí)現(xiàn)時(shí)，我嘗試寫一下代碼做為ORM基類

namespace Coat{    public class ORMBase<T> where T : class    {    ...        public bool Update()        {            using (var conn = OpenConnection())            {                //Beblow compile error, because conn.Update<T> expect parameter to be T                //i.e. the sub-class, but "this" is parent class.                return conn.Update<T>(this);            }        }    }}// 子類生成的代碼類似：public class User: ORMBase<User> {...}

意圖是在基類中實(shí)現(xiàn)ActiveRecord對(duì)象增刪改查等通用方法，相比起在具體子類中使用代碼生成實(shí)現(xiàn)相應(yīng)的代碼會(huì)更簡潔些。并且，編輯一個(gè)實(shí)際類型，總比編輯模板方便。

做為一個(gè)玩了兩年沒有范型的語言（GO）的人，我會(huì)覺得 c#class User: ORMBase<User> {這樣的類型聲明很強(qiáng)大。

User類型繼承于ORMBase，而類型ORMBase正是使用User類型做為范型參數(shù)。這沒有循環(huán)依賴？

這樣ORMBase中，便可以利用范型T做各種編程。

上面代碼是卡在了conn.Update<T>(this);這句調(diào)用。

因?yàn)閐apper的Update方法簽名類似Update<T>(T entityToUpdate)，我在ORMBase中寫的this是父類，也就是ORMBase；而傳進(jìn)去給Update的類型參數(shù)T，則是子類，比方說User。

編譯器直接就報(bào)錯(cuò)了。

ORMBase跟T是兩個(gè)不同的類型，無法直接轉(zhuǎn)換，寫conn.Update<T>((T)this);編譯器也是報(bào)錯(cuò)。

有同事建議修改ORMBase的Update簽名，變成public bool Update(T obj)，然后把傳obj而不是this給dapper。

這樣雖然可以解決編譯問題，但會(huì)讓應(yīng)用調(diào)用時(shí)變麻煩；還不如直接把Update方法搬去子類里面生成出來，但還是不漂亮。

研究了一番范型約束，結(jié)果找到更漂亮的方式。

ORMBase跟T無法相互轉(zhuǎn)換是因?yàn)榫幾g器不知道他們之間的繼承關(guān)系，把他們的繼承關(guān)系寫到范型約束中便可以轉(zhuǎn)換了。

public class RecordBase<T> where T : RecordBase<T>

這樣聲明約束T必須是RecordBase<T>的子類；Update方法改為：

return conn.Update<T>((T)this);

便可以順利編譯了。

雖然可以編譯，但這里是把父類轉(zhuǎn)換為子類，何以可以順利編譯，我其實(shí)還木有搞明白細(xì)節(jié)。

有朋友知道，還望告知。

謝謝。