在实现接口的通用抽象类中进行转换

Question

给定基类 Coin

public class Coin { }

和两个派生类Coin50Cent和Coin25Cent

public class Coin50 : Coin { }
public class Coin25 : Coin { }

任务是创建一个对象CoinMachine(用于硬币交换,例如投入50美分硬币返回两个25美分硬币),对应以下要求:

1. CoinMachine必须有两个Coin25Cent和Coin50cent对象的集合.

2. 集合必须从CoinStack<T>具有两种方法的抽象泛型类派生

   void Push(T item); T Pop();

3. CoinMachine 必须如下工作

   CoinMachine.Push(new Coin25()); // puts 25cent in 25c stack
   CoinMachine.Push(new Coin50()); // puts 50cent in 50c stack
   CoinMachine.Pop();      // gets 50cent from 50c stack
   CoinMachine.Pop();      // gets 25cent from 25c stack
   

这是我的实现似乎我在抽象CoinStack类中有一个问题.

namespace ConsoleApplication1
{
    /* Given condition */
    class Program
    {
        static void Main(string[] args)
        {
            CoinMachine.Push(new Coin25());
            CoinMachine.Push(new Coin50());
            CoinMachine.Pop<Coin50>();
            CoinMachine.Pop<Coin25>();
        }
    }

    public class Coin { }
    public class Coin50 : Coin { }
    public class Coin25 : Coin { }
    /* End given condition */

    public interface ICoinStack
    {
        T Pop<T>();
        void Push<T>(T item);
    }

    /* The problem within this abstract class */
    public abstract class CoinStack<T> : ICoinStack
    {
        private Queue<T> _stack = new Queue<T>();

        public T Pop<T>() { return _stack.Dequeue(); }
        public void Push<T>(T item) { _stack.Enqueue(item); }
    }

    public class CoinStack50 : CoinStack<Coin50> { }
    public class CoinStack25 : CoinStack<Coin25> { }

    public class CoinMachine
    {
        private static Dictionary<Type, ICoinStack> map;

        static CoinMachine()
        {
            map = new Dictionary<Type, ICoinStack>()
            {
                { typeof(Coin50), new CoinStack50() },
                { typeof(Coin25), new CoinStack25() }
            };
        }

        public static T Pop<T>()
        {
            var type = typeof(T);
            return map[type].Pop<T>();
        }

        public static void Push<T>(T item)
        {
            var type = typeof(T);
            map[type].Push(item);
        }
    }
}

Answer 1

您的问题是ICoinStack具有通用方法，例如Push<T>(T item)，它基本上表示 的实现ICoinStack可以接受item任何类型的。

但是，在您的实现中，您CoinStack<T>希望限制<T>to ICoinStack.Push<T>of <T>。CoinStack<T>编译器应该已经给你一个警告，说类型参数与外部类型的T类型参数具有相同的名称。T

您必须修复您的设计，要么使其变得ICoinStack通用（如ICoinStack<T>），要么更改其方法以接受/返回object（甚至更好：）Coin而不是T。

例子：

// accept/return Coin instead of T to keep ICoinStack
// and it's methods non-generic
public interface ICoinStack
{
   Coin Pop();
   void Push(Coin item);
}

// explicit interface implementation and the where T:Coin 
// constrain help us here to implement ICoinStack
public abstract class CoinStack<T> : ICoinStack where T:Coin
{
   private Queue<T> _stack = new Queue<T>();

   Coin ICoinStack.Pop() { return _stack.Dequeue(); }
   void ICoinStack.Push(Coin item) { _stack.Enqueue((T)item); }

   public T Pop() { return _stack.Dequeue(); }
   public void Push(T item) { _stack.Enqueue(item); }
}

// we need a cast in Pop<T>, and also the where T:Coin constrain
public class CoinMachine
{
   private static Dictionary<Type, ICoinStack> map;

   static CoinMachine()
   {
       map = new Dictionary<Type, ICoinStack>()
       {
           { typeof(Coin50), new CoinStack50() },
           { typeof(Coin25), new CoinStack25() }
       };
   }

   public static T Pop<T>() where T:Coin
   {
       var type = typeof(T);
       return (T)map[type].Pop();
   }

   public static void Push<T>(T item) where T:Coin
   {
       var type = typeof(T);
       map[type].Push(item);
   }
}