По первой части, это интересно для типов-значений.
С ссылочными типами нет особой разницы, работаете вы с объектом по оригиналу ссылки или по её копии. Но с типами-значениями, такими как int
, вы получаете копию значения. Для возвращаемого ref
вы можете работать таки с оригиналом.
Таким образом, вы уменьшаете объём копирования структур (которое может быть проблемой в высокопроизводительном коде).
Кроме того, вы сможете писать код наподобие «найти точку с наибольшим X
и увеличить у неё Y
», потому что судя по всему станут возможны функции наподобие
ref Point MaxBy(Point[] points, Func<Point, double> selector)
{
ref Point result = ref points[0];
for (int i = 1; i < points.Length; i++)
if (selector(result) < selector(point[i]))
result = ref point[i];
return result;
}
ref Point rightmost = MaxBy(points, p => p.X);
rightmost.Y += 1;
По поводу локальных функций, мне кажется, часто, наоборот, приватные функции классов используются как костыль на отсутствие локальных функций. Часто в приватную функцию выносится хелпер из одной функции, не имеющий значения внутри класса. Локальная функция — более правильный путь для таких функций.
Дополнительно, локальные функции «видят» локальные переменные в охватывающей функции, а значит, вам не придётся передавать в них кучу вспомогательных аргументов.
Ещё один юзкейс для локальных функций — итераторы и async-функции. Смотрите. Если у вас есть код
IEnumerable<int> GetOdd(IEnumerable<int> s)
{
if (s == null)
throw new ArgumentNullException();
foreach (var v in s)
if (v % 2 != 0)
yield return v;
}
— то проверка будет выполнена, и исключение брошено лишь после начала перечисления. То есть код
IEnumerable<int> odds;
try
{
odds = GetOdd(seq);
}
catch (ArgumentException)
{
return false;
}
foreach (var v in odds)
Console.WriteLine(v);
не поймает исключение. То есть, пользователю придётся знать, будет ли исключение брошено во время вызова или во время перечисления.
С локальными функциями вы можете написать так:
IEnumerable<int> GetOdd(IEnumerable<int> s)
{
if (s == null)
throw new ArgumentNullException();
// обратите внимание, `Inner` без параметров
IEnumerable<int> Inner()
{
foreach (var v in s)
if (v % 2 != 0)
yield return v;
}
return Inner();
}
Исключение будет при этом брошено сразу, при вызове GetOdd
, а не при перечислении. Очевидно, что внутренняя функция имеет смысл лишь для GetOdd
, так что не стоит заводить для неё отдельную функцию на внешнем уровне, пусть даже и приватную.
return
т.е. если взглянуть на php то$object1 = find()
и объект$object2 = find()
это разные объекты. а если возвращать просто ссылку это один и тот же объект. Подход хорош для реализации так называемого патерна регистри, при которомobject1
будет равенobject2
.Max(ref a, ref b, ref c) = 10;
- выбор максимального из аргументов и присвоение ему значения. Если возвращаем структуру - не понадобится создавать ее копию. 2. Одноразовые хэлпер-методы (выглядит почти как лямбда, только без выделения памяти под делегат). Интересно, можно ли использовать замыкания.