[C#] 일반 방법을 숫자 유형으로 제한하는 제약 조건이 있습니까?

이 질문의 인기와 그러한 기능에 대한 관심을 고려할 때 T4와 관련된 답변이 아직 없다는 사실에 놀랐습니다.

이 샘플 코드에서는 강력한 템플릿 엔진을 사용하여 컴파일러가 제네릭을 사용하여이면에서 수행하는 작업을 수행하는 방법에 대한 매우 간단한 예를 보여 드리겠습니다.

후프를 거치지 않고 컴파일 타임 확실성을 희생하는 대신 원하는 모든 유형에 대해 원하는 함수를 생성하고 그에 따라 컴파일 타임에 사용할 수 있습니다.

이렇게하려면 :

• GenericNumberMethodTemplate.tt 라는 새 텍스트 템플릿 파일을 만듭니다. .
• 자동 생성 된 코드를 제거하십시오 (대부분의 코드는 유지하지만 일부는 필요하지 않습니다).
• 다음 스 니펫을 추가하십시오.

<#@ template language="C#" #>
<#@ output extension=".cs" #>
<#@ assembly name="System.Core" #>

<# Type[] types = new[] {
    typeof(Int16), typeof(Int32), typeof(Int64),
    typeof(UInt16), typeof(UInt32), typeof(UInt64)
    };
#>

using System;
public static class MaxMath {
    <# foreach (var type in types) {
    #>
        public static <#= type.Name #> Max (<#= type.Name #> val1, <#= type.Name #> val2) {
            return val1 > val2 ? val1 : val2;
        }
    <#
    } #>
}

그게 다야. 이제 끝났습니다.

이 파일을 저장하면 자동으로이 소스 파일로 컴파일됩니다.

using System;
public static class MaxMath {
    public static Int16 Max (Int16 val1, Int16 val2) {
        return val1 > val2 ? val1 : val2;
    }
    public static Int32 Max (Int32 val1, Int32 val2) {
        return val1 > val2 ? val1 : val2;
    }
    public static Int64 Max (Int64 val1, Int64 val2) {
        return val1 > val2 ? val1 : val2;
    }
    public static UInt16 Max (UInt16 val1, UInt16 val2) {
        return val1 > val2 ? val1 : val2;
    }
    public static UInt32 Max (UInt32 val1, UInt32 val2) {
        return val1 > val2 ? val1 : val2;
    }
    public static UInt64 Max (UInt64 val1, UInt64 val2) {
        return val1 > val2 ? val1 : val2;
    }
}

당신에 main방법 당신은 당신이 컴파일 시간의 확실성을 확인할 수 있습니다 :

namespace TTTTTest
{
    class Program
    {
        static void Main(string[] args)
        {
            long val1 = 5L;
            long val2 = 10L;
            Console.WriteLine(MaxMath.Max(val1, val2));
            Console.Read();
        }
    }
}

한 가지 언급을 할 것입니다. 아니요, 이것은 DRY 원칙을 위반하지 않습니다. DRY 원칙은 사람들이 여러 위치에서 코드를 복제하여 응용 프로그램을 유지 관리하기 어렵게 만드는 것을 방지하기위한 것입니다.

여기에 모든 경우가있는 것은 아닙니다. 변경을 원한다면 템플릿 (모든 세대를위한 단일 소스) 만 변경하면됩니다.

고유 한 사용자 정의 정의와 함께 사용하려면 생성 된 코드에 네임 스페이스 선언을 추가하고 (자체 구현을 정의 할 이름과 동일한 지 확인) 클래스를로 표시하십시오 partial. 그런 다음 템플릿 파일에 다음 줄을 추가하면 최종 컴파일에 포함됩니다.

<#@ import namespace="TheNameSpaceYouWillUse" #>
<#@ assembly name="$(TargetPath)" #>

솔직하게 말하자 : 이것은 꽤 멋지다.

면책 조항 :이 샘플은 Kevin Hazzard와 Manning Publications의 Jason Bock에 의해 .NET의 Metaprogramming에 크게 영향을 받았습니다 .

답변

static bool GenericFunction<T>(T value)
    where T : operators( +, -, /, * )

static bool GenericFunction<T>(T value)
    where T : Add, Subtract

interface INumericPolicy<T>
{
    T Zero();
    T Add(T a, T b);
    // add more functions here, such as multiplication etc.
}

struct NumericPolicies:
    INumericPolicy<int>,
    INumericPolicy<long>
    // add more INumericPolicy<> for different numeric types.
{
    int INumericPolicy<int>.Zero() { return 0; }
    long INumericPolicy<long>.Zero() { return 0; }
    int INumericPolicy<int>.Add(int a, int b) { return a + b; }
    long INumericPolicy<long>.Add(long a, long b) { return a + b; }
    // implement all functions from INumericPolicy<> interfaces.

    public static NumericPolicies Instance = new NumericPolicies();
}

static class Algorithms
{
    public static T Sum<P, T>(this P p, params T[] a)
        where P: INumericPolicy<T>
    {
        var r = p.Zero();
        foreach(var i in a)
        {
            r = p.Add(r, i);
        }
        return r;
    }

}

int i = NumericPolicies.Instance.Sum(1, 2, 3, 4, 5);
long l = NumericPolicies.Instance.Sum(1L, 2, 3, 4, 5);
NumericPolicies.Instance.Sum("www", "") // compile-time error.

dynamic x = ..., y = ...
dynamic result = x + y; // does what you expect

static bool IntegerFunction<T>(T value) where T : struct {
  if (typeof(T) != typeof(Int16)  &&
      typeof(T) != typeof(Int32)  &&
      typeof(T) != typeof(Int64)  &&
      typeof(T) != typeof(UInt16) &&
      typeof(T) != typeof(UInt32) &&
      typeof(T) != typeof(UInt64)) {
    throw new ArgumentException(
      string.Format("Type '{0}' is not valid.", typeof(T).ToString()));
  }

  // Rest of code...
}

static bool IntegerFunction<T>(T value) where T: struct

static bool IntegerFunction<T>(T value) where T: struct, IComparable
, IFormattable, IConvertible, IComparable<T>, IEquatable<T>