> -- Сергей Губанов писал(а):
> В языке C#, struct - является value-типом. А следующий синтаксис объявления и инициализации:

OK, возражение принимается.

> -- Сергей Губанов писал(а):
> Не понимаю о каком ещё мусоре Вы говорите.

Непроиниченные мемберы.

> -- Сергей Губанов писал(а):
> Да, в оберонах процедура-функция может возвращать только переменные базовых типов

А в шарпе?

> -- Сергей Губанов писал(а):
> (в т.ч. указатели). Ввод и вывод переменных комплексных типов данных делается посредством VAR, IN, OUT ссылок.

В таком случае это прореха в дизайне языка, которую пытаются решить еще одной прорехой. Если бы язык позволял возвращать структуры, то непроиниченные структуры не имели бы смысла (а, следовательно, в случае правильного использования не было бы никакого реального perfomance fault).