Почему поле значимого типа не меняется при вызове метода?

Question

[Гучи повар]

Всем привет! У меня есть простая структура Brick и метод Move для изменения поля _position

public struct Brick
    {
        private Vector3Int _position;
        private Vector3Int[] _pattern;

        public Brick(Vector3Int position, Vector3Int[] pattern)
        {
            _position = position;
            _pattern = pattern;
        }

        public Vector3Int Position => _position;
        public Vector3Int[] Pattern => _pattern;

        public void Move(Vector3Int direction)
        {
            _position += direction;
        }
    }

Также есть класс BricksSpace где в конструкторе создается _controllableBrick и в будущем работаю с ним за счет метода LowerControllableBrick

public sealed class BricksSpace
    {
        private readonly Brick _controllableBrick;

        public BricksSpace(Brick controlledBrick)
        {
            _controllableBrick = controlledBrick;
        }

        public Vector3Int ControllableBlockPosition => _controllableBrick.Position;

        public void LowerControllableBrick()
        {
            _controllableBrick.Move(Vector3Int.down);
        }
    }

Но при тесте выдает ошибку:
Expected: (0, 4, 0)
But was: (0, 5, 0)

Код теста:

private BricksSpace _brickSpace;

        [SetUp]
        public void Setup()
        {
            Brick controlledBrick = new(Vector3Int.up * 5, BrickPatterns.LBlock);

            _brickSpace = new(controlledBrick);
        }

        [Test]
        public void BrickLowerTest()
        {
            _brickSpace.LowerControllableBrick();

            Assert.AreEqual(new Vector3Int(0, 4, 0), _brickSpace.ControllableBlockPosition);
        }

В чем проблема?

Answer 1

[Василий Банников]

Не меняется оно у тебя из-за того что поле объявлено как readonly:

private readonly Brick _controllableBrick;

Убери readonly и всё будет работать.

PS: Подобный код в тестах сильно снижает читабельность:

Brick controlledBrick = new(Vector3Int.up * 5, BrickPatterns.LBlock);

Убери сетап и пиши сразу так:

var controlledBrick = new Brick(new Vector3Int(0,5,0), BrickPatterns.LBlock);
var brickSpace = new(controlledBrick);
brickSpace.LowerControllableBrick();
Assert.AreEqual(new Vector3Int(0, 4, 0), _brickSpace.ControllableBlockPosition);

Comments

[GavriKos]

Сложение у векторов всегда дает вроде новый экземпляр:
https://github.com/Unity-Technologies/UnityCsRefer...

Неужто для структур => работает как копирование и возвращает всегда то что было в конструкторе? (самому просто любопытно. юнити же)

[Василий Банников]

GavriKos, ок. Почему-то подумал, что тут вообще какой-то свой вектор, а не юнити)

Неужто для структур => работает как копирование и возвращает всегда то что было в конструкторе? (самому просто любопытно. юнити же)

=> работает как обычный {return ... }, как и всегда)

Есть поле имеет модификатор readonly, то создаётся копия структуры на стеке и мутируется эта копия.

Вариант с readonly:

.method public hidebysig 
        instance void Mutate (
            int32 newValue
        ) cil managed 
    {
        // Method begins at RVA 0x2070
        // Code size 16 (0x10)
        .maxstack 2
        .locals init (
            [0] valuetype A
        )

        IL_0000: ldarg.0
        IL_0001: ldfld valuetype A B::x // загружается значение поля класса на стек
        IL_0006: stloc.0
        IL_0007: ldloca.s 0 // берётся ссылка на значение на стеке
        IL_0009: ldarg.1
        IL_000a: call instance void A::Mutate(int32)
        IL_000f: ret
    } // end of method B::Mutate

Без readonly:

.method public hidebysig 
        instance void Mutate (
            int32 newValue
        ) cil managed 
    {
        // Method begins at RVA 0x2094
        // Code size 13 (0xd)
        .maxstack 8

        IL_0000: ldarg.0
        IL_0001: ldflda valuetype A B2::x // берётся ссылка на поле класса
        IL_0006: ldarg.1
        IL_0007: call instance void A::Mutate(int32)
        IL_000c: ret
    } // end of method B2::Mutate

Код на sharplab

[GavriKos]

Василий Банников, тогда интересно что ж там не так пошло ) Вроде ошибок нет

[Василий Банников]

GavriKos, ошибок нет)
Я же говорю - если readonly, то будет скопирована структура. Если без readonly - будет обращаться к полю класса.

Стрелочка тут никаким образом не влияет.