S>>>Ты не можешь доказать физическую идентичность. Следовательно ее нет?

G>>>>

G>>

G>>На википедии кстати статьи про логическую эквивалентность нет, надо что-то кроме википедии читать

S>>>Ты не написал код, убеждающий в идентичности объекта самому себе строго

object identity — identity is that property of an object that distinguishes each object from all others

object identity — identity is that property of an object that distinguishes each object from all others

S>Верно. Тем более, в исправленной форме это следствие действительно упоминается неоднократно.

S>Компилировать FCL в C#-- не надо, нет такой цели

S>Ну дак мы их отличать можем в теории, по некой невычислимой функции. Существования такой функции достаточно, вычислимость ее — это просто очень полезный бонус

public class NonIdentic
{
  public int A { get; set; } 
}

...
var a = new NonIdentic();
var b = new NonIdentic();

var r1 = a.A; var r2 = b.A;
Debug.Assert(r1 == r2);

a.A = 1; b.A = 1;
var r1 = a.A; var r2 = b.A;
Debug.Assert(r1 == r2);

A a1 = ...;
a1.setValue(0);//1
a1.setValue(42);//2
A a2 = a1;
a2.setValue(13);
assert(a1.getValue() == a2.getValue());//упс

var a1 = new SomeClass(...);
//какой-то код
var a2 = a1;
//куча произвольного кода, со множеством обращений к объекту по ссылке a1

interface ISomeClass
{
  method1(...);
  //
  methodN(...);
}

class SomeClass: ISomeClass
{
  method1(...){...}
  //
  methodN(...){...}
}

class SomeClassProxy: ISomeClass
{
  private readonly ISomeClass o;
  SomeClassProxy(ISomeClass o) {this.o = o;}
  method1(...){ o.method1(...); }
  //
  methodN(...){ o.methodN(...); }
}

ISomeClass a1 = new SomeClass(...);
//какой-то код
ISomeClass a2 = new SomeClassProxy(a1);
//куча произвольного кода, со множеством обращений к объекту по ссылке a1

ID id = ...;
Retrieve(id).SomeMethod1();//1
Retrieve(id).SomeMethod2();//2

var z = new Something(...);//генерируется уникальный ID
assert(ID(z) == ID(z));//z - ссылка!

struct Something
{
  public readonly ID id;
  
  public Something()
  {
    id = ID.GetUniqueId();
  }

  //Копирование работает обычно, т.е. id копируется

  public int State {get;set;}

  public Something Clone(){...}
}

var z1 = new Something(...);
z1.State = 1;//1
var z2 = z1;//id копируется, значит должны быть идентичны
z2.State = 2;//2
assert(ID(z1) == ID(z2));//true
assert(z1.State == z2.State);//false, как же так?

struct Something
{
  public readonly ID id;
  
  public Something()
  {
    id = ID.GetUniqueId();
    //INSERT INTO table (ID, State) VALUES ($id, 0)
  }

  //Копирование работает обычно, т.е. id копируется

  public int State
  {
    get { //SELECT State FROM table WHERE ID = $id }
    set { //UPDATE table SET State=$value WHERE ID = $id }
  }

  public Something Clone(){...}
}

var z1 = new Something(...);
z1.State = 1;//даже если бы обращались к копии структуры
var z2 = z1;//id копируется, значит должны быть идентичны
z2.State = 2;//даже если бы обращались к копии структуры
assert(ID(z1) == ID(z2));//true
assert(z1.State == z2.State);//true!

var id1 = ID(new Something(...));
Retrieve(id1).State = 1;//Retrieve возвращает копию структуры
var id2 = id1;
Retrieve(id2).State = 2;//Retrieve возвращает копию структуры

assert(id1 == id2);//true
assert(Retrieve(id1).State == Retrieve(id2).State);//true!!

var a1 = new SomeClass(...);
var a2 = a1;
a2.Method();//тождественно a1.Method()

var a = new object();
var b = new object();
Debug.Assert(a == b)

A>struct Something
A>{
A>  public readonly ID id;
  
A>  public Something()
A>  {
A>    id = ID.GetUniqueId();
A>  }

A>  //Копирование работает обычно, т.е. id копируется

A>  public int State {get;set;}

A>  public Something Clone(){...}
A>}

A>var z1 = new Something(...);
A>z1.State = 1;//1
A>var z2 = z1;//id копируется, значит должны быть идентичны
A>z2.State = 2;//2
A>assert(ID(z1) == ID(z2));//true
A>assert(z1.State == z2.State);//false, как же так?
A>