Přetížení operátoru
Přetížení operátoru umožňuje, aby se typy architektur jeví jako předdefinování primitiv jazyka.
Přestože jsou v některých situacích povolená a užitečná, přetížení operátorů by se měla používat opatrně. Existuje mnoho případů, kdy bylo přetěžování operátorů zneužívána, například když návrháři architektury začali používat operátory pro operace, které by měly být jednoduchými metodami. Následující pokyny by vám měly pomoci při rozhodování, kdy a jak použít přetížení operátoru.
❌ VYHNĚTE se definování přetížení operátoru s výjimkou typů, které by měly vypadat jako primitivní (vestavěné) typy.
✔️ ZVAŽTE definování přetížení operátoru v typu, který by měl vypadat jako primitivní typ.
Například má a System.Stringoperator== definované operator!= .
✔️ DEFINUJTE přetížení operátoru ve strukturách, které představují čísla (například System.Decimal).
❌ PŘI definování přetížení operátoru BUĎTE ROZTOMILÍ.
Přetížení operátoru je užitečné v případech, kdy je okamžitě zřejmé, jaký bude výsledek operace. Například dává smysl, aby bylo možné odečíst DateTime od druhého DateTime a získat TimeSpan. Není však vhodné použít operátor logického sjednotání ke sjednocení dvou databázových dotazů nebo použít operátor shift k zápisu do datového proudu.
❌ NEPOSKYTUJTE přetížení operátoru, pokud alespoň jeden z operandů není typu definující přetížení.
✔️ Operátory přetížení DO symetrickým způsobem.
Pokud například přetížíte operator==, měli byste také přetížit operator!=. Podobně pokud přetížíte operator<, měli byste také přetížit operator>, a tak dále.
✔️ ZVAŽTE poskytnutí metod s popisných názvů, které odpovídají jednotlivým přetíženým operátorem.
Mnoho jazyků nepodporuje přetížení operátoru. Z tohoto důvodu se doporučuje, aby typy, které přetěžují operátory, zahrnovaly sekundární metodu s příslušným názvem specifickým pro doménu, která poskytuje ekvivalentní funkce.
Následující tabulka obsahuje seznam operátorů a odpovídající popisné názvy metod.
| Symbol operátoru jazyka C# | Název metadat | Popisný název |
|---|---|---|
N/A |
op_Implicit |
To<TypeName>/From<TypeName> |
N/A |
op_Explicit |
To<TypeName>/From<TypeName> |
+ (binary) |
op_Addition |
Add |
- (binary) |
op_Subtraction |
Subtract |
* (binary) |
op_Multiply |
Multiply |
/ |
op_Division |
Divide |
% |
op_Modulus |
Mod or Remainder |
^ |
op_ExclusiveOr |
Xor |
& (binary) |
op_BitwiseAnd |
BitwiseAnd |
| |
op_BitwiseOr |
BitwiseOr |
&& |
op_LogicalAnd |
And |
|| |
op_LogicalOr |
Or |
= |
op_Assign |
Assign |
<< |
op_LeftShift |
LeftShift |
>> |
op_RightShift |
RightShift |
N/A |
op_SignedRightShift |
SignedRightShift |
N/A |
op_UnsignedRightShift |
UnsignedRightShift |
== |
op_Equality |
Equals |
!= |
op_Inequality |
Equals |
> |
op_GreaterThan |
CompareTo |
< |
op_LessThan |
CompareTo |
>= |
op_GreaterThanOrEqual |
CompareTo |
<= |
op_LessThanOrEqual |
CompareTo |
*= |
op_MultiplicationAssignment |
Multiply |
-= |
op_SubtractionAssignment |
Subtract |
^= |
op_ExclusiveOrAssignment |
Xor |
<<= |
op_LeftShiftAssignment |
LeftShift |
%= |
op_ModulusAssignment |
Mod |
+= |
op_AdditionAssignment |
Add |
&= |
op_BitwiseAndAssignment |
BitwiseAnd |
|= |
op_BitwiseOrAssignment |
BitwiseOr |
, |
op_Comma |
Comma |
/= |
op_DivisionAssignment |
Divide |
-- |
op_Decrement |
Decrement |
++ |
op_Increment |
Increment |
- (unary) |
op_UnaryNegation |
Negate |
+ (unary) |
op_UnaryPlus |
Plus |
~ |
op_OnesComplement |
OnesComplement |
Přetěžování – operátor ==
Přetížení je operator == poměrně složité. Sémantika operátoru musí být kompatibilní s několika dalšími členy, například Object.Equals.
Operátory převodu
Operátory převodu jsou unární operátory, které umožňují převod z jednoho typu na jiný. Operátory musí být definovány jako statické členy na operandu nebo návratový typ. Existují dva typy operátorů převodu: implicitní a explicitní.
❌ NEPOSKYTOVAT operátor převodu, pokud koncový uživatel takový převod jasně neočekává.
❌ NEDEFINUJTE operátory převodu mimo doménu typu.
Například , Int32a jsou všechny Decimal číselné typy, zatímco DateTimeDoublenení. Proto by neměl být k dispozici žádný operátor převodu pro převod Double(long) typu na DateTime. V takovém případě je upřednostňovaný konstruktor.
❌ NEPOSKYTOVAT implicitní operátor převodu, pokud je převod potenciálně ztrátový.
Například by neměl být implicitní převod z Double na , protože Double má širší rozsah než Int32Int32 . Explicitní operátor převodu lze poskytnuta i v případě, že převod může být ztrátový.
❌ NEVYHAZUJTE výjimky z implicitního přetypování.
Pro koncové uživatele je velmi obtížné pochopit, co se děje, protože nemusí vědět, že probíhá převod.
✔️ POKUD volání System.InvalidCastException operátoru přetypování vede ke ztrátě převodu a kontrakt operátoru neumožňuje ztrátové převody.
© Části 2005, 2009 Microsoft Corporation. All rights reserved.
Reprinted by permission of Pearson Education, Inc. from Framework Design Guidelines: Conventions, Idioms, and Patterns for Reusable .NET Libraries, 2nd Edition by Krzysszof Cwa zachycuje a Brad Abrams, publikovaný 22. října 2008 společností Addison-Wesley Professional v rámci programu Microsoft Windows Development Series.