.NET Framework

Απ: Κληρονομικότητα και Generics

rousso — Fri, 27 Oct 2006 19:59:06 GMT

To θέμα που συζητάτε δεν έχει να κάνει με inheritance αλλά με variance σε generics.

Είναι documented στο MSDN και μπορείτε να δείτε εδώ τι λέει η MS για το θέμα: http://msdn2.microsoft.com/en-us/library/ms228359.aspx

Είναι πάντως ένας από τους βασικούς λόγους για τους οποίους δεν μπορείς προς το παρόν να κάνεις εκτεταμένη χρήση των generics. Όχι ότι δεν γίνεται τελικά. Απλά καταντάει πολύ πιο περίπλοκο από όσο χρειάζεται. Ελπίζω στο .Net 3 να έχει ξεπεραστεί κι αυτό.

Αυτό που προτέινει η mns παίζει σε επίπεδο hello wolrd και σε αντίστοιχες καταστάσεις αλλά τελικά όταν χρησιμοποιείες generics έχεις συνήθως κατί πολύ πιο περίπρλοκο στο μυαλό σου....

Το bottom line είναι ότι δεν υποστηρίζεται variance στα generics στο .Net framework 2.0. Οπότε ό,τι και να κάνεις σε αυτή την κατεύθυνση θα είναι κάποιου είδους workaround και θα εισάγει στο πρόβλημα που πας να λύσεις side-effects και overheads τόσο σε επίπεδο performance όσο και σε επίπεδο mainainance.

Απ: Κληρονομικότητα και Generics

nullvoid — Sat, 21 Oct 2006 04:15:19 GMT

ευχαριστώ για τις απαντήσεις, θα δοκιμάσω αυτή τη σύνταξη με το where.

Παράξενο πάντως να μην είναι συμβατοί οι τύποι, δε νομίζετε;

Απ: Κληρονομικότητα και Generics

PALLADIN — Fri, 20 Oct 2006 17:31:40 GMT

Covariant and contravariant generic type parameters υποστηρίζονται ήδη από το CLR 2.0 σε επίπεδο IL.

Απλά δεν υποστηρίζονται από τις mainstream γλώσσες (που γνωρίζω τουλάχιστον). Ελπίζουμε ότι στο μέλλον θα μας κάνουν το χατίρι. Όσοι όμως θέλουν να βουτήξουν "σήμερα" μπορούν να το κάνουν σε IL

Σύμφωνα με το paper η σύνταξη θα είναι

interface IEnumerator<+T>

ενώ σε IL

.class interface public abstract

'IEnumerator`1'<+([mscorlib]System.Object) T>

Απ: Κληρονομικότητα και Generics

KelMan — Fri, 20 Oct 2006 06:43:29 GMT

Ωραίο κόλπο! Δεν το ήξερα... Και απ'ότι είδα, μπορείς να ορίσεις και άλλα constraints όπως το T να είναι ή να έχει συγκεκριμένο τύπο, να έχει public constructor και να είναι value type ή reference type.

Απ: Κληρονομικότητα και Generics

Νατάσα Μανουσοπούλου — Fri, 20 Oct 2006 05:58:35 GMT

Επί της ουσίας τώρα, υπάρχει τρόπος να κάνεις αυτό που θέλεις: να κάνεις τη function να είναι κι αυτή generic, αλλά με περιορισμό στον τύπο της παραμέτρου της:

void MyFunction<T>(IEnumerable<T> param) where T : IMyInterface

Με αυτό τον τρόπο, μπορείς να της δώσεις για παράμετρο ένα οποιοδήποτε IEnumerable<T> που έχει γίνει instantiate με παράμετρο που υλοποιεί/κληρονομεί το IMyInterface.

Απ: Κληρονομικότητα και Generics

Νατάσα Μανουσοπούλου — Fri, 20 Oct 2006 05:35:31 GMT

PALLADIN wrote:
Όσοι θέλουν να το ψάξουν περαιτέρω: http://research.microsoft.com/~akenn/generics/ECOOP06.pdf

Θέλει λίγο προσοχή με το μαθηματικό notation...

Να την πω την κακία μου; Θα την πω. Το paper αυτό είναι εμφανώς γραμμένο σε LaTeX. Πώς τους επιτρέπουν τέτοιες ανταρσίες στο MS Research;

Απ: Κληρονομικότητα και Generics

Dimitris Papadimitriou — Fri, 20 Oct 2006 04:31:08 GMT

PALLADIN wrote:
Όσοι θέλουν να το ψάξουν περαιτέρω: http://research.microsoft.com/~akenn/generics/ECOOP06.pdf

Εγώ λέω να παρουσιάσεις αυτό το pdf στο επόμενο event. To event θα λέγεται: "Πως να συρικνώσετε ένα community"!!!

ΠΟΛΥ ψαγμένο!

Απ: Κληρονομικότητα και Generics

PALLADIN — Thu, 19 Oct 2006 20:57:05 GMT

Όσοι θέλουν να το ψάξουν περαιτέρω: http://research.microsoft.com/~akenn/generics/ECOOP06.pdf

Θέλει λίγο προσοχή με το μαθηματικό notation...

Απ: Κληρονομικότητα και Generics

PALLADIN — Thu, 19 Oct 2006 20:42:32 GMT

Δυστυχώς στην C# 2.0 τα generic types έχουν μια "σταθερότητα" όσον αφορά το subtyping. Ελπίζουμε σε κάποια μελλοντική έκδοση της γλώσσας να μας δώσουν και αυτή την ευκολία.

Απ: Κληρονομικότητα και Generics

objectref — Thu, 19 Oct 2006 20:27:20 GMT

nullvoid wrote:
έχουμε ένα interface ITest και μία κλάση που το υλοποιεί CTest

έχουμε και μία μέθοδο HelloWorld(IEnumerable<ITest> myenum)

και όταν πάω να κάνω HelloWorld(c) όπου c είναι IEnumerable<CTest> δε με αφήνει ο compiler.

Αν κάνω HelloWorld( (IEnumerable<ITest>) c ) τότε πετάει cast exception.

Γιατί δεν επιτρέπεται αυτού του είδους η κληρονομικότητα;

Καλο θα ειναι να δινουμε το code snippet εδω ωστε να μπορουν και οι αλλοι και να καταλαβαινουν γρηγορα τι γινεται αλλα και μ'ενα copy/paste στο VS να μπορουν να πειραματιστουν ωστε να μπορουν να βοηθησουν.

Τεσπα, κατι σαν το παρακατω κανεις ?

using System;

using System.Collections.Generic;

namespace ConsoleApplication6

{

class Program

{

static void Main(string[] args) {

IEnumerable<CTest> c = null; // put whatever valid here

CTest test = new CTest();

test.HelloWorld( (IEnumerable<ITest>) c);

//test.HelloWorld(c);

}

interface ITest { }

class CTest : ITest

{

public void HelloWorld(IEnumerable<ITest> myenum) { }

}

Απ: Κληρονομικότητα και Generics

KelMan — Thu, 19 Oct 2006 20:16:57 GMT

Αν κατάλαβα καλά τα παραπάνω, λογικό δεν είναι να συμβαίνει αυτό όταν προσπαθείς να περάσεις το c αφού είναι είναι ένα interface και όχι το instance από κάτι;

Κληρονομικότητα και Generics

nullvoid — Thu, 19 Oct 2006 19:29:50 GMT

έχουμε ένα interface ITest και μία κλάση που το υλοποιεί CTest

έχουμε και μία μέθοδο HelloWorld(IEnumerable<ITest> myenum)

και όταν πάω να κάνω HelloWorld(c) όπου c είναι IEnumerable<CTest> δε με αφήνει ο compiler.

Αν κάνω HelloWorld( (IEnumerable<ITest>) c ) τότε πετάει cast exception.

Γιατί δεν επιτρέπεται αυτού του είδους η κληρονομικότητα;