39

Я получил тестовое задание во время собеседования на должность C# программиста, но так и не смог его решить, т.к. не понял что именно требуется.

Пишу это, т.к. хочу совершенствоваться, заканчивать все начатые дела, понимать и знать то что до этого не понимал или не знал по мере возможности.

Со словами "вот лёгенькое тестовое задание" интервьюер отправил мне email. Цитирую постановку:

Классы А и В не включают реализации свойств, полей и методов, не атрибутированы и являются наследниками общего предка С

1) не создавая экземпляров описанных классов, реализовать в классе C статический метод с сигнатурой public static string GetName(), для которого истинно A.GetName() == "A" && B.GetName() == "B"

2) реализовать единый счетчик количества экземпляров всех наследников класса С с сигнатурой поля public static int Count в классе, не лежащем вне линии наследования

Я уточнил у интервьюера, что имеется в виду под константами "A" и "B" - он ответил, что это именно имена классов. Т.е. метод GetName() должен возвращать имя класса потомка.

В процессе тщетных попыток реализовать в точности как описано в задании и яростного гугления был найден материал со stackoverflow:

Где, на сколько я понял, утверждается, что получить имя класса потомка из статического метода невозможно без хаков.

Я прикидывал ещё несколько вариантов (например, создание нового класса, который не описан в задании), но все они связаны с попытками обхода условий, что не вяжется со словами интервьюера о том, что есть конкретное решение, думаю оно должно быть честное и простое, раз он так вначале утверждал.

У меня получилось сделать только это, но я знаю, что это неверно, т.к. метод GetName не статический и создаются экземпляры класса:

1.

using System;

namespace Rextester
{
    public class Program
    {
        public static void Main(string[] args)
        {
            Console.WriteLine ( new A().GetName() == "A" && new B().GetName() == "B" );
        }
    }
    class C {
        public string GetName() {
            return this.GetType().Name;
        }
    }
    class A : C{}
    class B : C{}
}                

2.

using System;

namespace Rextester
{
    public class Program
    {                
        public static void Main(string[] args)
        {
            var a = new A();
            var b = new B();
            var c = new C();
        }
    }
    public class C {
        public static int Count;

        public C () {

            if ( this is A
               || this is B )
                Count++;
            Console.WriteLine ( "Count is: " + Count );
        }
    }
    public class A : C{}
    public class B : C{}
}

Ответ интервьювера:

А:добрый день, я вижу, однако вынужден огорчить, задача имеет конкретное решение

Б:Т.е. ни один из двух пунктов неверный?

А:второй зависит от первого

А:и соотвественно, первый не верен, так как создавать экземпляров нельзя

Пожалуйста, помогите мне решить эту задачу. Мне кажется, что в самой постановке есть противоречия, тем более в ней используется двойное отрицание, что трудно для понимания.

Обновлено: Коллеги, благодаря вашим ответам, пояснениям и замечаниям мне всё-таки удалось решить задачу так: создал ещё один класс C, который сделал базовым для всех и установил в нём счётчик. Новый класс обеспечил выполнение условия "А и B являются наследниками общего предка С".

using System;
namespace Rextester
{
    public class Program
    {
        public static void Main ( string[] args )
        {
            Console.WriteLine ( A.GetName() == "A" 
                               && B.GetName() == "B" );

            new A (); // 1 
            new B (); // 2
            new C (); // 3
            new A (); // 4
            new B (); // 5
        }
    }

    class C {
        public static int Count;
    }

    class C < T > : C where T: C < T > {

        public C () { 

            if ( this is A
               || this is B )

                Count++;
            Console.WriteLine ( "Count is:" + Count );
        }

        public static string GetName(){
            return typeof ( T ).Name;
        }
    }

    class A : C < A > { }
    class B : C < B > { }

}

Благодаря ответам и замечаниям иностранных коллег, этот код я дополнил соответствующими модификаторами: базовый класс C и C < T > пометил модификатором abstract, определяющим данные классы как базовые, а поле Count дополнил геттером и сеттером ( с модификатором доступа protected ), для ограничения доступа к переменной. Так же конструктор базового класса C помечен модификатором доступа protected. Допиленный вариант решения:

using System;
namespace Rextester
{
    public class Program
    {
        public static void Main ( string[] args )
        {
            Console.WriteLine ( A.GetName() == "A" 
                               && B.GetName() == "B" );

            new A (); 
            new B ();
        }
    }

    abstract class C {
        public static int Count { get; protected set;}
    }

    abstract class C < T > : C where T: C < T > {

        protected C () { 

            if ( this is A
               || this is B )

                Count++;
            Console.WriteLine ( "Count is:" + Count );
        }

        public static string GetName(){
            return typeof ( T ).Name;
        }
    }

    class A : C < A > { }
    class B : C < B > { }

}

Спасибо всем, кто участвовал в решении этой головоломки! Вы потрясающие люди)

12
  • Зовите <del>Вия</del> VlaD'а :) 18 ноя 2016 в 9:37
  • эти два пункта должны быть в одних и тех же классах реализованы, или для каждого пункта отдельное решение?
    – Grundy
    18 ноя 2016 в 9:38
  • 2
    Отправьте интервьюеру ссылку на эту тему с просьбой дать ответ, или больше не предлагать на собеседованиях вопросы, не имеющие решений.
    – αλεχολυτ
    18 ноя 2016 в 15:48
  • 2
    "Заканчивать начатые дела" - плохая привычка, подумайте, что есть трактор, не обязательно поле перекапывать лопатой, даже если вдруг уже начали. 18 ноя 2016 в 15:52
  • 1
    Лучше "решение" вынести как ответ. Хотя условие реализовать в классе C статический метод тем не менее не выполнено.
    – αλεχολυτ
    19 ноя 2016 в 7:49

4 ответа 4

29

Как сказано в ответах по ссылке. В простейшем случае

class C { public static string GetName() => ... }
class A : C {}
class B : C {}

В методе GetName нельзя узнать тип наследника, просто потому, что статические методы не переопределяются, и в IL будет стоять не

call A.GetName

а

call C.GetName

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

class C<T>
{
    public static string GetName() => typeof(T).Name;
}

Наследники:

class A : C<A> { }
class B : C<B> { }

В этом случае: A.GetName() вернет "A", B.GetName() вернет "B",

16
  • 11
    Если это правильный ответ (а он похож на то, что могли спросить), то я бы не пошел туда работать. Это ж зачем такое могло понадобиться...
    – Monk
    18 ноя 2016 в 10:14
  • 2
    @Grundy Огромное спасибо за ваш ответ. Это действительно то решение, которое ожидал интервьювер. Перед тем как вы ответили, интервьювер дал мне подсказку: "В качестве подсказки, посмотрите шаблон проектирования CRTP". И из статей в открытых источниках я пришёл к аналогичному решению ещё до того, как ознакомился с тем что отправили вы. Ещё раз большое вам спасибо, вы сделали этот сайт ещё прекраснее!
    – hwak
    18 ноя 2016 в 10:25
  • 3
    @hwak, в любом случае, мне кажется с формулировкой вопроса, что-то не то :)
    – Grundy
    18 ноя 2016 в 10:27
  • 3
    @PavelMayorov статический метод, который возвращает разные результаты в зависимости от того, откуда он вызван - это ОПАСНЫЙ код. Я не знаю, где такое может понадобиться.
    – Monk
    18 ноя 2016 в 11:12
  • 11
    @hwak дело в том, что C<A> и C<B> - это разные классы. То есть не выполняется условие "у A и B есть общий предок". 18 ноя 2016 в 11:13
15

Тут Jon Skeet пишет, что в рантайме узнать тип класса-наследника через статический метод базового класса невозможно, поскольку в процессе компиляции в IL (надеюсь я правильно выражаюсь) пишется тип класса, который его реализует, т.е. о наследнике какая-либо информация попросту отсутствует.

11

В рамках наркомании, вот этот пример пройдет проверочный кейс:

  public class C
  {
    private static bool isAreturned = false;

    public static string GetName()
    {
      isAreturned = !isAreturned;
      return isAreturned ? "A" : "B";
    }
  }

  public class A : C { }
  public class B : C { }
8
  • 5
    эм... только в том случае, если строгий порядок вызовы функции... но, да :) Формально тест пройдет :)
    – Grundy
    18 ноя 2016 в 10:15
  • 1
    @Grundy именно, на это и расчет. Правда, я всё равно не смог придумать, как будут связаны 1 и 2 вопросы в такой интерпретации.
    – Monk
    18 ноя 2016 в 10:15
  • Что есть "проверочный кейс"?
    – αλεχολυτ
    18 ноя 2016 в 15:03
  • 1
    @alexolut в данном случае - ситуация при которой истинно выражение A.GetName() == "A" && B.GetName() == "B"
    – Monk
    18 ноя 2016 в 15:17
  • Истинность этого выражения будет зависеть от истории вызовов GetName, поэтому нельзя говорить, что тест пройден.
    – αλεχολυτ
    18 ноя 2016 в 15:21
0

На первый вопрос отправил бы такой код, потом бы мог поспорить какое из условий задания я не выполнил!

  public class D
{
    private string i = string.Empty;
        public D() { val = i; }
        public string val;

        public static bool flag = false;
        public static implicit operator string(D a)
        {
            if (!flag)
            {
                flag = true;
                return "A";
            }
            return "B";
        }



}
public class C :D
{
    public static bool Istina()
    {
        return A.GetName() == "A" && B.GetName() == "B";
    }
    public static string GetName()
    {
        return new D();
    }
}
public class A : C
{

}

public class B : C
{

}
5
  • Потом увидел у Monk, намного проще можно было реализовать) 18 ноя 2016 в 10:55
  • например: не создавая экземпляров описанных классов, new C создает экземпляр описанного класса :)
    – Grundy
    18 ноя 2016 в 10:56
  • @Grundy из задачи понял что речь о классах A и B 18 ноя 2016 в 10:58
  • Тут да, очередной спорный момент :)
    – Grundy
    18 ноя 2016 в 10:59
  • @Grundy убрал противоречия с условием) 18 ноя 2016 в 11:06

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.