"classe A réussit classe B" signifie dans Scala référence?

Question

Dans la référence Scala 2.8, section 5.3.3 Page 69 (77 dans le pdf), le paragraphe suivant apparaît:

On suppose un trait D définit un aspect d'une instance de type xC (c.-à-D est une classe de base de C). Puis le supertype réel de D en est le composé type composé de toutes les classes de base en L(C) qui succèdent D.

Qu'est-ce que la notation L(C) moyens (dans le texte d'origine, il est un symbole \ell comme le capital calligraphique)? Qu'est-ce que l'expression "classes ... que succède àD" signifie? Je ne suis pas familier avec la notation.

Answer 1

En bout de ligne, L(C) est constitué de toutes les classes de base (la hiérarchie d'héritage de l'ensemble C, y compris les traits) affichés en tant que chaîne, avec Any en haut et en bas C. RéussiD signifie, est plus élevé dans la chaîne puisD. L'explication la plus longue est que nous voulons connaître, pour chaque classe, son "parent" - à des fins de mise en œuvre et de clarté générale (c'est terriblement désordonné en C++, où l'héritage multiple non borné est autorisé). En Java, c'est simple - vous n'avez qu'une seule superclasse directe. Cependant, en raison de la composition de classe de mixage dans Scala, qui est une forme d'héritage multiple (d'une superclasse + peut-être plusieurs traits), les classes de base de n'importe quelle classe forment un graphe acyclique dirigé. L (C) est la linéarisation des classes de base de C - en commençant par la superclasse, et en ajoutant les traits (et leurs classes de base) de telle sorte qu'ils forment une chaîne et chaque classe a ses propres classes de base. Vous pouvez en lire plus à ce sujet dans la section 6 de the overview of Scala. C'est un bon aperçu complet de la fonctionnalité.

Answer 2

L (C) est class linearization. Puis "réussit" en ce qui concerne la position dans la séquence de résultats. La linéarisation est définie au chapitre 5.1.2 de the spec.