C#: Как определить метод расширения как «с» в F#?

Question

F# имеет удобную функцию «с», пример:

type Product = { Name:string; Price:int };;
let p = { Name="Test"; Price=42; };;
let p2 = { p with Name="Test2" };;

F# создано ключевое слово «с», поскольку типы записей по умолчанию неизменны.

Теперь можно ли определить аналогичное расширение в C#? Кажется, это немного сложно, как в C# я не уверен, как конвертировать строку

Name="Test2"

делегату или выражению?

Answer 1

public static T With<T, U>(this T obj, Expression<Func<T, U>> property, U value)
    where T : ICloneable {
    if (obj == null)
        throw new ArgumentNullException("obj");
    if (property == null)
        throw new ArgumentNullException("property");
    var memExpr = property.Body as MemberExpression;
    if (memExpr == null || !(memExpr.Member is PropertyInfo))
        throw new ArgumentException("Must refer to a property", "property");
    var copy = (T)obj.Clone();
    var propInfo = (PropertyInfo)memExpr.Member;
    propInfo.SetValue(copy, value, null);
    return copy;
}

public class Foo : ICloneable {
    public int Id { get; set; } 
    public string Bar { get; set; }
    object ICloneable.Clone() {
        return new Foo { Id = this.Id, Bar = this.Bar };
    }
}

public static void Test() {
    var foo = new Foo { Id = 1, Bar = "blah" };
    var newFoo = foo.With(x => x.Bar, "boo-ya");
    Console.WriteLine(newFoo.Bar); //boo-ya
}

Или, используя конструктор копирования:

public class Foo {
    public Foo(Foo other) {
        this.Id = other.Id;
        this.Bar = other.Bar;
    }
    public Foo() { }
    public int Id { get; set; } 
    public string Bar { get; set; }
}

public static void Test() {
    var foo = new Foo { Id = 1, Bar = "blah" };
    var newFoo = new Foo(foo) { Bar = "boo-ya" };
    Console.WriteLine(newFoo.Bar);
}

И небольшой вариант превосходного предложения Джорджа, которое позволяет выполнять несколько заданий:

public static T With<T>(this T obj, params Action<T>[] assignments)
    where T : ICloneable {
    if (obj == null)
        throw new ArgumentNullException("obj");
    if (assignments == null)
        throw new ArgumentNullException("assignments");
    var copy = (T)obj.Clone();
    foreach (var a in assignments) {
        a(copy);
    }
    return copy;
}

public static void Test() {
    var foo = new Foo { Id = 1, Bar = "blah" };
    var newFoo = foo.With(x => x.Id = 2, x => x.Bar = "boo-ya");
    Console.WriteLine(newFoo.Bar);
}

Я бы, вероятно, использовал бы второй, так как (1) любое решение общего назначения будет излишне медленным и запутанным; (2) Он имеет ближайший синтаксис к тому, что вы хотите (и синтаксис делает то, что вы ожидаете); (3) Выражения F# Copy и Update реализуются аналогичным образом.

Answer 2

Может быть, что -то вроде этого:

void Main()
{
    var NewProduct = ExistingProduct.With(P => P.Name = "Test2");
}

// Define other methods and classes here

public static class Extensions
{
    public T With<T>(this T Instance, Action<T> Act) where T : ICloneable
    {
        var Result = Instance.Clone();
        Act(Result);

        return Result;
    }
}

Answer 3

В качестве альтернативы функции Lambda вы можете использовать параметры со значениями по умолчанию. Единственная незначительная проблема заключается в том, что вы должны выбрать какое -то значение по умолчанию, что означает Не меняйте этот параметр (для справочных типов), но null должен быть безопасный выбор:

class Product {
   public string Name { get; private set; }
   public int Price { get; private set; }
   public Product(string name, int price) {
     Name = name; Price = price;
   }

   // Creates a new product using the current values and changing
   // the values of the specified arguments to a new value
   public Product With(string name = null, int? price = null) {
     return new Product(name ?? Name, price ?? Price);
   }
 }

 // Then you can write:
 var prod2 = prod1.With(name = "New product");

Вы должны определить метод самостоятельно, но это всегда так (если вы не собираетесь использовать отражение, что менее эффективно). Я думаю, что синтаксис тоже достаточно хорош. Если вы хотите сделать это таким же хорошим, как в F#, вам придется использовать f# :-)

Answer 4

Не существует местной способности делать это в C# в случае расширения, но при какой цене? а а также беременный это ссылочные типы и любое предложение, что беременный основан ("с") на а вызывает немедленную путаницу в отношении того, с какими объектами мы работаем. Есть только один? Является беременный копия а ? Делает беременный указать на а ?

C# не F#.

Пожалуйста, посмотрите на мой предыдущий вопрос, так что ответил Эрик Липперт:

"Среди моих правил эмпиатра для написания четкого кода: Поместите все побочные эффекты в заявлениях; Выражения, не связанные с выстрелом, не должны иметь побочных эффектов."

Более свободно c# / .net