Я вважаю глибоко дивним, що це можливо в Рубі (я не одразу скажу як):

obj = #code redacted

print obj.state # Some value.

LValue = obj

print obj.state # Different value!

Ваше завдання - створити код приблизно такої форми. Створіть об’єкт і призначте його змінній. Він повинен мати певний визначений атрибут (або детермінований, idempotent метод), як stateвище, який змінюється після присвоєння об'єкту новому ідентифікатору ( LValueвище), навіть якщо ви все ще використовуєте старий ідентифікатор ( objвище) для посилання на нього.

Редагувати для наголосу : stateабо еквівалент повинен бути ідентичним, тому створення аксесуара, який змінює значення, або з будь-якої іншої причини повертає різні результати при виклику кілька разів поспіль, не є правильним рішенням. Або, простіше кажучи, це має бути завдання, яке змінює стан.

Будь-яка мова із призначенням є прийнятною, хоча, мабуть, є деякі, де немає повністю законного рішення. Я опублікую свою відповідь Рубі, якщо ніхто більше не отримає її через кілька днів, і прийму відповіді з найвищими голосами на постійній основі.

C ++

Це банально за допомогою правильних інструментів.

#include <iostream>

using namespace std;

class Obj {
public:
   int state;

   Obj& operator= (Obj& foo) {
      foo.state++;
      this->state = foo.state - 2;
      return *this;
   }
};

int main() {
   Obj a, b, c, d;
   a.state = 3;
   b.state = 4;

   cout << a.state << " " << b.state << "\n";

   c = a;
   d = b;

   cout << a.state << " " << b.state << " " << c.state << " " << d.state << "\n";

   return 0;
}

Вихід:

3 4
4 5 2 3

PHP (збірка налагодження,> = 5,4)

Ми використовуємо refcount об'єкта в геттері. (Отже, за призначенням збільшуються знижки та змінюються значення)

class State {
    public function __get($arg) {
        ob_start();
        debug_zval_dump($this); // e.g. "object(State)#1 (0) refcount(6)"
        return ob_get_clean()[29];
    }
}

$obj = new State;
var_dump($obj->state);
$a = $obj;
var_dump($obj->state);

C #

Два прості варіанти:

class Obj
{
    public int state;
    public static implicit operator int(Obj o)
    {
        return o.state++;
    }
}

static int LValueI;
static Obj LValueM { set { value.state++; } }
static void Main()
{
    var obj = new Obj { state = 1 };
    LValueI = obj;
    Console.WriteLine(obj.state); //2, caused by the implicit cast.

    LValueM = obj;
    Console.WriteLine(obj.state); //3, caused by the property setter.
    Console.ReadLine();
}

Або ми могли просто записати в одну пам'ять:

[StructLayoutAttribute(LayoutKind.Explicit)]
class Program
{
    [FieldOffset(0)]
    int state = 1;
    [FieldOffset(1)]
    int LValue;

    void Test()
    {
        var obj = this;

        Console.WriteLine(state);  //1
        LValue = state;
        Console.WriteLine(state);  //257
        Console.ReadLine();
    }
    static void Main() { new Program().Test(); }
}

TeX, набагато коротший, ніж інші відповіді тут

\setbox0=\hbox{Hello world!} % Put stuff in the box 0.
\message{\the\wd0}           % Print the width of the box => non-zero
\setbox2=\box0               % Put the box instead in box 2.
\message{\the\wd0}           % Now box 0 is void, hence has zero width.

Як система набору тексту, TeX має тип "коробки", який містить набір матеріалів. Оскільки найпоширенішим випадком використання є переміщення цього матеріалу, розділення його тощо, а не створення його копій, поля, як правило, видаляються при використанні (точніше, змінні "box" є вказівниками, і лише один покажчик одночасно може вказувати до фактичного поля в пам'яті). Не потрібно ніякої магії.

C ++ 11 (Отже, ви, хлопці, забули про unique_ptr / shared_ptr :-))

#include <iostream>
#include <memory>
using namespace std;
int main() {
    std::unique_ptr<int> u1(new int(0)), u2;
    std::shared_ptr<int> s1 = std::make_shared<int>(0), s2;
    std::cout<<u1.get()<<" "<<u2.get()<<" "<<std::endl;
    std::cout<<s1.use_count()<<" "<<s2.use_count()<<" "<<std::endl;
    u2 = std::move(u1);
    s2 = s1;
    std::cout<<u1.get()<<" "<<u2.get()<<" "<<std::endl;
    std::cout<<s1.use_count()<<" "<<s2.use_count()<<" "<<std::endl;
   return 0;
}

Фортран 03

Це дещо схоже на відповідь D Гюго, але трохи прихованіше (почасти тому, що хто # $% ^ знає об'єктно-орієнтований Фортран)?

module objects
   implicit none

   type ObjDef
      integer :: state
    contains
      procedure :: initObject
      procedure :: printObject
      procedure :: setNew
   end type
 contains
   subroutine initObject(this)
     class(ObjDef) :: this
     this%state = this%state + 1
   end subroutine initObject

   subroutine printObject(this)
     class(ObjDef) :: this
     print '(a,i0)',"this%state = ",this%state
   end subroutine printObject

   subroutine setNew(this,that)
     class(ObjDef) :: this,that
     that%state = this%state
   end subroutine setNew

end module objects

program objectChange
   use objects
   type(ObjDef) :: a,b

   call initObject(a)
   call printObject(a)
   call b%setNew(a)
   call printObject(a)
end program objectChange

Вихід є

this%state = 1
this%state = 0

Якщо ви можете зрозуміти, що сталося, бонусні бали вам! Якщо ні:

При виклику процедури setNewу формі call b%setNew(a), bнеявно перший аргумент, а не другий.

PowerShell

Це створює об’єкт, stateвластивістю якого є імена змінних, які вказують на об'єкт.

$a = @{}| Add-Member -MemberType:16 -PassThru state -Value {
        (gv|?{$this -eq $_.Value}|%{$_.Name}) -join ','} 

'Before: ' + $a.state
$b = $a
'After: ' + $a.state

Вихідні дані

Before: a,this
After: a,b,this

Примітка. Це не працює, якщо призначення відбувається в області дитини.

'Before: ' + $a.state
&{$b = $a}
'After: ' + $a.state

Виходи

Before: a,this
After: a,this

Perl 5

Ось один із способів зробити це в Perl:

package Magic {
    sub new { bless {state => 1} }
    use overload '""' => sub { $_[0]{state}++ };
}
use feature 'say';

my $obj = new Magic;
say $obj->{state};
substr($_, 0) = $obj;
say $obj->{state};

Це виводи:

1
2

Пояснення:

Це пряме застосування перевантаження . Зокрема, я перевантажую оператор перетворення рядків "", який викликається, коли перевантажений об’єкт призначений substr()(що, так, є юридичним значенням в Perl).

У Perl також є безліч спеціальних змінних, які впорядковують все, що їм призначено. Наприклад, працює також наступне:

my $obj = new Magic;
say $obj->{state};
$0 = $obj;
say $obj->{state};

Альтернативне рішення

Ось ще один шлях до цього:

package Magic {
    use Devel::Peek 'SvREFCNT';
    sub new { bless \my $foo }
    sub state { SvREFCNT ${$_[0]} }
}
use feature 'say';

my $obj = new Magic;
say $obj->state;
my $other = $obj;
say $obj->state;

Ось stateтакий метод (ми могли б зробити його атрибутом із подальшим прив'язкою / перевантаженням шенаніганів, але це ускладнить речі), який буквально підраховує кількість посилань на об'єкт. Таким чином, на відміну від першого рішення, ви насправді повинні призначити $objзвичайну змінну, яка може містити посилання на об'єкт, щоб змінити стан.

JavaScript

Гаразд, тому я зробив більш коротку версію, яка працює як SSCCE, але більше не намагається правильно розбирати JavaScript, тому підрахунок посилань може не працювати, якщо помістити все складніший сценарій.

(function run () {
    var lineOne = getLine (1), a, b, x, y, z;
    var x = {
        get state () {
            var x=/([a-z]+)\s*=\s*([a-z]+)/,c;
            return 1 + Object.keys (c = run.toString ().split ('\n').slice (0,getLine (2)).filter (function (a) {return (x.test (a))}).reduce (function (a,b,c,d) {var r=b.match (x),t=r[2];while (a[t]){t=a[t]};a[r[1]]=t;return a}, {v:0})).reduce (function (a,b) {return (c[b]=="x"?1:0) + a},0)
        }
    };
    console.log (x.state);  //1
    console.log (x.state);  //1
    y = x;
    console.log (x.state);  //2
    z = y;
    console.log (x.state);  //3    
    a = z;
    b = a;
    console.log (x.state);  //5
    a = null;
    console.log (x.state);  //4
    b = null;
    console.log (x.state);  //3
})() //1 1 2 3 5 4 3 

function getLine(n) {
   try {
      to
   } catch (dat) {
      var stack = dat.stack.split('\n');
       for (var i = 0; i < stack.length; i++) {
           if (~stack[i].indexOf ('getLine')) break;          
       }
      return dat.stack.split ('\n')[i + ~~n].match (/:(\d+)/)[1] - ~~window.hasOwnProperty ('__commandLineAPI')
   }
}

Пітон

Це трохи обман, а як щодо:

import gc
class A(object):
    @property
    def state(self):
        return len(gc.get_referrers(self))

a = A()
print a.state
b = {"x": a}
print a.state
a.y = a
print a.state
del a
print b["x"].state

C ++ 11

хоча це може бути розширено для інших мов, які підтримують неявні / явні деструктори

#include <iostream>
using namespace std;

class Foo {
    int *ptr;
public:
    Foo() {
        ptr = new int(0);
    }   
    int state() {
        return *ptr;
    }
    ~Foo() {
        (*ptr)++;
    }
};
int main() {
    Foo a, b;
    cout << a.state() << " " << b.state() << "\n";
    {
        Foo c, d;
        c = a;
        d = b;
    }
   cout << a.state() << " " << b.state()  << "\n";

   return 0;
}

Оператор призначення за замовчуванням виконує дрібну копію. Отже, отримуючий об'єкт все ще володіє вказівником, і будь-яка зміна неявно впливає на вихідний об'єкт;

Скала

Неявні перетворення дозволяють вам здійснити це під час призначення звичайної локальної змінної:

import scala.language.implicitConversions

class Obj {
  var counter = 0
}

implicit def o2s(x: Obj): String = {
  x.counter += 1
  x.toString
}

val obj = new Obj
println(obj.counter)
val s: String = obj
println(obj.counter)

Ви можете це зробити і з виведеними типами:

var s = ""
s = obj

Ви також можете скористатися методом налаштування спеціальної програми, хоча для поля потрібне значення L:

object L {
  var _value = new Obj
  def value = _value
  def value_=(x: Obj): Unit = {
    _value = x
    x.counter += 1
  }
}

val obj = new Obj
println(obj.counter)
L.value = obj
println(obj.counter)

D

struct Obj {
    int state;

    void opAssign (ref Obj other) {
        ++other.state;
    }
}

void main () {
    import std.stdio;

    Obj obj, lvalue;
    writeln(obj);
    lvalue = obj;
    writeln(obj);
}

Вихід:

Obj(0)
Obj(1)

Рубін

Як було обіцяно, ось відповідь, яка надихнула це питання.

obj = Class.new { def self.state; to_s[/</] ? "Has not been assigned\n" : "Assigned to #{to_s}"; end }

print obj.state

LValue = obj

print obj.state

Class.newстворює анонімний клас. Виклик to_sанонімного класу дає за замовчуванням рядкове представлення об'єктів, яке виглядає так #<Class:0x007fe3b38ed958>. Однак, як тільки клас присвоюється постійній, він to_sстає такою постійною. У Рубі константа - це змінна, яка починається з великої літери, такobj це посилання на клас, який дозволяє їй залишатися анонімним.

Мій код обертає to_sв stateметоді, тому вихід стає

Has not been assigned
Assigned to LValue

На відміну від більшості рішень тут, це працює лише один раз: присвоєння objіншій константі не змінить її рядкове представлення, і жодне з них не призначить нове значення LValue.

На Java

Я думав, що це неможливо на Яві. Але ...

Основний клас:

public class MyAppOfCats {

  public static void main(String[] args) {
    Cat tom = new Cat();
    System.out.println(tom.state()); 
    // Output : NOT-BEST-CAT
    Cat.bestCat = tom;
    System.out.println(tom.state());
    // Output : BEST-CAT
  }

}

Клас Кішка:

public class Cat {

  static Cat bestCat;

  public Cat() {
    super();
  }

  public String state() {
      return ((this == Cat.bestCat) ? "BEST-CAT" : "NOT-BEST-CAT");
  }

}

Мене надихнуло @tbodt.

C ++

Така поведінка фактично визначена в стандарті (і тому вона була застарілою).

#include<iostream>
#include<memory>
int main()
{
    std::auto_ptr<int> a(new int(0));
    std::cout<<a.get()<<'\n';
    std::auto_ptr<int> b = a;
    std::cout<<a.get()<<'\n';
}

Вихідні дані

some address
0

Процес, який викликає це, є тим самим, що відповідь Абхіджіта, але не вимагає відповіді Марінуса, а також того ж, що і відповідь Марінуса, std::moveале використовуючи стандартний клас, а не визначати його сам.

Редагувати: я додаю пояснення. У висновку "деяка адреса" насправді буде шістнадцятковим для адреси виділеного цілого числа. std::auto_ptrвивільняє свій покажчик магазину, коли призначений іншому, auto_ptrі встановлює свій внутрішній покажчик на 0. Виклик get()отримує доступ до покажчика магазинів.

Пітон

import sys
class K:state = property(sys.getrefcount)

Python 2.x

Я не зміг знайти належного способу зробити це без визначення додаткового класу.

class State(object):
    def __init__(self):
        self.state = 0
    def __set__(self, obj, other):
        # Keep different references
        other.state += 1
        self.state += 2

class Program(object):
    obj, value = State(), State() # Create two State-objects
    def __init__(self):
        print "Before assignment:", self.obj.state, self.value.state # 0 0
        self.value = self.obj # Set value to obj (supposedly)
        print "After  assignment:", self.obj.state, self.value.state # 1 2
        self.value = self.obj
        print "2nd    assignment:", self.obj.state, self.value.state # 2 4

Program()

Java

Усі інші рішення використовують їхню мову, перевантажену оператором. У Java немає перевантаження оператора, тому я подумав, що я застряг. Але я щось придумав.

Ось основний клас:

public class Program {
    public static void main(String[] args) {
        Thing thing = new Thing(0);
        System.out.println(thing.getState());
        Thing.otherThing = thing;
        Thread.sleep(1);
        System.out.println(thing.getState());
    }
}

Є кілька підозрілих рядків, але вони б нічого не зробили, якби Thingклас був абсолютно нормальним. Це не так:

public class Thing {
    private int state;

    public Thing(int state) {
        this.state = state;
    }

    public int getState() {
        return state;
    }

    // Please do your best to ignore the rest of this class.
    public static volatile Thing otherThing;
    static {
        Thread t = new Thread() {
            public void run() {
                Thing t = otherThing;
                while (true)
                    if (t != otherThing) {
                        t = otherThing;
                        t.state++;
                    }
            }
        };
        t.setDaemon(true);
        t.start();
    }
}

Він не гарантує роботу через потоки, але я протестував його на JDK 1.8u5, і він там працює.

Звичайний Лисп

Я визначаю стан як кількість спеціальних змінних, пов'язаних з вектором. Отже, присвоєння спеціальній змінній змінює стан.

(defgeneric state (object)
  (:documentation "Get the state of this object."))

(defmethod state ((object vector))
  ;; The state of a vector is the number of symbols bound to it.
  (let ((count 0))
    ;; Iterate each SYM, return COUNT.
    (do-all-symbols (sym count)
      ;; When SYM is bound to this vector, increment COUNT.
      (when (and (boundp sym) (eq (symbol-value sym) object))
    (incf count)))))

(defparameter *a* #(this is a vector))
(defparameter *b* nil)
(defparameter *c* nil)

(print (state *a*))
(setf *b* *a*)
(print (state *a*))
(print (state *a*))
(setf *c* *a*)
(print (state *a*))

Вихід:

1 
2 
2 
3 

Він працює лише з присвоєнням спеціальним змінним, не лексичним змінним, а також слотам всередині об'єкта.

Остерігайтеся, що це do-all-symbolsвиглядає у всіх пакетах, тому він не вистачає змінних, у яких немає пакету. Він може подвоїти символи, які існують у більш ніж одному пакеті (коли один пакет імпортував символ з іншого пакета).

Рубін

Ruby - майже те саме, але я визначаю стан як кількість констант, що відносяться до масиву.

class Array
  # Get the state of this object.
  def state
    # The state of an array is the number of constants in modules
    # where the constants refer to this array.
    ObjectSpace.each_object(Module).inject(0) {|count, mod|
      count + mod.constants(false).count {|sym|
        begin
          mod.const_get(sym, false).equal?(self)
        rescue NameError
          false
        end
      }
    }
  end
end

A = %i[this is an array]
puts A.state
B = A
puts A.state
puts A.state
C = A
puts A.state

Вихід:

state-assign.rb:9:in `const_get': Use RbConfig instead of obsolete and deprecated Config.
1
2
2
3

Це узагальнення відповіді гістократа на об'єкти Ruby, які не є класами чи модулями. Попередження з’являється тому, що конфігурація Config автоматично завантажує деякий код, який створив попередження.

C ++

Результат може відрізнятися на різних платформах. Випробуваний на ideone .

#include <iostream>
#include <cassert>
// File format: [ciiiiciiii...] a char (1 byte) followed by its state (4 bytes)
// Each group takes 5 bytes
char Buffer[30]; // 5*6, six groups

struct Group {
    char c;
    int state;
};

int main(void) {
    assert(sizeof(char) == 1);
    assert(sizeof(int) == 4);

    Group& first_group = *(Group*)(&Buffer[0]); // Group 1 is at 0
    Group& second_group = *(Group*)(&Buffer[5]); // Group 2 is at 5

    first_group.c = '2';
    first_group.state = 1234;

    std::cout << first_group.state << std::endl;

    second_group = first_group;

    std::cout << first_group.state << std::endl;

    return 0;
}

Вихід:

1234
13010

C #

class A
{
    public int N { get; set; }
    public override string ToString() { return N.ToString(); }
}
class B
{
    public int N { get; set; }
    public override string ToString() { return N.ToString(); }
    public static implicit operator A(B b) { b.N = -b.N; return new A { N = b.N }; }
}
public static void Test()
{
    A a = new A { N = 1 };
    B b = new B { N = 2 };
    Console.WriteLine("a is {0}, b is {1}", a, b);
    Console.WriteLine("a is {0}, b is {1}", a, b);
    a = b;
    Console.WriteLine("a is {0}, b is {1}", a, b);
    Console.WriteLine("a is {0}, b is {1}", a, b);
}

Вихід:

a is 1, b is 2
a is 1, b is 2
a is -2, b is -2
a is -2, b is -2