IL Emit -在notifypropertychanged之前用布尔值设置一个已有的属性
本文关键字:一个 属性 设置 Emit notifypropertychanged 布尔值 IL | 更新日期: 2023-09-27 18:17:51
我正在为包含虚拟自动属性的POCO对象实现一个发出的propertychanged处理程序,并且我已经有了可以工作的代码,每当我更改底层属性时就会引发propertychanged。这样做的原因是我正在与服务器共享一个POCO对象(无论好坏),我将在其中向服务器发送修改过的对象。我不能用属性装饰POCO对象(因为服务器也会有这些装饰器,因为我们共享公共类),而且由于策略,我不能使用第三方工具,如Fody或PostSharp。我需要跟踪对象是否被修改过,我被卡在这上面了。
下面是用更改通知包装虚拟自动属性的Emit:
MethodBuilder setMethodBuilder = typeBuilder.DefineMethod(setMethod.Name, setMethod.Attributes, setMethod.ReturnType, types.ToArray());
typeBuilder.DefineMethodOverride(setMethodBuilder, setMethod);
ILGenerator wrapper = setMethodBuilder.GetILGenerator();
...Emit if property <> value IsModified=true here...
wrapper.Emit(OpCodes.Ldarg_0);
wrapper.Emit(OpCodes.Ldarg_1);
wrapper.EmitCall(OpCodes.Call, setMethod, null);
我需要做的是获得set方法的现有"IsModified"布尔属性,并设置它,如果属性值<>值。
下面是我想要发出的一个例子(这目前被定义为带有虚拟自动属性的POCO):
public class AnEntity
{
string _myData;
public string MyData
{
get
{
return _myData;
}
set
{
if(_myData <> value)
{
IsModified = true;
_myData = value;
OnPropertyChanged("MyData");
}
}
}
bool _isModified;
public bool IsModified { get; set; }
{
get
{
return _isModified;
}
set
{
_isModified = value;
OnPropertyChanged("IsModified");
}
}
}
我已经被困在这个问题上一段时间了…我已经设法在新创建的代理类中创建了一个名为"NewIsModified"的新属性,但是,我非常希望在原始POCO中重用现有的IsModified属性。
我希望我已经正确地解释了我的问题,并且很容易理解。任何帮助都将是非常感激的,我希望它也能帮助到别人。亲切的问候。
这是在Mono中完成的工作代码。塞西尔
c#代码前:
public class AnEntityVirtual
{
public virtual string MyData { get; set; }
public virtual bool IsModified { get; set; }
}
前set_MyData
的IL代码:
IL_0000: ldarg.0
IL_0001: ldarg.1
IL_0002: stfld string ClassLibrary1.AnEntityVirtual::'<MyData>k__BackingField'
IL_0007: ret
重写:// Read the module and get the relevant type
var assemblyPath = $"{Environment.CurrentDirectory}''ClassLibrary1.dll";
var module = ModuleDefinition.ReadModule(assemblyPath);
var type = module.Types.Single(t => t.Name == "AnEntityVirtual");
// Get the method to rewrite
var myDataProperty = type.Properties.Single(prop => prop.Name == "MyData");
var isModifiedSetMethod = type.Properties.Single(prop => prop.Name == "IsModified").SetMethod;
var setMethodBody = myDataProperty.SetMethod.Body;
// Initilize before rewriting (clear pre instructions, create locals and init them)
setMethodBody.Instructions.Clear();
var localDef = new VariableDefinition(module.TypeSystem.Boolean);
setMethodBody.Variables.Add(localDef);
setMethodBody.InitLocals = true;
// Get fields'methos to use in the new method body
var propBackingField = type.Fields.Single(field => field.Name == $"<{myDataProperty.Name}>k__BackingField");
var equalMethod =
myDataProperty.PropertyType.Resolve().Methods.FirstOrDefault(method => method.Name == "Equals") ??
module.ImportReference(typeof(object)).Resolve().Methods.Single(method => method.Name == "Equales");
var equalMethodReference = module.ImportReference(equalMethod);
// Start the rewriting
var ilProcessor = setMethodBody.GetILProcessor();
// First emit a Ret instruction. This is beacause we want a label to jump if the values are equals
ilProcessor.Emit(OpCodes.Ret);
var ret = setMethodBody.Instructions.First();
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Ldarg_0)); // load 'this'
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Ldfld, propBackingField)); // load backing field
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Ldarg_1)); // load 'value'
ilProcessor.InsertBefore(ret, ilProcessor.Create(equalMethod.IsStatic ? OpCodes.Call : OpCodes.Callvirt, equalMethodReference)); // call equals
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Stloc_0)); // store result
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Ldloc_0)); // load result
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Brtrue_S, ret)); // check result and jump to Ret if are equals
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Ldarg_0)); // load 'this'
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Ldc_I4_1)); // load 1 ('true')
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Call, isModifiedSetMethod)); // set IsModified to 'true'
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Ldarg_0)); // load this
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Ldarg_1)); // load 'value'
ilProcessor.InsertBefore(ret, ilProcessor.Create(OpCodes.Stfld, propBackingField)); // store 'value' in backing field
// here you can call to Notify or whatever you want
module.Write(assemblyPath.Replace(".dll", "_new") + ".dll"); // save the new assembly
c#代码:
public virtual string MyData
{
[CompilerGenerated]
get
{
return this.<MyData>k__BackingField;
}
[CompilerGenerated]
set
{
if (!this.<MyData>k__BackingField.Equals(value))
{
this.IsModified = true;
this.<MyData>k__BackingField = value;
}
}
}
后面的IL代码:
IL_0000: ldarg.0
IL_0001: ldfld string ClassLibrary1.AnEntityVirtual::'<MyData>k__BackingField'
IL_0006: ldarg.1
IL_0007: callvirt instance bool [mscorlib]System.String::Equals(object)
IL_000c: stloc.0
IL_000d: ldloc.0
IL_000e: brtrue.s IL_001e
IL_0010: ldarg.0
IL_0011: ldc.i4.1
IL_0012: call instance void ClassLibrary1.AnEntityVirtual::set_IsModified(bool)
IL_0017: ldarg.0
IL_0018: ldarg.1
IL_0019: stfld string ClassLibrary1.AnEntityVirtual::'<MyData>k__BackingField'
IL_001e: ret
正如我所写的,这是如何在Cecil中做到这一点的一个例子。在实际代码中,您可以以此为基础,但要做一些更改。
例如,您可以为您的属性创建私有字段,而不使用编译器生成的支持字段。可以调用OptimizeMacros。
同样,如果你确切地知道你需要重写哪个属性,你可以调用其他相等的方法,例如,如果它是string
,你可以调用字符串op_Equality
或op?_Inequality
类型的静态方法,这是string
的==
和!=