參數類型該類

Question

考慮下面的比賽：

public interface ITree<X> 
{ 
    ... 
    ITree<X> Union(ITree<X> other); 
    ... 
} 

的想法是，我要實現幾種類型的樹。但是，Union()方法僅適用於如果您嘗試將的兩棵樹組合在一起的。但是，上面的類型簽名不會強制執行此限制。

所以，我的問題是：我如何寫一個類型簽名Union()使得other參數必須具有同一類型爲this？ （顯然，如果類型不匹配，我可以做一個動態運行時測試並拋出一個異常，但是如果可以完成的話，我會在編譯時檢查它）。

Answer 1

表達這一點並不是一種特別乾淨的方式，這是使用接口的結果，因爲沒有辦法知道ITree<X>的實現類型。最好的方法可能是創建另一個類/接口，限制了混凝土樹類型並執行操作（）你需要：

public interface ITreeUnion<T, X> where T : ITree<X> 
{ 
    T Union(T left, T right); 
} 

你那麼有這個接口類型的實例傳遞給你需要的地方進行所需的操作。

如果你真的需要Union去，你可以使用一個循環模板的接口上：

public interface ITree<T, X> where T : ITree<T, X> 
{ 
    T Union(T other); 
} 

public class RedBlackTree<T> : ITree<RedBlackTree<T>, T> 
{ 
    public RedBlackTree<T> Union(RedBlackTree<T> other) 
    { 
    } 
} 

Answer 2

爲什麼你需要界面呢？簡單地實現對樹的每個實施Replace方法：

public class RedBlackTree<T> { 
    public RedBlackTree<T> Union(RedBlackTree<T> other) { ... } 
} 

public class SplayTree<T> { 
    public SplayTree<T> Union(SplayTree<T> other) { ... } 
} 

既然你用的ITree每個執行交易時尋找編譯時的安全性，我認爲你只需要處理的具體類型。當然，如果需要，您可以使用其他方法ITree<T>。

Answer 3

不知何故，以下actually compiles：

public interface ITree<TSelf, TItem> where TSelf : ITree<TSelf, TItem> 
{ 
    TSelf Union(TSelf other); 
    // ... 
} 

public class AvlTree<TItem> : ITree<AvlTree<TItem>, TItem> { 
    public AvlTree<TItem> Union(AvlTree<TItem> other) { 
     return other; 
    } 
} 

當然，這不是特別有用，因爲再你必須聲明變量爲ITree<AvlTree>，此時你可能不會使用該接口。使用C＃泛型時，通用類型參數的值必須在某個時刻已知，才能確定泛型類型。

Answer 4

根據您的需求，您需要一個Union()的通用聲明。

• 接口

  public partial interface ITree<X> { 
      T Union<T>(T other) where T: ITree<X>; 
  } 
  

• 示例類

  public partial class TreeOfObject: ITree<object> { 
      public T Union<T>(T other) where T: ITree<object> { 
       return default(T); // sample only; shuold be implemented yourself 
      } 
  } 
  
  public partial class TreeOfInt: ITree<int> { 
      public T Union<T>(T other) where T: ITree<int> { 
       return default(T); // sample only; shuold be implemented yourself 
      } 
  } 
  

• 測試

  public static partial class TestClass { 
      public static void TestMethod() { 
       var x=new TreeOfObject(); 
       var y=new TreeOfInt(); 
  
       var xx=x.Union(x); 
       var yy=y.Union(y); 
  
       var xy=x.Union(y); // won't compile 
       var yx=y.Union(x); // won't compile 
      } 
  }