C#:如何在F#中将扩展方法定义为“with”?

时间:2011-07-26 15:52:07

标签: c# f# extension-methods immutability with-statement

F#有一个方便的功能“with”,例如:

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

F#创建了关键字“with”,因为记录类型默认是不可变的。

现在,是否可以在C#中定义类似的扩展名? 看起来有点棘手,就像在C#中我不确定如何转换字符串

Name="Test2"

代表或表达?

4 个答案:

答案 0 :(得分:4)

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-and-update表达式的实现方式相同。

答案 1 :(得分: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;
    }
}

答案 2 :(得分:0)

作为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#: - )

答案 3 :(得分:0)

在C#中没有原生能力来做这个扩展方法,但成本是多少? a b 是参考类型以及 b <的任何建议/ strong>基于(“with”) a 会导致我们正在处理的对象数量立即混淆。只有一个吗? b a 的副本吗? b 是否指向 a

C#不是F#。

请看Eric Lippert回答的我以前的SO问题:

“我编写清晰代码的经验法则是:将所有副作用放在语句中;非语句表达式应该没有副作用。

More fluent C# / .NET