bar.Foo вызовется метод bar.get_Foo(), который вернёт нам копию структуры, для которой мы выполним метод Change. При этом оригинальная структура останется без изменений. В последней строчке метода Main мы вновь обращаемся к методу bar.get_Foo() и берём значение Value для новой копии Foo, равное нулю.