// (예제A) 제네릭 메서드 안에서 타입 T에 + 연산자를 사용하거나
//     혹은 0 할당을 하는 경우 에러 발생
T Add<T>(T a, T b)
{
    // 에러발생: CS0029: Cannot implicitly convert type 'int' to 'T'
    T result = 0;

    // 에러발생: CS0019: Operator '+' cannot be applied to operands of type 'T' and 'T'
    result = a + b;

    return result;
}

var res = Add<int>(1, 2);
Console.WriteLine(res);

// (예제B) 타입 T가 숫자 타입이라는 가정 하에 dynamic 타입을 사용
T Add<T>(T a, T b)
{
    dynamic da = a;
    dynamic db = b;
    return da + db;
}

// (예제C)
using System.Numerics;  // INumber 네임스페이스

T Add<T>(T a, T b) where T : INumber<T>  // Generic Constraint 지정
{
    T result = T.Zero; // 0 대신 T.Zero 사용
    result = a + b;    // + 연산자 직접 사용 가능
    return result;
}

// Add(int, double) 식으로도 호출 가능
var res = Add(1, 2.5);

(예제D) static virtual/static abstract 지원
 
    public interface INumber<TSelf>
        : IComparable,
            IComparable<TSelf>,
            IComparisonOperators<TSelf, TSelf, bool>,
            IModulusOperators<TSelf, TSelf, TSelf>,
            INumberBase<TSelf>
        where TSelf : INumber<TSelf>?
    {
        // ... 생략 ...

        static virtual TSelf Max(TSelf x, TSelf y)
        {
            // ...구현 내용 생략...
        }
    }

    public interface INumberBase<TSelf> {
        // ... 생략 ...

        static abstract TSelf Zero { get; }
        static abstract bool IsInteger(TSelf value);
    }

(예제E) checked user defined operator 지원

    // checked + operator (이것은 overflow를 체크함)
    static virtual TResult operator checked +(TSelf left, TOther right) 
        => left + right;

    // unchecked + operator (checked 키워드 없으면 unchecked)
    static abstract TResult operator +(TSelf left, TOther right);

(예제F) unsigned right-shift operator 지원

    int i = -8;      // fffffff8, 11111111111111111111111111111000

    // right-shift operator >> (왼쪽 비트가 1로 됨)
    int a = i >> 2;  // fffffffe, 11111111111111111111111111111110

    // unsigned right-shift operator >>>  (왼쪽 비트가 0이 됨)
    int b = i >>> 2; // 3ffffffe, 00111111111111111111111111111110

    Console.WriteLine($"{i:x},{a:x},{b:x}");