Могу ли я добавить неявное преобразование для двух классов, которые я непосредственно не контролирую?

Я хотел бы иметь возможность неявно преобразовывать между двумя классами, которые в противном случае несовместимы.

Один из классов - Microsoft.Xna.Framework.Vector3, а другой - класс Vector, используемый в проекте F #. Я пишу 3D-игру на С# с XNA, и, хотя она рисуется в 3D, геймплей проходит только в двух измерениях (это птичий глаз). Класс F # заботится о физике, используя 2D-вектор:

type Vector<'t when 't :> SuperUnit<'t>> =
    | Cartesian of 't * 't
    | Polar of 't * float
    member this.magnitude =
        match this with
        | Cartesian(x, y) -> x.newValue(sqrt (x.units ** 2.0 + y.units ** 2.0))
        | Polar(m, _) -> m.newValue(m.units)
    member this.direction =
        match this with
        | Cartesian(x, y) -> tan(y.units / x.units)
        | Polar(_, d) -> d
    member this.x =
        match this with
        | Cartesian(x, _) -> x
        | Polar(m, d) -> m.newValue(m.units * cos(d))
    member this.y =
        match this with
        | Cartesian(_, y) -> y
        | Polar(m, d) -> m.newValue(m.units * sin(d))

Этот векторный класс использует единую систему, используемую в проекте физики, которая принимает собственные единицы измерения F # и группирует их вместе (единицы измерения расстояния, времени, массы и т.д.).

Но XNA использует свой собственный класс Vector3. Я хочу добавить неявное преобразование из F # Vector в XNA Vector3, которое заботится о двух измерениях, в которых происходит игровой процесс, какая ось "вверх" и т.д. Это было бы просто, просто Vector v -> new Vector3(v.x, v.y, 0) или что-то.

Я не могу понять, как это сделать. Я не могу добавить неявное преобразование в F #, потому что система типов (по праву) не позволяет этого. Я не могу добавить его в класс Vector3, потому что это часть библиотеки XNA. Насколько я могу судить, я не могу использовать метод расширения:

class CsToFs
{
    public static implicit operator Vector3(this Vector<Distance> v)
    {
        //...
    }
}

Является ошибкой ключевого слова this и

class CsToFs
{
    public static implicit operator Vector3(Vector<Distance> v)
    {
        return new Vector3((float)v.x.units, (float)v.y.units, 0);
    }

    public static void test()
    {
        var v = Vector<Distance>.NewCartesian(Distance.Meters(0), Distance.Meters(0));
        Vector3 a;
        a = v;
    }
}

- ошибка на a = v; (не может неявно преобразовать...).

Есть ли способ сделать это, не имея возможности поставить бросок в любом из классов? В крайнем случае я мог бы open Microsoft.Xna.Framework и сделать преобразование в F #, но это кажется мне неправильным - библиотека физики не должна знать или заботиться о том, какие рамки я использую для написания игры.

Ответ 1

Нет, вы не можете. Неявный оператор должен быть определен как член одного из классов. Однако вы можете определить метод расширения (ваш пример не работал, поскольку методы расширения должны быть в public static class).

public static class ConverterExtensions
{
    public static Vector ToVector (this Vector3 input)
    {
      //convert
    }
}

Ответ 2

В С# вы не можете. Вы можете предоставить типы потомков, которые имеют дополнительные преобразования (при условии, что типы не запечатаны); Или вы можете предоставить общий класс-оболочку, который каким-то образом добавляет преобразование.

Удобство всего этого зависит от способа использования этих оболочек/адаптаций с оригинальными API-интерфейсами.

В другой заметке Я вижу, что вы используете F #. Предполагается, что IIRC F # имеет некоторый уровень метапрограммирования (например, многие функциональные языки для .NET, такие как Boo и Nemerle). Меня это не удивило бы, если бы это можно было использовать здесь. К сожалению, мой F не достаточно острый, чтобы помочь там