Ограниченные классы

Ограничение на базовый класс позволяет указывать базовый класс, который должен наследоваться аргументом типа. Ограничение на базовый класс служит двум главным целям:

• Оно позволяет использовать в обобщенном классе те члены базового класса, на которые указывает данное ограничение. Это дает, например, возможность вызвать метод или обратиться к свойству базового класса. В отсутствие ограничения на базовый класс компилятору ничего не известно о типе членов, которые может иметь аргумент типа. Накладывая ограничение на базовый класс, вы тем самым даете компилятору знать, что все аргументы типа будут иметь члены, определенные в этом базовом классе.

• Ограничение на базовый класс гарантирует использование только тех аргументов типа, которые поддерживают указанный базовый класс. Это означает, что для любого ограничения, накладываемого на базовый класс, аргумент типа должен обозначать сам базовый класс или производный от него класс. Если же попытаться использовать аргумент типа, не соответствующий указанному базовому классу или не наследующий его, то в результате возникнет ошибка во время компиляции.

Ниже приведена общая форма наложения ограничения на базовый класс, в которой используется оператор where:

where T : имя_базового_класса

где T обозначает имя параметра типа, а имя__базового_класса — конкретное имя ограничиваемого базового класса. Одновременно в этой форме ограничения может быть указан только один базовый класс.

Давайте рассмотрим пример:

using System;

namespace ConsoleApplication1
{
    class UserInfo
    {
        public UserInfo(string Name, int Age)
        {
            this.Name = Name;
            this.Age = Age;
        }

        public string Name { get; set; }
        public int Age { get; set; }
    }

    // Создадим класс, унаследованный от UserInfo
    class AllInfoUser : UserInfo
    {
        public AllInfoUser(string Family, string Name, int Age)
            : base(Name, Age)
        {
            this.Family = Family;
        }

        public string Family { get; set; }

        public override string ToString()
        {
            string s = String.Format("Информация о пользователе: \n{0} {1} {2}\n",this.Name,Family,this.Age);
            return s;
        }
    }

    // Обобщенный класс использующий ограничение на базовый класс
    class Info<T> where T : UserInfo
    {
        T[] UserList;
        int i;

        public Info()
        {
            UserList = new T[3];
            i = 0;
        }

        public void Add(T obj)
        {
            if (i == 3) return;
            UserList[i] = obj;
            i++;
            return;
        }

        public void ReWrite()
        {
            foreach (T t in UserList)
                Console.WriteLine(t.ToString());
        }
    }

    class Program
    {
        static void Main()
        {
            Info<AllInfoUser> database1 = new Info<AllInfoUser>();
            database1.Add(new AllInfoUser(Name: "Alex", Family: "Erohin", Age: 26));
            database1.Add(new AllInfoUser(Name: "Alexey", Family: "Volkov", Age: 28));
            database1.Add(new AllInfoUser(Name: "Dmitryi", Family: "Medvedev", Age: 50));

            database1.ReWrite();

            Console.ReadLine();
        }
    }
}