Только два варианта:
1. Массив ArrayList - массив object'ов (не типизированный массив) - приходится постоянно типизировать...
2. List<type> - типизированный список с возможностью индексации, НО: нельзя изменять объекты через индексы (можно только читать)...
(list[2] := 4  - error)

Во-первых, есть просто Type[], во-вторых

Прекрасно можно. Единственно, могу предположить, что у тебя List<T> a, где T — value-тип (структура), а ты пытаешься изменить в нём поле: a[i].member = x. Вот это действительно невозможно.

Очередной сюрприз Microsoft... Что у неё там за аномальные проблемы с полями ?!..

Никаких сюрпризов, надо просто понимать семантику value-типов. Оператор [] возвращает копию содержимого, в этом вся проблема. Обойти это можно, заменяя объект целиком:

Так нужно не копию возвращать, а по смещению поля доступ предоставлять к типизированной области памяти, как в C/С++...
А к семантике value-типов, как по мне, ситуация прямого отношения не имеет...

Добавлено через 6 минут и 2 секунды
Проблема здесь в реализации индексатора через механизм set/get...

Это сообщение отредактировал(а) CyraxZ - 10.4.2007, 23:20

Какое смещение, какой доступ к Value-типам?  (к структурам, то бишь)
Очень сомневаюсь, что в С/С++ эта проблема решена. "Ссылка" на объект в стеке?

Должно быть так:
индексатор list[i] - возвращает i-ю переменную (value-структуру) по ссылке (в C-ном понимании), т.е. ссылку на типизированную область памяти, где физически расположена i-я структура, и предоставить нам право самим решать, что мы будем делать с этой областью памяти, а не вызывать методы get или set в зависимости от операции, которую мы выполняем с элементом массива/списка - присваиваем (выполняется метод set) или получаем доступ к полю структуры (выполняется метод get, после чего мы уже не можем присвоить полю структуры другое значение, поскольку у нас имеется копия)...

прощай, managed heap...