Посмотрите на код, сгенерированный F # для простой функции:
let map_add valueToAdd xs =
xs |> Seq.map (fun x -> x + valueToAdd)
Сгенерированный код для лямбда-выражения (экземпляр функционального значения F #) будет выглядеть так:
[Serializable]
internal class [email protected] : FSharpFunc<int, int> {
public int valueToAdd;
internal [email protected](int valueToAdd) { this.valueToAdd = valueToAdd; }
public override int Invoke(int x) { return (x + this.valueToAdd); }
}
И посмотрите почти на тот же код С#:
using System.Collections.Generic;
using System.Linq;
static class Program {
static IEnumerable<int> SelectAdd(IEnumerable<int> source, int valueToAdd) {
return source.Select(x => x + valueToAdd);
}
}
И сгенерированный код для выражения лямбда С#:
[CompilerGenerated]
private sealed class <>c__DisplayClass1 {
public int valueToAdd;
public int <SelectAdd>b__0(int x) { return (x + this.valueToAdd); }
}
Итак, у меня есть несколько вопросов:
- Почему F # -генерированный класс не помечен как
sealed
? - Почему F # -генерированный класс содержит общедоступные поля, поскольку F # не разрешает изменчивые закрытия?
- Почему класс, сгенерированный F #, имеет конструктор? Он может быть полностью инициализирован публичными полями...
- Почему С# -генерированный класс не помечен как
[Serializable]
? Также классы, сгенерированные для выражений последовательности F #, также стали[Serializable]
, а классы для итераторов С# этого не делают.