名前付き引数

fn foo(width: i32, height: i32)

fn foo(width: i32, height: i32) {}
foo(10, 20); // 引数名は呼び出し側に現れない

struct FooArgs { width: i32, height: i32 }
fn foo2(args: FooArgs) {}
foo2(FooArgs { width: 10, height: 20 }); // フィールド名で意味を明示

言語機能としての名前付き引数はなく、これまでも提案はあるが採用されていない。意味を明示したい場合は、フィールド名を持つ構造体を渡すことが一般的な代替手段になる。

fn foo(~width : Int, ~height : Int) -> Int

fn foo(~width : Int, ~height : Int) -> Int {
  width + height
}
foo(~width=10, ~height=20) // ラベル名で明示

let width = 10
foo(~width, ~height=20) // ラベル名と同名の変数なら ~width と省略できる

定義側で引数名の前に`~`を付けるとラベル付き引数になり、呼び出し側も`~label=value`の形で渡す。OCamlのラベル付き引数に近い設計で、変数名がラベルと同じ場合は`~label`と省略できる。

func foo(width: Int, height: Int)

func foo(width: Int, height: Int) {}
foo(width: 10, height: 20) // ラベルは既定で必須

func bar(_ width: Int, _ height: Int) {}
bar(10, 20) // _ を付けるとラベルを省略できる

他言語のように「名前付き引数を選べる」のではなく、引数ラベルを書くことが既定の呼び出し方になっている。省略したい場合は定義側で`_`を明示する必要があり、位置引数のみの呼び出しのほうが例外的な扱いになる。

fun foo(width: Int, height: Int = 0)

fun foo(width: Int, height: Int = 0) {}
foo(width = 10, height = 20) // 名前付き
foo(10, height = 20)         // 位置引数と併用可
foo(height = 20, width = 10) // 順序は自由

名前付き引数と位置引数を併用でき、名前付きにすれば順序も自由に変えられる。デフォルト引数と組み合わせることで、オプションが多い関数を簡潔に呼び出せる。

void foo(int width, int height)

void foo(int width, int height) {}
foo(10, 20); // 引数名は呼び出し側に現れない

new PersonBuilder().width(10).height(20).build(); // Builderで意味を明示

言語機能としての名前付き引数はない。引数が増えた場合はBuilderパターンでメソッド名に意味を持たせることが多い。

def foo(width: Int, height: Int = 0): Unit

def foo(width: Int, height: Int = 0): Unit = {}
foo(width = 10, height = 20) // 名前付き
foo(10, height = 20)         // 位置引数と併用可

Kotlinと同様、名前付き引数と位置引数を併用でき、デフォルト引数と組み合わせて使うことが多い。

void Foo(int width, int height = 0)

void Foo(int width, int height = 0) {}
Foo(width: 10, height: 20); // 名前付き
Foo(10, height: 20);        // 位置引数の後に名前付きを続けられる
Foo(height: 20, width: 10); // 名前付きだけなら順序は自由

C# 4.0で導入。位置引数の後ろに名前付き引数を続けられるが、名前付き引数の後に位置引数を書くことはできない。オプション引数と組み合わせ、多数の引数を持つAPIを呼びやすくする目的で使われる。

void foo(int width, int height);

void foo(int width, int height) {}
foo(10, 20); // 引数名は呼び出し側に現れない

struct FooArgs { int width; int height; };
void foo2(FooArgs args) {}
foo2({.width = 10, .height = 20}); // C++20の指定初期化子（集成体のみ）

関数呼び出しに名前付き引数の構文はない。C++20で追加された指定初期化子（designated initializers）は集成体の初期化にのみ使え、関数呼び出しの引数を名前で指定することはできない。

void foo(int width, int height);

void foo(int width, int height) {}
foo(10, 20); // 引数名は呼び出し側に現れない

struct FooArgs { int width; int height; };
void foo2(struct FooArgs args) {}
foo2((struct FooArgs){.width = 10, .height = 20}); // C99の指定初期化子（構造体のみ）

関数呼び出しに名前付き引数の構文はない。C99で追加された指定初期化子（designated initializers）は構造体・配列の初期化にのみ使え、C++20の集成体初期化子はこの機能をそのまま受け継いでいる。可変長引数（`...`と`stdarg.h`）を使えば引数の個数を柔軟にできるが、型安全性は呼び出し側の規律に委ねられ、`printf`系関数のフォーマット文字列と実引数の不一致は典型的な未定義動作の原因になる。

func Foo(width, height int)

func Foo(width, height int) {}
Foo(10, 20) // 引数名は呼び出し側に現れない

type FooOptions struct { Width, Height int }
func Foo2(opts FooOptions) {}
Foo2(FooOptions{Width: 10, Height: 20}) // フィールド名で意味を明示

名前付き引数はなく、オプションが多い関数では構造体を渡すか、Functional Optionsパターンで意味を持たせるのが一般的。

fn foo(opts: struct { width: i32, height: i32 = 0 }) i32

const Options = struct {
    width: i32,
    height: i32 = 0, // デフォルト値を持てる
};

fn foo(opts: Options) i32 {
    return opts.width + opts.height;
}

foo(.{ .width = 10, .height = 20 }); // anonymous struct literalで意味を明示
foo(.{ .width = 10 });               // heightはデフォルト値を使う

関数呼び出しに名前付き引数の構文はなく、位置引数のみ。標準ライブラリではフィールドにデフォルト値を持つ`Options`のようなstructを1つの引数として受け取り、呼び出し側は型名を省略できる`.{ .field = value }`というanonymous struct literalでフィールド名を明示しつつ、省略したフィールドはデフォルト値に委ねる慣習が広く使われる。C/Goの「構造体で代替」と同じ発想だが、フィールドのデフォルト値と組み合わせられる点が異なる。

let foo ~width ~height = width + height

let foo ~width ~height = width + height
foo ~width:10 ~height:20 (* ラベル名で明示 *)
foo ~height:20 ~width:10 (* ラベル付き同士は順序を入れ替えられる *)

let bar ~width ?(height=0) () = width + height
bar ~width:10 () (* heightは省略可能（デフォルト値） *)

`~label:value`でラベル付き引数を、`?label`で省略可能な引数を表現できる。ラベル付き引数同士は呼び出し順序を入れ替えられ、ラベルなしの位置引数とも混在できる。

member this.Foo(width, height) = width + height

type Calc() =
    member this.Foo(width, height) = width + height

let c = Calc()
c.Foo(width = 10, height = 20) // メンバーメソッドは名前付き引数を使える
c.Foo(10, height = 20)         // 位置引数と併用可

let foo width height = width + height
foo 10 20 // let関数はカリー化された位置引数のみ。名前付き引数は使えない

C#との相互運用を意識した.NETのメンバーメソッド（`member`）呼び出しでは名前付き引数が使え、位置引数と併用したり順序を入れ替えたりもできる。一方、OCaml由来のカリー化された`let`関数では、ラベル付き引数（OCamlの`~label`）に相当する機能自体がなく、位置引数のみになる。同じ言語の中で関数の定義方法によって名前付き引数の可否が変わる、やや非対称な設計。

foo :: Int -> Int -> Int

foo :: Int -> Int -> Int
foo width height = width + height
foo 10 20 -- 引数名は呼び出し側に現れない

data FooArgs = FooArgs { width :: Int, height :: Int }
foo2 :: FooArgs -> Int
foo2 args = width args + height args
foo2 FooArgs { width = 10, height = 20 } -- フィールド名で意味を明示

関数呼び出しに名前付き引数はない。意味を明示したい場合は、フィールド名を持つレコードを渡すことが一般的な代替手段になる。

foo(Opts)

foo(Opts) ->
    Width = proplists:get_value(width, Opts, 0),
    Height = proplists:get_value(height, Opts, 0),
    Width + Height.

foo([{width, 10}, {height, 20}]).
foo(#{width => 10, height => 20}).

proplist（`{key, value}`のタプルのリスト）やmapを1つの引数として渡し、関数側で`proplists:get_value/3`やパターンマッチで値を取り出す慣習がある。`width`・`height`という名前を関数シグネチャがコンパイラソースコードを解析し、実行可能な形式（機械語や中間表現）に変換するプログラム。静的型付け言語では、実行前にコンパイラが型の不整合などをチェックする役割も担う。で検証するわけではなく、キーワードリストを言語機能として持つElixirより一段低レイヤーな表現。

def foo(opts \\ [])

def foo(opts \\ []) do
  width = Keyword.get(opts, :width, 0)
  height = Keyword.get(opts, :height, 0)
end

foo(width: 10, height: 20) # 最後の引数のキーワードリストとして渡る

`width: 10, height: 20`という書き方はキーワードリストの糖衣構文であり、関数側で個別の引数名にマッピングされるわけではない。呼び出し側の見た目は名前付き引数に近いが、実体は「最後の引数として1つのリストを受け取る」設計であり、`width`・`height`という名前をコンパイラソースコードを解析し、実行可能な形式（機械語や中間表現）に変換するプログラム。静的型付け言語では、実行前にコンパイラが型の不整合などをチェックする役割も担う。が検証するわけではない。

function foo({ width, height }: { width: number; height: number })

function foo({ width, height }: { width: number; height: number }) {}
foo({ width: 10, height: 20 }); // オブジェクトで意味を明示

function bar(width: number, height: number) {}
bar(10, 20); // 通常の引数は位置のみ

言語機能としての名前付き引数はないが、オブジェクトを受け取り分割代入するパターンで、名前付き引数に近い書き心地を実現できる。型注釈と組み合わせれば、キーの必須・省略も表現できる。

function foo({ width, height })

function foo({ width, height }) {}
foo({ width: 10, height: 20 }); // オブジェクトで意味を明示

function bar(width, height) {}
bar(10, 20); // 通常の引数は位置のみ

言語機能としての名前付き引数はなく、TypeScriptと同じくオブジェクト引数＋分割代入のパターンで代替する。型がない分、キーの必須・省略はドキュメントやデフォルト値で表すしかない。

function foo(int $width, int $height = 0)

function foo(int $width, int $height = 0) {}
foo(width: 10, height: 20); // 名前付き引数
foo(10, height: 20);        // 位置引数と併用可
foo(height: 20, width: 10); // 名前付きだけなら順序は自由

PHP 8.0で追加された比較的新しい機能。名前付き引数を使うと、デフォルト値を持つ引数の一部だけを省略して呼び出せる。

def foo(width:, height: 0)

def foo(width:, height: 0)
end
foo(width: 10, height: 20) # widthは必須のキーワード引数
foo(width: 10)              # heightは省略可能（デフォルト値）

def bar(a, b, width:, height: 0)
end
bar(1, 2, width: 10) # 位置引数とキーワード引数を併用

Ruby 2.0でキーワード引数として導入。定義側で`width:`のように書くと必須、`height: 0`のようにデフォルト値を書くと省略可能になり、位置引数と明確に区別される。

def foo(width: int, height: int = 0)

def foo(width: int, height: int = 0): ...
foo(width=10, height=20) # キーワード引数
foo(10, height=20)       # 位置引数と併用可

def bar(*, width: int, height: int): ... # * より後ろはキーワード専用
bar(width=10, height=20)
# bar(10, 20) # NG: キーワード専用引数は位置渡しできない

位置引数とキーワード引数を併用でき、`*`を使うと以降の引数をキーワード専用にできる。デフォルト引数と組み合わせて、オプションが多いAPIでもよく使われる。