Единый синтаксис вызова функций

Унифицированный синтаксис вызова функций ( UFCS ) или унифицированный синтаксис вызова ( UCS ) или иногда универсальный синтаксис вызова функций — это функция языка программирования в D , Nim , древесина, и эффект это позволяет любую функцию, вызывать используя синтаксис вызовов методов (как в объектно-ориентированном программировании ), используя получатель в качестве первого параметра и заданные аргументы в качестве остальных параметров. Тот же метод используется в языке сценариев AviSynth под названием «нотация ООП».

UFCS особенно полезен, когда вызовы функций связаны между собой. (поведение аналогично каналам или различным специальным операторам, доступным в функциональных языках для передачи значений через серию выражений ). Это позволяет свободным функциям выполнять роль, аналогичную методам расширения в некоторых других языках. Еще одно преимущество синтаксиса связано с системами завершения в IDE , которые используют информацию о типе для отображения списка доступных функций в зависимости от контекста. Когда программист начинает с аргумента, набор потенциально применимых функций сильно сужается. помощь в обнаружении .

Примеры

Язык программирования D

int first(int[] arr)
{
    return arr[0];
}

int[] addone(int[] arr)
{
    int[] result;
    foreach (value; arr) {
        result ~= value + 1;
    }
    return result;
}

void main()
{
    auto a = [0, 1, 2, 3];

    // all the following are correct and equivalent
    int b = first(a);
    int c = a.first;

    // chaining
    int[] e = a.addone().addone();
}

Язык программирования Ним

type Vector = tuple[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)

  # all the following are correct
  v3 = add(v1, v2)
  v4 = v1.add(v2)
  v5 = v1.add(v2).add(v4)

Предложение C++

Предложения по унификации синтаксиса функций-членов и свободных функций обсуждались с первых лет стандартизации C++ . Глассбороу (2004) предложил унифицированный синтаксис вызова (UCS), позволяющий вызывать специально аннотированные свободные функции с нотацией функций-членов. во второй раз предложил добавить его к C++. В 2016 году Бьярн Страуструп и Херб Саттер , уменьшить неоднозначность решения между написанием свободных функций и функций-членов, упростить написание шаблонного кода . Многие программисты испытывают искушение написать функции-члены, чтобы получить преимущества синтаксиса функций-членов (например, « точечное автозаполнение » для вывода списка функций-членов ); однако это приводит к чрезмерной связности между классами . В 2023 году это снова было предложено Хербом Саттером. требуя новой информации и идей, а также экспериментальной реализации в компиляторе cppfront.

Использование термина в ржавчине

До 2018 года это было обычным явлением. использовать этот термин при ссылке на синтаксис квалифицированного/явного пути и, чаще всего, синтаксис полного пути : поскольку возможно иметь несколько признаков, определяющих один и тот же метод, реализованный в одной и той же структуре, необходим механизм для устранения неоднозначности, какой признак должен быть использовал. Функции-члены также можно использовать как свободные функции через квалифицированный путь (в пространстве имен). Термин UFCS неверен для такого использования, поскольку он позволяет использовать методы как свободные функции (в пространстве имен), но не использовать свободные функции в качестве методов.

См. также

• Черта (компьютерное программирование)
• Интерфейс (компьютерное программирование)
• Go (язык программирования) , еще один язык с более открытой философией методов.
• Ослабленная связь
• Утка печатает
• Цепочка методов