приведение параметра типа к базовому типу без упаковки - PullRequest
Новая
       22

приведение параметра типа к базовому типу без упаковки

2 голосов
/ 26 января 2011

Есть ли способ сделать код, подобный следующему: 

public class Func2<A, B>
{
    private Func<A, B> f;

    public Func2(Func<A, B> f)
    {
        this.f = f;
    }

    public object invoke(object obj, long l)
    {
        if (typeof(B) == typeof(long))
        {
            if (obj != null)
                l = (long)obj;
            return f((B)l); //error! cannot convert type 'long' to 'B'
        } else {
            return f((B)obj);
        }
    }
}

Проблема здесь в том, что я не могу напрямую привести B к long без приведения B к объекту первым.Я стараюсь любой ценой избавиться от необходимости создавать боксы, так как это значительно замедлит быстрые операции с функциями.Так есть ли способ достичь этого?

Я знаю, что мог бы на самом деле определить специализированный Func2, чтобы конкретно обрабатывать случай, когда B длинная.Но по мере роста арности функции комбинация длинных и объектов растет экспоненциально - и в реальном случае использования я хочу также поддерживать двойные значения!Есть ли способ поддержать это без бокса?Может быть, с небезопасным кодом?

Спасибо!Cauê

Ответы [ 2 ]

3 голосов
/ 26 января 2011

Вы можете перегрузить метод, и вместо приведения значения long к A вы можете привести делегата к Func<long, B>: 

public class Func2<A, B> {

  private Func<A, B> f;

  public Func2(Func<A, B> f) {
    this.f = f;
  }

  public B invoke(long a) {
    if (typeof(A) == typeof(long)) {
      return (f as Func<long, B>)(a);
    } else {
      throw new NotSupportedException();
    }
  }

  public B invoke(object a) {
    return f((A)a);
  }

}

Пример: 

Func2<long, string> f = new Func2<long, string>(l => l.ToString());

Console.WriteLine(f.invoke(42)); // calls the invoke(long) method
Console.WriteLine(f.invoke("x")); // calls the invoke(object) method
0 голосов
/ 26 января 2011

Только что узнал ответ! :) 

public object invoke(object obj, long l)
{
    if (typeof(B) == typeof(long))
    {
        if (obj != null)
            l = (long)obj;
        Func<A, long> x = (Func<A, long>)(object)f;
        return x(l);
    } else {
        return f((B)obj);
    }
}

Таким образом, нам не нужно автоматически вставлять long в объект, но мы фактически приводим тип Func для получения указанного нами long!

Что касается того, почему я пытаюсь это сделать, прочитайте приведенный выше комментарий, и я все равно буду пытаться найти лучший способ сделать это.

На данный момент у нас есть следующий код Haxe: 

var f:Int->Int->Float = function(x:Int, y:Int) return x + y + 0.5;
var f2:Dynamic->Dynamic->Dynamic = f; // ok
var f3:Dynamic->Int->Dynamic = f; //also ok
f2(10, 30); // ok - this will box the 10 and 30

То, что я пытаюсь сделать, - это создать тип Fun3, который имеет вызов invoke, который будет принимать как упакованные, так и незаписанные аргументы. Если базовая функция действительно принимает распакованные типы, она сначала попытается использовать их.

...