mcs/docs/ecma334/14.7.4.xml

   1 <?xml version="1.0"?>
   2 <clause number="14.7.4" title="Addition operator">
   3   <paragraph>For an operation of the form x + y, binary operator overload resolution (<hyperlink>14.2.4</hyperlink>) is applied to select a specific operator implementation. The operands are converted to the parameter types of the selected operator, and the type of the result is the return type of the operator. </paragraph>
   4   <paragraph>The predefined addition operators are listed below. For numeric and enumeration types, the predefined addition operators compute the sum of the two operands. When one or both operands are of type string, the predefined addition operators concatenate the string representation of the operands. <list><list_item> Integer addition: <code_example><![CDATA[
   5 int operator +(int x, int y);
   6 uint operator +(uint x, uint y);
   7 long operator +(long x, long y);
   8 ulong operator +(ulong x, ulong y);
   9 ]]></code_example>In a checked context, if the sum is outside the range of the result type, a System.OverflowException is thrown. In an unchecked context, overflows are not reported and any significant high-order bits outside the range of the result type are discarded. </list_item><list_item> Floating-point addition: <code_example><![CDATA[
  10 float operator +(float x, float y);
  11 double operator +(double x, double y);
  12 ]]></code_example>The sum is computed according to the rules of IEEE 754 arithmetic. The following table lists the results of all possible combinations of nonzero finite values, zeros, infinities, and NaN's. In the table, x and y are nonzero finite values, and z is the result of x + y. If x and y have the same magnitude but opposite signs, z is positive zero. If x + y is too large to represent in the destination type, z is an infinity with the same sign as x + y. If x + y is too small to represent in the destination type, z is a zero with the same sign as x + y. <table_line>y +0 <unicode>150</unicode>0 +<infinity/> <unicode>150</unicode><infinity/> NaN </table_line>
  13 <table_line>x z x x +<infinity/> <unicode>150</unicode><infinity/> NaN </table_line>
  14 <table_line>+0 y +0 +0 +<infinity/> <unicode>150</unicode><infinity/> NaN </table_line>
  15 <table_line><unicode>150</unicode>0 y +0 <unicode>150</unicode>0 +<infinity/><unicode>150</unicode><infinity/> NaN </table_line>
  16 <table_line>+<infinity/> +<infinity/> +<infinity/> +<infinity/> +<infinity/> NaN NaN </table_line>
  17 <table_line><unicode>150</unicode><infinity/><unicode>150</unicode><infinity/><unicode>150</unicode><infinity/><unicode>150</unicode><infinity/> NaN <unicode>150</unicode><infinity/> NaN </table_line>
  18 <table_line>NaN NaN NaN NaN NaN NaN NaN </table_line>
  19 </list_item><list_item> Decimal addition: <code_example><![CDATA[
  20 decimal operator +(decimal x, decimal y);
  21 ]]></code_example>If the resulting value is too large to represent in the <keyword>decimal</keyword> format, a System.OverflowException is thrown. The scale of the result, before any rounding, is the larger of the scales of the two operands. Decimal addition is equivalent to using the addition operator of type System.Decimal. </list_item><list_item> Enumeration addition. Every enumeration type implicitly provides the following predefined operators, where E is the enum type, and U is the underlying type of E: <code_example><![CDATA[
  22 E operator +(E x, U y);
  23 E operator +(U x, E y);
  24 ]]></code_example>The operators are evaluated exactly as (E)((U)x + (U)y). </list_item><list_item> String concatenation: <code_example><![CDATA[
  25 string operator +(string x, string y);
  26 string operator +(string x, object y);
  27 string operator +(object x, string y);
  28 ]]></code_example>The binary + operator performs string concatenation when one or both operands are of type string. If an operand of string concatenation is null, an empty string is substituted. Otherwise, any non-string argument is converted to its string representation by invoking the virtual ToString method inherited from type object. If ToString returns null, an empty string is substituted. <example>[Example: <code_example><![CDATA[
  29 using System;
  30 class Test
  31 {
  32    static void Main() {
  33       string s = null;
  34       Console.WriteLine("s = >" + s + "<"); // displays s = ><
  35       int i = 1;
  36       Console.WriteLine("i = " + i);      // displays i = 1
  37       float f = 1.2300E+15F;
  38       Console.WriteLine("f = " + f);      // displays f = 1.23E+15
  39       decimal d = 2.900m;
  40       Console.WriteLine("d = " + d);      // displays d = 2.900
  41    }
  42 }
  43 ]]></code_example>end example]</example> The result of the string concatenation operator is a string that consists of the characters of the left operand followed by the characters of the right operand. The string concatenation operator never returns a null value. A System.OutOfMemoryException may be thrown if there is not enough memory available to allocate the resulting string. </list_item><list_item> Delegate combination. Every delegate type implicitly provides the following predefined operator, where D is the delegate type: <code_example><![CDATA[
  44 D operator +(D x, D y);
  45 ]]></code_example>The binary + operator performs delegate combination when both operands are of some delegate type D. (If the operands have different delegate types, a compile-time error occurs.) If the first operand is null, the result of the operation is the value of the second operand (even if that is also null). Otherwise, if the second operand is null, then the result of the operation is the value of the first operand. Otherwise, the result of the operation is a new delegate instance that, when invoked, invokes the first operand and then invokes the second operand. <note>[Note: For examples of delegate combination, see <hyperlink>14.7.5</hyperlink> and <hyperlink>22.3</hyperlink>. Since System.Delegate is not a delegate type, operator + is not defined for it. end note]</note> </list_item></list></paragraph>
  46 </clause>