Ellipsis (computer programming)

In computer programming, ellipsis notation (.. or ...) is used to denote ranges, an unspecified number of arguments, or a parent directory. Most programming languages require the ellipsis to be written as a series of periods; a single (Unicode) ellipsis character cannot be used.

Ranges

edit

In some programming languages (including Ada, Perl, Ruby, Apache Groovy, Kotlin, Haskell, and Pascal), a shortened two-dot ellipsis is used to represent a range of values given two endpoints; for example, to iterate through a list of integers between 1 and 100 inclusive in Perl:

foreach (1..100)

In Ruby the ... operator denotes a half-open range, i.e. that includes the start value but not the end value.

In Rust the ..= operator denotes an inclusive range for cases in matches and the .. operator represents a range not including the end value.

Perl and Ruby overload the ".." operator in scalar context as a flip-flop operator - a stateful bistable Boolean test, roughly equivalent to "true while x but not yet y", similarly to the "," operator in sed and AWK.[1]

GNU C compatible compilers have an extension to the C and C++ language to allow case ranges in switch statements:

switch(u) {
  case     0 ...   0x7F : putchar(c); break;
  case  0x80 ...  0x7FF : putchar(0xC0 + c>>6);  putchar( 0x80 + c&0x3f); break;
  case 0x800 ... 0xFFFF : putchar(0xE0 + c>>12); putchar( 0x80 + (c>>6)&0x3f); putchar( 0x80 + (c>>12) ); break;
  default: error("not supported!");
}

Additionally, GNU C allows a similar range syntax for designated initializers, available in the C language only:

int array[10] = { [0...5] = 1 };

Delphi / Turbo Pascal / Free Pascal:

var FilteredChars: set of [#0..#32,#127,'a'..'z'];
var CheckedItems: set of [4,10..38,241,58];

In the Unified Modeling Language (UML), a two-character ellipsis is used to indicate variable cardinality of an association. For example, a cardinality of 1..* means that the number of elements aggregated in an association can range from 1 to infinity (a usage equivalent to Kleene plus).

Parent directory

edit

On Windows and Unix-like operating systems, ".." is used to access the parent directory in a path.

Incomplete code

edit

In Perl[2] and Raku[3] the 3-character ellipsis is also known as the "yada yada yada" operator and, similarly to its linguistic meaning, serves as a "stand-in" for code to be inserted later.

Python3 also allows the 3-character ellipsis to be used as an expressive place-holder for code to be inserted later.

In Abstract Syntax Notation One (ASN.1), the ellipsis is used as an extension marker to indicate the possibility of type extensions in future revisions of a protocol specification. In a type constraint expression like A ::= INTEGER (0..127, ..., 256..511) an ellipsis is used to separate the extension root from extension additions. The definition of type A in version 1 system of the form A ::= INTEGER (0..127, ...) and the definition of type A in version 2 system of the form A ::= INTEGER (0..127, ..., 256..511) constitute an extension series of the same type A in different versions of the same specification. The ellipsis can also be used in compound type definitions to separate the set of fields belonging to the extension root from the set of fields constituting extension additions. Here is an example: B ::= SEQUENCE { a INTEGER, b INTEGER, ..., c INTEGER }

Variable number of parameters

edit

C and C++

edit

In the C programming language, an ellipsis is used to represent a variable number of parameters to a function. For example:

int printf( const char* format, ... );[4]

The above function in C could then be called with different types and numbers of parameters such as:

printf("numbers %i %i %i", 5, 10, 15);

and

printf("input string %s, %f", "another string", 0.5);

C99 introduced macros with a variable number of arguments.[5]

C++11 included the C99 preprocessor,[6] and also introduced templates with a variable number of arguments.[7]

Java

edit

As of version 1.5, Java has adopted this "varargs" functionality. For example:

public int func(int num, String... strings)

PHP 5.6 supports[8] use of ellipsis to define an explicitly variadic function, where ... before an argument in a function definition means that arguments from that point on will be collected into an array. For example:

function variadic_function($a, $b, ...$other)
{
    return $other;
}

var_dump(variadic_function(1, 2, 3, 4, 5));

Produces this output:

  array(3) {
    [0]=>
    int(3)
    [1]=>
    int(4)
    [2]=>
    int(5)
  }

Multiple dimensions

edit

In Python, the ellipsis is a nullary expression that represents the Ellipsis singleton.

It's used particularly in NumPy, where an ellipsis is used for slicing an arbitrary number of dimensions for a high-dimensional array:[9]

>>> import numpy as np
>>> t = np.random.rand(2, 3, 4, 5)
>>> t[..., 0].shape # select 1st element from last dimension, copy rest
(2, 3, 4)
>>> t[0, ...].shape # select 1st element from first dimension, copy rest
(3, 4, 5)

Other semantics

edit

MATLAB

edit

In MATLAB, a three-character ellipsis is used to indicate line continuation,[10] making the sequence of lines

x = [ 1 2 3 ...
4 5 6 ];

semantically equivalent to the single line

x = [ 1 2 3 4 5 6 ];

In Raku an actual Unicode (U+2026) ellipsis (…) character is used to serve as a type of marker in a format string.[11]

Since PHP 8.1, a nullary ellipsis may be used to create a closure from a callable or an object method:[12]

// old style: PHP 8.0 and older
$foo = [$this, 'foo'];
$fn = Closure::fromCallable('strlen'); 

// new style: PHP 8.1 and newer
$foo = $this->foo(...);
$fn = strlen(...);

Python

edit

In Python, the ellipsis can also be used as the first parameter within the collections.abc.Callable type annotation to denote any number of arguments:[13]

from collections.abc import Callable
from typing import TypeAlias, Any

VarFunction: TypeAlias = Callable[..., Any]

References

edit
  1. ^ perlop - perldoc.perl.org
  2. ^ "Perlsyn - Perl syntax - Perldoc Browser".
  3. ^ "Operators".
  4. ^ "Printf - C++ Reference".
  5. ^ Variadic Macros - Using the GNU Compiler Collection (GCC)
  6. ^ Working draft changes for C99 preprocessor synchronization - http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2004/n1653.htm
  7. ^ "Working Draft, Standard for Programming Language C++" (PDF).: 14.5.3 Variadic templates
  8. ^ "PHP: RFC:variadics".
  9. ^ "Indexing routines — NumPy v1.22 Manual".
  10. ^ "Mathworks.com". Archived from the original on 2011-06-29. Retrieved 2011-04-14.
  11. ^ Conway, Damian (2006-05-29) [2004-02-26]. Wall, Larry (ed.). "Exegesis 7: Formats". dev.perl.org. 2. Archived from the original on 2011-06-15.
  12. ^ "PHP 8.1.0 Release Announcement". php.net. Retrieved 2023-03-29.
  13. ^ "typing — Support for type hints § typing.Callable". Python 3.11.2 Documentation. Retrieved 2023-03-29.