Свойство С# и параметр ref, почему нет сахара?

Просто для информации: C# 4.0 будет иметь что-то подобное этому сахару, но только при вызове методов взаимодействия — отчасти из-за явной склонности ref в этом сценарии. Я особо не проверял (в CTP); мы должны увидеть, как это сработает...

Потому что вы передаете результат индексатора, который на самом деле является результатом вызова метода. Нет никакой гарантии, что у свойства индексатора также есть установщик, и передача его по ссылке приведет к ложной безопасности со стороны разработчика, когда он думает, что его свойство будет установлено без вызова установщика.

На более техническом уровне ref и out передают адрес памяти переданного им объекта, а чтобы установить свойство, вы должны вызвать сеттер, поэтому нет никакой гарантии, что свойство действительно будет изменено, особенно когда тип свойства неизменный. ref и out не просто устанавливают значение после возврата метода, они передают реальную ссылку на память самому объекту.

Свойства — это не что иное, как синтаксический сахар над методами getX/setX в стиле Java. Не имеет особого смысла использовать ссылку на метод. В вашем случае это имело бы смысл, потому что ваши свойства просто заглушают поля. Свойства не обязательно должны быть просто заглушками, поэтому фреймворк не может разрешить «ссылку» на свойства.

РЕДАКТИРОВАТЬ: ну, простой ответ заключается в том, что сам факт того, что метод получения или установки свойства может включать в себя гораздо больше, чем просто чтение/запись поля, делает нежелательным, не говоря уже о том, что, возможно, неожиданным, разрешить сортировку сахара вы предлагаете. Это не значит, что я не нуждался в этой функциональности раньше, просто я понимаю, почему они не хотят ее предоставлять.

Вы можете использовать поля с ref/out, но не свойства. Причина в том, что свойства — это всего лишь сокращение синтаксиса для специальных методов. Компилятор фактически переводит свойства get/set в соответствующие методы get_X и set_X, поскольку среда CLR не имеет непосредственной поддержки свойств.

Это не было бы потокобезопасным; если два потока одновременно создают свои собственные копии значения свойства и передают их функциям в качестве параметров ref, только один из них возвращается обратно в свойство.

class Program
{
  static int PropertyX { get; set; }

  static void Main()
  {
    PropertyX = 0;

    // Sugared from: 
    // WaitCallback w = (o) => WaitAndIncrement(500, ref PropertyX);
    WaitCallback w = (o) => {
      int x1 = PropertyX;
      WaitAndIncrement(500, ref x1);
      PropertyX = x1;
    };
    // end sugar

    ThreadPool.QueueUserWorkItem(w);

    // Sugared from: 
    // WaitAndIncrement(1000, ref PropertyX);
    int x2 = PropertyX;      
    WaitAndIncrement(1000, ref x2);
    PropertyX = x2;
    // end sugar

    Console.WriteLine(PropertyX);
  }

  static void WaitAndIncrement(int wait, ref int i)
  {
    Thread.Sleep(wait);
    i++;
  }
}

PropertyX заканчивается как 1, тогда как поле или локальная переменная будет 2.

Этот пример кода также подчеркивает трудности, связанные с такими вещами, как анонимные методы, когда вы просите компилятор сделать что-то слащавое.

Причина этого в том, что C# не поддерживает "параметрические" свойства, которые принимают параметры, передаваемые по ссылке. Интересно отметить, что CLR поддерживает эту функцию, а C# — нет.

Когда вы передаете ref/out в начале, это означает, что вы передаете ссылочный тип, который хранится в куче.

Свойства — это методы-оболочки, а не переменные.

Если вы спрашиваете, почему компилятор не заменяет поле, возвращаемое получателем свойства, то это потому, что получатель может возвращать константу, только для чтения, литерал или что-то еще, что не следует повторно инициализировать или перезаписывать.

Этот сайт, кажется, имеет обходной путь для вас. Однако я не проверял его, поэтому не могу гарантировать, что он будет работать. Похоже, что в примере используется отражение, чтобы получить доступ к функциям get и set свойства. Это, вероятно, не рекомендуемый подход, но он может выполнить то, о чем вы просите.

http://www.codeproject.com/KB/cs/Passing_Properties_byref.aspx