¿Es posible que un objeto tenga acceso a un campo/función privada de otro objeto de la misma clase?

Question

Sé que esto es posible en C#, que produce un código simple y eficiente. --- Dos objetos de la misma clase pueden acceder a las partes privadas de cada uno.

class c1 
{ 
    private int A; 

    public void test(c1 c) 
    { 
     c.A = 5; 
    } 
} 

Pero parece imposible en F #, ¿es cierto?

type c1() 
    let A = 0 
    member test (c: c1) = c.A 

Answer 1

Interesante pregunta. Parece que funciona con un campo explícita pero no con la unión let:

// Works 
type c1 = 
    val private A : int 
    new(a) = { A = a } 
    member m.test(c : c1) = c.A 

let someC1 = new c1(1) 
let someMoreC1 = new c1(42); 
let theAnswer = someC1.test someMoreC1 

// Doesn't work 
type c2() = 
    let mutable A = 42 
    // Compiler error: The field, constructor or member 'A' is not defined 
    member m.test(c : c2) = c.A 

Answer 2

Usted sólo tiene que utilizar a directamente en un método de instancia

type c1() 
    let A = 0 
    member x.test = A 

Para un método estático esto no funciona como se permiten enlaces son ligeramente diferente - entonces usted necesita una definición de clase como

type c1() 
    private member x.A = 0 
    static member test (A:c1) = A.A 

Answer 3

Sí, pero en su ejemplo A no es semánticamente un miembro privado de c1, es más como una variable local del constructor.

@afrischke da un ejemplo de cómo definir c1 con un miembro privado real A (usando los campos val).

Answer 4

Como la sección 8.6.1 0.3 de los estados # spec F:

Las funciones y valores definidos por las definiciones de instancia están en el ámbito léxico (y por lo tanto implícitamente privado) al objeto que se está definiendo.

Answer 5

Esto es posible y que es ampliamente utilizado, por ejemplo, para comprobar la igualdad miembro por miembro:

type c1 = 
    member private this.A = 0 
    interface IEquatable<c1> with 
     member this.Equals (that: c1) = this.A = that.A 
    // of course, it can be done in a regular method as well 
    member this.Equals (that: c1) = this.A = that.A