Единый синтаксис вызова функций
Унифицированный синтаксис вызова функций ( UFCS ) или унифицированный синтаксис вызова ( UCS ) или иногда универсальный синтаксис вызова функций — это функция языка программирования в D , [1] Nim , [2] древесина, [3] и эффект [4] это позволяет любую функцию вызывать , используя синтаксис вызовов методов (как в объектно-ориентированном программировании ), используя получатель в качестве первого параметра и заданные аргументы в качестве остальных параметров. [5] Тот же метод используется в языке сценариев AviSynth под названием «нотация ООП». [6]
UFCS особенно полезен, когда вызовы функций связаны между собой. [1] (поведение аналогично каналам или различным специальным операторам , доступным в функциональных языках для передачи значений через серию выражений ). Это позволяет свободным функциям выполнять роль, аналогичную методам расширения в некоторых других языках. Еще одно преимущество синтаксиса связано с системами завершения в IDE , которые используют информацию о типе для отображения списка доступных функций в зависимости от контекста. Когда программист начинает с аргумента, набор потенциально применимых функций сильно сужается. [7] помощь в обнаружении .
Примеры [ править ]
Язык программирования D [ править ]
int first ( int [] arr )
{
return arr [ 0 ];
}
int [] addone ( int [] arr )
{
int [] результат ;
foreach ( значение ; arr ) {
результат ~= значение + 1 ;
}
вернуть результат ;
}
void main ()
{
auto a = [ 0 , 1 , 2 , 3 ];
// все нижеследующее верно и эквивалентно
int b = first ( a );
интервал с = а . первый ;
// связывание
int [] e = a . добавить один (). добавить один ();
}
Язык программирования Ним [ править ]
type Vector = кортеж [ x , y : int ]
proc add ( a , b : Vector ): Vector =
( a . x + b . x , a . y + b . y ),
let
v1 = ( x : - 1 , y) : 4 )
v2 = ( x : 5 , y : - 2 )
# все следующие верны
v3 = add ( v1 , v2 )
v4 = v1 . добавить ( v2 )
v5 = v1 . добавить ( v2 ). добавить ( v4 )
Предложение C++ [ править ]
Предложения по унификации синтаксиса функций-членов и свободных функций обсуждались с первых лет стандартизации C++ . Глассбороу (2004) предложил единый синтаксис вызова (UCS), позволяющий вызывать специально аннотированные свободные функции с нотацией функций-членов. [8] во второй раз предложил добавить его к C++. В 2016 году Бьярн Страуструп [9] и Херб Саттер , [7] уменьшить неоднозначность решения между написанием свободных функций и функций-членов, упростить написание шаблонного кода . Многие программисты испытывают искушение написать функции-члены, чтобы получить преимущества синтаксиса функций-членов (например, « точечное автозаполнение » для вывода списка функций-членов ); [10] однако это приводит к чрезмерной связи между классами . [11] В 2023 году это снова было предложено Хербом Саттером. [12] требуя новой информации и идей, а также экспериментальной реализации в компиляторе cppfront.
Использование термина в Rust [ править ]
До 2018 года это было обычным явлением. [13] использовать этот термин при ссылке на синтаксис квалифицированного/явного пути и, чаще всего, синтаксис полного пути : поскольку возможно иметь несколько признаков, определяющих один и тот же метод, реализованный в одной и той же структуре, необходим механизм для устранения неоднозначности, какой признак должен быть использовал. Функции-члены также можно использовать как свободные функции через квалифицированный путь (в пространстве имен). Термин UFCS неверен для такого использования, поскольку он позволяет использовать методы как свободные функции (в пространстве имен), но не использовать свободные функции в качестве методов.
См. также [ править ]
- Черта (компьютерное программирование)
- Интерфейс (компьютерное программирование)
- Go (язык программирования) , еще один язык с более открытой философией методов.
- Слабая связь
- Утка печатает
- Цепочка методов
Ссылки [ править ]
- ^ Перейти обратно: а б «Программирование на D — синтаксис вызова универсальных функций (UFCS)» . Ддили.орг . Проверено 1 октября 2017 г.
- ^ "Ним на примере - Процессы" . nim-by-example.github.io . Проверено 19 мая 2024 г.
- ^ «Язык программирования Кока» . koka-lang.github.io . Проверено 19 мая 2024 г.
- ^ «Язык Эффекта: Введение в Эффект» . Эффект Языка . Проверено 19 мая 2024 г.
- ^ «Функции — язык программирования D» . Дланг.орг . Проверено 1 октября 2017 г.
- ^ «Операторы — Avisynth wiki» .
a.function(b)эквивалентноfunction(a, b) - ^ Перейти обратно: а б « Унифицированный синтаксис вызовов» ( PDF) . Isocpp.org . Проверено 1 октября 2017 г.
- ^ Фрэнсис Глассбороу (2 мая 2004 г.). «N1585: унифицированный синтаксис вызовов (повторное открытие общедоступных интерфейсов)» (PDF) . Проверено 17 декабря 2018 г.
- ^ « Предложение UFCS» ( PDF) . Open-std.org . Проверено 1 октября 2017 г.
- ^ «использование IntelliSense» . Msdn.microsoft.com . Проверено 1 октября 2017 г.
- ^ «Как функции, не являющиеся членами, улучшают инкапсуляцию» . Drdobbs.com . Проверено 1 октября 2017 г.
- ^ Саттер, Херб (13 октября 2023 г.). «Единый синтаксис вызова функций (UFCS)» (PDF) .
- ^ «Переименуйте UFCS, чтобы точно отразить его функциональность. · Проблема № 1140 · ржавчина-lang/rfcs» . Гитхаб . Проверено 19 мая 2024 г.