Bazaarvoice kann jeden Wert für den Typ-Parameter unterstützen, allerdings finden Sie in der folgenden Liste empfohlene Werte für bestimmte Konversionsarten.
Bazaarvoice can support any value for the type parameter, but the following list provides recommended values for specified conversion types.
Angenommen, der Typ-Parameter der Klasse Box ist durch class Box[-A] kontravariant annotiert.
Assume that the type parameter of class Box is declared contravariant by class Box[-A].
Der für den Typ-Parameter angegebene Wert ist ungültig. Geben Sie einen der folgenden Parametertypen an: Report, Form, Query oder Table.
The value specified for the Type parameter is invalid. Specify one of the following: Report, Form, Query, or Table.
Diese Konventionen sind bei der Entscheidung für oder gegen Typ-Parameter zu berücksichtigen.
Der Compiler prüft mit einer Reihe von Regeln, wie die Typ-Parameter in einer Klasse verwendet werden.
The compiler checks with specific rules how the type parameters are used in a generic class.
Eigene Klassen mit Typ-Parameter sind schwierig zu programmieren, der entstehende Code wird oft schwer verständlich.
Own generic classes with type parameters are hard to code, and the result is often hard to understand.
Es ist aber erlaubt, den Typ-Parameter A als untere Schranke für die neue und invariante Variable B zu verwenden.
It is nevertheless allowed to use A as lower bound for the new and invariant type parameter B.
Solche Typ-Parameter müssen in der Definition einer Klasse deklariert werden, und sind bei Verwendung der Klasse an einen konkreten Typ zu binden.
Those type parameters must be declared in the definition of a class, and must be bound to a real type when instantiating that class.
Wie habt ihr Typ-Parameter verwendet?
How have you used type parameters?
Invariante Typ-Parameter sind überall erlaubt
Invariant type parameters can be used everywhere
Mittlerweile stehe ich persönlich domänenspezifischem Code äußerst skeptisch gegenüber, der Typ-Parameter intensiv nutzt.
Meanwhile, I am fairly skeptical towards domain-specific code that makes heavy use of generic types.
Dieser Post befasst sich mit diesen Frage, nachdem im letzten Post Typ-Parameter und Varianz-Annotationen beleuchtet wurden.
This post addresses this questions, not that the previous post has dealt with introducing type parameters and their variance annotations.
Wie das Typ-Checking der Typ-Parameter funktioniert, und wie sich diese Checks aus dem Subtyp-Polimorphismus heraus motivieren, werde ich erst im nächsten Post beleuchten.
How the type checking of these type parameters works and how these checks can be explained by subtype polymorphism is a topic I will cover in the next blog post.
