Как перехватить все операции записи на объекте при помощи модификации байт-кода?

Question

[synapse_people]

К примеру есть метод с телом:

... obj;
obj.field0 = 10;
obj.setSomeotherfield(12);

Каким образом можно после каждой перезаписи значения или вызова сеттера вызывать еще метод, например, obj.onChanged?
То есть, сначала найти переменную необходимого типа (класса), затем найти все пишущие вызовы/установки значений, а затем затыкать после каждого вызов onChanged. P.s.obj.getSomeList().add(value) - тоже пищущая операция, можно в целом все вызовы методов заменять, а в onChanged проверять изменился ли hashCode ....
Желательно при помощи javassist, если кто знает вариант проще, напишите плиз
А также - какие могут быть проблемы при подобном подходе? Может есть вариант проще, как перехватить изменения обьекта и его под-объектов(свойств и свойств-свойств-свойствNв глубину)?

Answer 1

[Evhen]

Подобные вещи делаются с помощью AspectJ

Вот пример как перехватывать сеттеры всех классов в указаном пакете demo-aspectj

класс

package ua.evhen.aspectj.demo.domain;

public class BankAccount {

    private String pan;
    private String panSate;
    private String exDate;
    private String panName;
    private long clientId;

// getters and setter
}

аспект, который будет перехватывать вызовы методов set*

package ua.evhen.aspectj.demo.aspect;

import org.aspectj.lang.JoinPoint;
import org.aspectj.lang.annotation.Aspect;
import org.aspectj.lang.annotation.Before;

@Aspect
public class BankAccountAspect {
    @Before("execution(void ua.evhen.aspectj.demo.domain.*.set*(..)) && args(val)")
    public void setMethod(Object val, JoinPoint jp) {
        System.out.printf("%s := '%s'%n ", jp.getSignature().toShortString(), val);
    }
}

Comments

[synapse_people]

Здравствуйте! В целом неплохое решение, вы безусловно правы, но как быть с коллекциями?
По сути, они возвращают ссылку из геттера и сеттер уже может не вызыватся, при этом коллекция мутирует.. А также с обычными массивами есть проблема, их вообще расширить нельзя

[synapse_people]

мне кажется, что не фонтан будет каждый раз вызвать геттер, изменять коллекцию и отдавать ее обратно на сеттер?)

[Evhen]

synapse_people, непонятно, какую задачу Вы пытаетесь решить. Если вас беспокоит не контролированная возможность менять объект, то делайте immutable класс, все поля final. Если есть поля типа массив, то пусть геттеры возвращают копию этих массивов, если массив состоит из примитивных типов (int,long,char...) или immutable типов (String, Integer, BigDecimal...),то для создания копии достаточно вызвать метод массива clone(). Для коллекций, тоже создавать копию.

class A {
private final int[] arr;
private final List<String> list;

A(int[] arr, List<String> list) {
this.arr=arr.clone();
this.list=new ArrayList(list);
}

int[] getArr() {
return arr.clone();
}

List<String> getList() {
return new ArrayList(list);
}

}

В джаве это нормальная и безопасная практика.

Для коллекций можно еще возвращать прокси, и уже в нем можно перехватывать все нужные методы.

Можно и с помощью аспектов перехватывать методы коллекций

Проксирование и аспекты, это норм, на этом держится такие фреймерки как спринг и хибернет

[synapse_people]

Evhen, задача-я пишу серверную часть для игры, там ECS, мне хочется, чтобы когда система изменяет компонент, то изменение подхватывалось сразу.. Вот и все.. Компоненты пишутся отдельно от ядра, поэтому хотелось бы писать компоненты как обычные POJO, без особой логики из ядра и использовать их также...
Сейчас сделал на прокси, как вы говорите, но уперся в то, что каждый раз создавать прокси дорого. Да и сейчас работает только с примитивами, в этом проблема..
Почитаю насчет аспектов, мне кажется это то, что нужно!
Спасибо

[synapse_people]

Evhen, а вы не знаете, можно ли обьявить аспект без использования аннотации? Если я не знаю ни пакета, в котором компоненты лежат, ни названий методов сеттеров-как быть?
Это все в рантайме сканируется, у компонентов есть своя аннотация

[synapse_people]

Evhen, по сути, для массивов действительно можно сделать аспект, который будет их клонировать и принять условно, что их изменения без сеттера - игнорируется.
Для коллекций-отслеживать изменения в аспектах.
Для примитивов и ссылок на другие структуры-через сеттер.

[Evhen]

synapse_people, Аспекты можно описывать в файлах *.aj. Если отслеживаемые компоненты отмечены аннотацией, то это можно тоже прописать в аспекте.

Если вы не компилируете компоненты, то о модификации байткода можно забыть. Будут динамически создаваться прокси. Дополнительно будет нужна зависимость aspectjweaver

[synapse_people]

Evhen, Спасибо
А может еще подскажите, можно ли перехватить вызов конструктора на объектах, где класс помечен аннотацией? и установить ему ID автоинкремент
Или такое нельзя будет решить так?

[Evhen]

думаю такое уже нельзя сделать, без модификации класса или байткода