PostInshception LocationInterceptionAspect не работает со структурами

Question

Я сделал BitsAspect симулировать C++ битовые поля, которые применяются таким образом:

[StructLayout(LayoutKind.Explicit)]
class Class {
    [FieldOffset(0)] public byte Whole;
    [FieldOffset(0)] [BitsAspect(0,0)] public byte Bit0;
    [FieldOffset(0)] [BitsAspect(1,1)] public byte Bit1;
}

Отлично работает, но только на classэс. На structs это просто не работает:

[StructLayout(LayoutKind.Explicit)]
struct Struct {
    [FieldOffset(0)] public byte Whole;
    [FieldOffset(0)] [BitsAspect(0,0)] public byte Bit0;
    [FieldOffset(0)] [BitsAspect(0,1)] public byte Bit1;
}

Вот тест:

[TestMethod]
public void BitOperations_Test() {
    var c = new Class();
    c.Bit1 = 1;
    Assert.AreEqual(2, c.Whole);
    Assert.AreEqual(1, c.Bit1);

    // all assertions pass to this point.

    var s = new Struct();
    s.Bit1 = 1;
    Assert.AreEqual(2, s.Whole); // fails: s.Whole is 1 :-(
    Assert.AreEqual(1, s.Bit1);
}

Аспект:

[Serializable]
[MulticastAttributeUsage(MulticastTargets.Property | MulticastTargets.Field)]
public class BitsAspect : LocationInterceptionAspect {
    private ulong _mask;
    private Type _type;
    public int BitOffset { get; private set; }
    public int BitsCount { get; private set; }

    public BitsAspect(int bitOffset, int bitsCount) {
        BitOffset = bitOffset;
        BitsCount = bitsCount;
    }

    public override void CompileTimeInitialize(LocationInfo targetLocation, AspectInfo aspectInfo) {
        _type = targetLocation.LocationType;
        if (_type.IsEnum) _type = _type.GetEnumUnderlyingType();
        ulong mask = ((ulong) 1 << BitsCount) - 1;
        _mask = mask << BitOffset;
        base.CompileTimeInitialize(targetLocation, aspectInfo);
    }

    public override void OnGetValue(LocationInterceptionArgs args) {
        var @this = args.Instance;
        var oldValue = Convert.ToUInt64(args.Binding.GetValue(ref @this, Arguments.Empty));
        var value = (oldValue & _mask) >> BitOffset;
        var converted = Convert.ChangeType(value, _type);
        args.Value = converted;
    }
    public override void OnSetValue(LocationInterceptionArgs args) {
        var @this = args.Instance;

        var newValue = Convert.ToUInt64(args.Value);
        var oldValue = Convert.ToUInt64(args.Binding.GetValue(ref @this, Arguments.Empty));

        var value = (oldValue & ~_mask) | (newValue << BitOffset);
        var converted = Convert.ChangeType(value, _type);
        args.SetNewValue(converted);
    }
}

Любой способ, которым я могу достичь этого с типом значения structс тоже?

Answer 1

LocationInterceptionAspect на struct должен работать без проблем здесь.

Объявление Bit1 немного отличается для Class:

[FieldOffset(0)] [BitsAspect(1,1)] public byte Bit1;

и для структуры:

[FieldOffset(0)] [BitsAspect(0,1)] public byte Bit1;

Могу поспорить, что это имеет значение.

Остерегайтесь изменчивых типов значений, они могут быть чистым злом.