Решение для ограничения перегруженного оператора в дженериках .NET
-
02-07-2019 - |
Вопрос
Что мне делать, если я хочу иметь универсальный метод, который принимает только те типы, которые перегрузили оператор, например оператор вычитания.Я пытался использовать интерфейс в качестве ограничения, но интерфейсы не могут иметь перегрузку операторов.
Каков наилучший способ добиться этого?
Решение
Немедленного ответа нет;операторы статичны и не могут быть выражены в ограничениях, а существующие примитивы не реализуют какой-либо конкретный интерфейс (в отличие от IComparable[<T>], который можно использовать для эмуляции «больше/меньше»).
Однако;если вы просто хотите, чтобы это работало, то в .NET 3.5 есть несколько вариантов...
Я собрал библиотеку здесь это обеспечивает эффективный и простой доступ к операторам с дженериками, например:
T result = Operator.Add(first, second); // implicit <T>; here
Его можно скачать как часть РазноеUtil
Кроме того, в C# 4.0 это становится возможным благодаря dynamic
:
static T Add<T>(T x, T y) {
dynamic dx = x, dy = y;
return dx + dy;
}
У меня также была (в какой-то момент) версия .NET 2.0, но она менее проверена.Другой вариант — создать интерфейс, например
interface ICalc<T>
{
T Add(T,T)()
T Subtract(T,T)()
}
и т. д., но тогда вам нужно пройти ICalc<T>;
всеми методами, что становится грязным.
Другие советы
Я обнаружил, что IL вполне с этим справляется.Бывший.
ldarg.0
ldarg.1
add
ret
Код, скомпилированный с помощью универсального метода, будет работать нормально, пока указан примитивный тип.Возможно, это можно будет расширить для вызова операторных функций для непримитивных типов.
Видеть здесь.
Из интернатов украден фрагмент кода, который я часто использую для этого.Он ищет или строит, используя IL
основные арифметические операторы.Все это делается в течение Operation<T>
универсальный класс, и все, что вам нужно сделать, это назначить необходимую операцию делегату.Нравиться add = Operation<double>.Add
.
Он используется следующим образом:
public struct MyPoint
{
public readonly double x, y;
public MyPoint(double x, double y) { this.x=x; this.y=y; }
// User types must have defined operators
public static MyPoint operator+(MyPoint a, MyPoint b)
{
return new MyPoint(a.x+b.x, a.y+b.y);
}
}
class Program
{
// Sample generic method using Operation<T>
public static T DoubleIt<T>(T a)
{
Func<T, T, T> add=Operation<T>.Add;
return add(a, a);
}
// Example of using generic math
static void Main(string[] args)
{
var x=DoubleIt(1); //add integers, x=2
var y=DoubleIt(Math.PI); //add doubles, y=6.2831853071795862
MyPoint P=new MyPoint(x, y);
var Q=DoubleIt(P); //add user types, Q=(4.0,12.566370614359172)
var s=DoubleIt("ABC"); //concatenate strings, s="ABCABC"
}
}
Operation<T>
Исходный код любезно предоставлен корзиной пасты: http://pastebin.com/nuqdeY8z
с указанием авторства ниже:
/* Copyright (C) 2007 The Trustees of Indiana University
*
* Use, modification and distribution is subject to the Boost Software
* License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
* http://www.boost.org/LICENSE_1_0.txt)
*
* Authors: Douglas Gregor
* Andrew Lumsdaine
*
* Url: http://www.osl.iu.edu/research/mpi.net/svn/
*
* This file provides the "Operations" class, which contains common
* reduction operations such as addition and multiplication for any
* type.
*
* This code was heavily influenced by Keith Farmer's
* Operator Overloading with Generics
* at http://www.codeproject.com/csharp/genericoperators.asp
*
* All MPI related code removed by ja72.
*/