Typy generyczne

Question

Cześć, zacząłem typy generyczne, poczytałem o nich trochę, porobiłem jakieś proste przykłady, ale natrafiłem na problem z przykładem do rozwiązania, gdzie mam poprawić kod tak, aby mógł się skompilować, siedzę na tym od kilku h, kombinuje i klops. Czy ktoś mógłby mi powiedzieć/podpowiedzieć co należy zrobić, aby kod się skompilował? 

class Program
    {
        public static T GetObjectOrNull<T>(bool getNull)
        {
            if (getNull)
            {
                return null;
            }
            else
                return new Tr();
        }

        static void Main(string[] args)
        {
            Tr tr;
            GetObjectOrNull<T>(true);
        }
    }

Tr tr -> to jest obiekt tr klasy Tr, który utworzyłem, gdyż myślałem, że to pomoże. Próbowałem rzutowani, też nie działa. Błąd jest z nullem i utworzeniem nowego obiektu Tr z bloku else.Z góry dziękuję za pomoc. 

Comments

Cześć,

Jeżeli dobrze zrozumiałem to powyższy kod został przez ciebie trochę zmieniony względem oryginalnej treści zadania ? Jak wyglądała oryginalna treść zadania ?

Pozdrawiam aeragram

Answer 1

Zakładając że gdzieś wyżej jest konkretna klasa Tr:

public class Tr
{
  // stuff
}

Argumentem szablonu powinien być już konkretny typ, więc:

GetObjectOrNull<Tr>(true);
GetObjectOrNull<List<int>>(true);
// etc

A metoda powinna pewnie zwracać argument typu, który sobie zażyczyliśmy, więc nie

return new Tr();

tylko

return new T();

Wtedy kod ma sens. Kompilator wciąż rzuca dwa błędy, ale są już dość czytelne i mówią jak je poprawić.

Comments

w zasadzie to mam tylko metodę statyczną, gdzie jest wyżej instrukcja warunkowa, klasa Tr jest wymyslona przeze mnie. Ja muszę stwierdzić, dlaczego kod w metodzie się nie kompiluje oraz co muszę zrobić, aby był poprawny.

---

w zasadzie to mam tylko metodę statyczną, gdzie jest wyżej instrukcja warunkowa, 

No tak.

klasa Tr jest wymyslona przeze mnie

OK, ale rozumiem że to jest jakaś konkretna klasa która faktycznie istnieje gdzieś w kodzie (`public class Tr`).

Ja muszę stwierdzić, dlaczego kod w metodzie się nie kompiluje oraz co muszę zrobić, aby był poprawny.

Moja odpowiedź na to znajduje się powyżej ;)

---

Racja, czasami mam problemy z czytaniem ze zrozumieniem. Wykombinowałem takie coś. Zmieniłem nazwę klasy Tr na Objecy (dla swojej czytelności), w klasie nie ma absolutnie nic.

A kod programu tak się prezentuje, wydaje się działać.

class Program
    {
        public static Objecy GetObjectOrNull<Objecy>(bool getNull) where Objecy : new()
        {
            if (getNull)
            {
                return default(Objecy);           
            }
            else
            {
                return new Objecy();
            }                
        }

        static void Main(string[] args)
        {
            Console.WriteLine(GetObjectOrNull<Objecy>(false).ToString());
            Console.ReadKey();
        }
    }

 

---

No i to już prawie to (dla konwencji polecam jednak pisać T zamiast `Objecy`, cokolwiek to znaczy), tylko z jedną zasadniczą rzeczą jest problem:

GetObjectOrNull<Objecy>(false).ToString()

Jak już wywołujesz generyczną metodę, to chcesz już dostać w wyniku rzecz *konkretnego* typu. `Objecy` był tylko argumentem szablonu, tutaj musisz przekazać już jakiś faktyczny argument do tego szablonu.

Answer 2

Cześć,

Jeżeli oryginalna treść zadania wyglądała tak:

public static T GetObjectOrNull<T>(bool getNull)
{
    if (getNull) return null;
    else return new T();
}

to rozwiązaniem problemu jest dodanie ograniczeń typu generycznego w taki sposób:

public static T GetObjectOrNull<T>(bool getNull) where T:class,new()
{
    if (getNull) return null;
    else return new T();
}

Dlaczego ?

Po pierwsze typ <T> może być dowolnym typem, a to oznacza, że może być też typem wartościowym (np. integer), który nie może przyjmować wartości null, dlatego kompilator widzi błąd dla 'return null'. Żeby temu zapobiec możemy ograniczyć typy generyczne wyłącznie do typów referencyjnych używając 'where T:class'.

Po drugie typ <T> jako dowolny typ, może posiadać prywatny konstruktor co powoduje, że próba utworzenia instancji typu <T> zakończy się niepowodzeniem (bo nie widzimy konstruktora i nie możemy wykonać 'new T()' ). Rozwiązaniem tego problemu jest użycie dodatkowo 'where T:new()', co ogranicza typy generyczne do takich, które posiadają publiczny bezparametrowy konstruktor. 

Warto przeczytać ten tekst.

Pozdrawiam aeragram

Answer 3

Możesz podać przy definicji metody możesz podać

where T:Tr