Использование индексированных свойств F # в типе

Question

Я пытаюсь преобразовать следующий C # в F #:

    public class Matrix
    {
       double[,] matrix;

public int Cols
        {
            get
            {
                return this.matrix.GetUpperBound(1) + 1;
            }
        }

public int Rows
        {
            get
            {
                return this.matrix.GetUpperBound(0) + 1;
            }
        }

       public Matrix(double[,] sourceMatrix)
       {
        this.matrix = new double[sourceMatrix.GetUpperBound(0) + 1, sourceMatrix.GetUpperBound(1) + 1];
        for (int r = 0; r < this.Rows; r++)
        {
            for (int c = 0; c < this.Cols; c++)
            {
                this[r, c] = sourceMatrix[r, c];
            }
        }
       }

       public double this[int row, int col]
       {
         get
         {
             return this.matrix[row, col];
         }
         set
         {
             this.matrix[row, col] = value;
         }
       }
     }

Это то, что у меня есть до сих пор:

type Matrix(sourceMatrix:double[,]) =
let mutable (matrix:double[,]) = Array2D.create (sourceMatrix.GetUpperBound(0) + 1) (sourceMatrix.GetUpperBound(1) + 1) 0.0
member this.Item
    with get(x, y) = matrix.[(x, y)]
    and set(x, y) value = matrix.[(x, y)] <- value
do
    for i = 0 to matrix.[i].Length - 1 do
    for j = (i + 1) to matrix.[j].Length - 1 do
        this.[i].[j] = matrix.[i].[j]

У моего типа выше есть две проблемы:Я не уверен, как решить.Во-первых, ожидается, что матрица. [(X, y)] будет иметь тип `a [], но будет иметь тип double [,].Во-вторых, определения типов должны иметь привязки let / do, предшествующие определениям членов и интерфейсов.Проблема в том, что я пытаюсь заполнить индексированное свойство в блоке do, что означает, что я должен сначала создать его.

Заранее спасибо,

Bob

Answer 1

Что касается вашей первой проблемы, вы хотите использовать matrix.[x,y] вместо matrix.[(x,y)] - ваша матрица индексируется двумя целыми числами, а не кортежем целых (хотя они концептуально схожи).

Вотчто-то примерно эквивалентное вашему C #:

type Matrix(sourceMatrix:double[,]) =
  let rows = sourceMatrix.GetUpperBound(0) + 1
  let cols = sourceMatrix.GetUpperBound(1) + 1
  let matrix = Array2D.zeroCreate<double> rows cols
  do
    for i in 0 .. rows - 1 do
    for j in 0 .. cols - 1 do
      matrix.[i,j] <- sourceMatrix.[i,j]
  member this.Rows = rows
  member this.Cols = cols
  member this.Item
    with get(x, y) = matrix.[x, y]
     and set(x, y) value = matrix.[x, y] <- value

Это предполагает, что ваша матрица не может быть переназначена (например, в опубликованном вами C # вы могли бы сделать ваше поле matrix readonly -если нет дополнительного кода, который вы скрыли).Поэтому число строк и столбцов можно вычислить один раз в конструкторе, поскольку элементы матрицы могут измениться, но ее размер не изменится.

Однако, если вы хотите более буквальный перевод вашего кода, выможет дать вашему вновь созданному экземпляру имя (в данном случае this):

type Matrix(sourceMatrix:double[,]) as this =
  let mutable matrix = Array2D.zeroCreate<double> (sourceMatrix.GetUpperBound(0) + 1) (sourceMatrix.GetUpperBound(1) + 1)
  do
    for i in 0 .. this.Rows - 1 do
    for j in 0 .. this.Cols - 1 do
      this.[i,j] <- sourceMatrix.[i,j]
  member this.Rows = matrix.GetUpperBound(0) + 1
  member this.Cols = matrix.GetUpperBound(1) + 1
  member this.Item
    with get(x, y) = matrix.[x, y]
     and set(x, y) value = matrix.[x, y] <- value

Answer 2

type Matrix(sourceMatrix:double[,]) =
    let matrix = Array2D.copy sourceMatrix
    member this.Item
        with get(x, y) = matrix.[x, y]
        and set(x, y) value = matrix.[x, y] <- value