Sintaxis uniforme para llamadas a funciones

La sintaxis uniforme de llamada a función ( UFCS ) o sintaxis uniforme de llamada ( UCS ) es una característica del lenguaje de programación en D , ^{[ 1 ]} Nim , ^{[ 2 ]} Koka, ^{[ 3 ]} Effekt, [ ^{4 ] Lean} [ ^{5 ] y} otros lenguajes de programación, que permite llamar a cualquier función utilizando la sintaxis de llamadas a métodos (como en la programación orientada a objetos ), usando el receptor como primer parámetro y los argumentos dados como parámetros restantes. ^{[ 6 ]} La misma técnica se utiliza en el lenguaje de scripting AviSynth bajo el nombre de "notación OOP". ^{[ 7 ]}

UFCS es particularmente útil cuando se encadenan llamadas a funciones ^{[ 1 ]} (comportándose de manera similar a las tuberías o a los diversos operadores dedicados disponibles en lenguajes funcionales para pasar valores a través de una serie de expresiones ). Permite que las funciones libres cumplan una función similar a la de los métodos de extensión en otros lenguajes. Otro beneficio de la sintaxis está relacionado con los sistemas de autocompletado en los IDE , que utilizan información de tipo para mostrar una lista de funciones disponibles, según el contexto. Cuando el programador comienza con un argumento, el conjunto de funciones potencialmente aplicables se reduce considerablemente ^{[ 8 ]} , lo que facilita su descubrimiento .

Desde los primeros años de la estandarización de C++ se han discutido propuestas para unificar la sintaxis de llamada de funciones miembro y funciones libres . Glassborow (2004) propuso una sintaxis de llamada uniforme (UCS), que permite llamar a funciones libres especialmente anotadas con notación de función miembro. ^{[ 9 ] En 2016 ,} Bjarne Stroustrup ^{[ 10 ]} y Herb Sutter [ ^{8 ]} propusieron por segunda vez su adición a C++ para reducir la decisión ambigua entre escribir funciones libres y funciones miembro, y simplificar la escritura de código con plantillas . Muchos programadores se ven tentados a escribir funciones miembro para obtener los beneficios de la sintaxis de función miembro (por ejemplo, " autocompletar con punto " para listar funciones miembro ); ^{[ 11 ]} sin embargo, esto conduce a un acoplamiento excesivo entre clases . ^{[ 12 ]} Esto fue nuevamente propuesto, en 2023, por Herb Sutter ^{[ 13 ]} afirmando nueva información y perspectivas, así como una implementación experimental en el compilador cppfront .

Hasta 2018, era común ^{[ 14 ]} usar este término cuando en realidad se refería a la sintaxis de ruta calificada/explícita y más comúnmente a la sintaxis de ruta totalmente calificada : debido a que es posible tener varios rasgos que definen el mismo método implementado en la misma estructura, se necesita un mecanismo para desambiguar qué rasgo debe usarse. Las funciones miembro también pueden usarse como funciones libres a través de una ruta calificada (con espacio de nombres). El término UFCS es incorrecto para estos usos, ya que permite usar métodos como funciones libres (con espacio de nombres), pero no usar funciones libres como métodos.

• Rasgo (programación informática)
• Interfaz (programación informática)
• Go (lenguaje de programación) , otro lenguaje con una filosofía más abierta a los métodos
• Acoplamiento suelto
• Tipografía de pato
• encadenamiento de métodos