[問題] 泛型使用時機/參數傳入泛型或是interface

[ccorn (玉米)]

最近新學了泛型很開心，很多東西都可以拿來共用。

但是感覺自己有點走火入魔，用得太多，不知道參數到底要傳入泛型還是介面。

寫法一
public void DoSomething<T>(T obj)
where T: ISomething

寫法二
public void DoSomething(ISomething obj)

之前常常寫寫法一，現在發現寫法二也可以編譯和正確執行
不知道寫法一和寫法二的差別是習慣問題還是根本用錯泛型了...
希望有人可以替我解答，感謝!!

如果我真的用錯泛型了，也想問一下泛型正確的使用時機是什麼?

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 59.120.231.91
※ 文章網址: https://www.ptt.cc/bbs/C_Sharp/M.1536226098.A.8C9.html
推 s4300026: 一樣的方法定義用泛型，一樣的方法宣告用介面
推 s4300026: （魚，蟲，人，菌），執行 “進食” 用介面。 （老師，
→ s4300026: 學生，家長，督察），執行 “用現金付帳” 用泛型。
是說進食的實作根據物種差很多，用現金付帳的實作各種身份都一樣嗎？

那我有點不太懂為什麼用這兩個狀況判斷泛型與否，是否跟樓下c大說的轉型消耗有關?

感謝你的回應~
推 CloudyWing: 以這範例來說，除非method裡面可能會把介面轉型成實際
→ CloudyWing: 型別，不然是2吧
推 CloudyWing: 以這情況，其實你呼叫起來幾乎沒差別，如果用介面就
→ CloudyWing: 不會有轉型損耗的，其實用介面就可以了，有轉型損耗的
→ CloudyWing: 就要考慮泛型或是泛型介面
了解，那如果這樣可以使用介面的狀況寫成泛型，會被當成dirty code或是不易讀或是效
能差嗎?
感謝你的回應~
※ 編輯: ccorn (116.241.1.187), 09/07/2018 00:27:16
※ 編輯: ccorn (116.241.1.187), 09/07/2018 00:56:04
推 CloudyWing: 我個人覺得沒太大差別，然後修正一下，說轉型損耗不精
→ CloudyWing: 準，不用自行做型別檢查或額外做轉型
→ CloudyWing: DoSomething()裡面如果只在意ISomething，例如只是呼
→ CloudyWing: 叫ISomething的某個方法，那就是介面就好
→ CloudyWing: 但如果你在乎的是ISomething的延伸類別
→ CloudyWing: 那你可能就必須在method去判斷參數是ISomething的哪個
→ CloudyWing: 延伸類別，或是利用泛型，讓使用者可以延後到呼叫時決
→ CloudyWing: 定，更簡單來說是你是在定義method還是呼叫method決定
→ CloudyWing: 有效的型別來決定是interface還是泛型，感覺越講越亂.
→ CloudyWing: 想到一個爛例子可以說明InterfaceA有定義methodA
→ CloudyWing: ClassA實作MethodA；ClassB繼承MethodA，new MethodA
→ CloudyWing: 上面打錯，ClassB繼承ClassA，又用new定義同名MethodA
→ CloudyWing: 如果你今天在意的是InterfaceA，不管傳入參數型別是
→ CloudyWing: 哪個，DoSomething()裡呼叫都是實作介面的MethodA
→ CloudyWing: 那就是作法二，如果你是要讓呼叫DoSomething的人可以
→ CloudyWing: 決定是要呼叫哪個Class的MethodA，那就是作法一
→ CloudyWing: 當然正常不會用同名Method玩，而是搭配delegate使用
了解，那我還是乖乖改成介面好了><
其實我泛型用太多，同事有點看不懂
推 s4300026: 不好意思，我把你的問題看成 "宣告方法" 時，要用介面
→ s4300026: 還是泛型。
推 s4300026: 如果考慮傳入值要用哪一種的話，能用介面，就用介面。
→ s4300026:  我會用泛型的情況，像是方法內會用到實作本體，像是new
→ s4300026: 之類的。
了解，乖乖改成介面><
→ testPtt: where T : new()
我懂你 實體化時
推 Litfal: 介面和委派可以給定in或out去指定輸入或產出。你要從更高
→ Litfal: 的視野去理解這件事，這是SA的技能之一。
我以為SA只是做文字的系統分析而已?!
推 s4300026: 樓上的意思是，如果是介面，就可以只吞我定義的介面輸入
→ s4300026: ，但泛型的目標是我力求吞任何類型的輸入
→ s4300026: 是這樣解釋嗎？
推 CloudyWing: 32樓講的是泛型介面才有，想知道可以查協變和逆變
之前看協變逆變看不太懂，這樣一說就通了！這版強者真多><以後要多來發問了
※ 編輯: ccorn (116.241.1.187), 09/08/2018 23:00:01
推 EnjoyLife000: 泛型是針對物件做處理
→ EnjoyLife000: 介面是對物件做的規定
→ EnjoyLife000: 經常兩個會合在一起用，像是List<T>，裡面有很多
→ EnjoyLife000: ToXXX() 然後他會約束where T: 什麼介面或是Class
→ EnjoyLife000: 但TOXXX都是針對T做操作。  如果今天你的Method裡面
→ EnjoyLife000: 針對T的類型都會呼叫同一個方法，這就要做介面
→ EnjoyLife000: 推文好難回，到此為此..