WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

FunctionDeclaration[name,typedfun]

コンパイラ環境での使用に適した型付き関数となる name を宣言する．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
オプション  
"Inline"  
関連項目
テクニカルノート
関連するガイド
履歴
引用書式

FunctionDeclaration

FunctionDeclaration[name,typedfun]

コンパイラ環境での使用に適した型付き関数となる name を宣言する．

詳細

  • FunctionDeclarationは宣言の記号表現で，そのままでは評価されない．
  • FunctionDeclarationの型付き関数はTyped[{t1,t2,…}tout]@Function[{x1,x2,…},body]の形でよい．
  • FunctionDeclaration内のTyped[{t1,t2,…}tout]@DownValuesFunction[sym]の形式の型付き関数は，sym に添付された関数宣言を使う．
  • Typed[{t1,t2,…}tout]@DownValuesFunction[sym]の形の型付き関数FunctionDeclarationは，計算にWolfram Engineを呼び出す．
  • FunctionDeclarationは，CompilerEnvironmentAppendToの中およびFunctionCompileのような関数の第1引数で使うことができる．
  • FunctionDeclarationで使われる名前は，型が異なる限り複数の宣言で使うことができる．
  • FunctionDeclarationの中で宣言された関数は，他の宣言で使うことができる．
  • FunctionDeclarationの中で宣言された関数は，ForAllTypeを使って複数の型について定義することができる．
  • FunctionDeclarationの中で使われる型はTypeDeclarationが宣言する新たな型から構築できる．
  • 外部ライブラリからエキスポートされた関数はLibraryFunctionDeclarationによって宣言することができる．
  • 次は，サポートされるオプションである．
  • "Inline" Automaticこの関数への呼出しがインラインになるべきか，関数呼出しのままになるべきか
  • 次は，"Inline"の可能な設定である．
  • Automaticこの関数が非常に小さい場合にのみインラインにする
    "Hint"この関数が非常に大きくてもインラインにしようとする
    "Never"この関数はインラインにしない
    "Always"この関数は常にインラインにする

例題

すべて開く すべて閉じる

例  (8)

FunctionDeclarationはFunctionCompileで使うことができる：

コンパイルには関数宣言が使われる：

FunctionDeclarationを使ってデフォルトのコンパイラ環境に定義を加えることができる：

この定義をコンパイルで使う：

コンパイルは関数定義を使う：

コンパイラ環境をリセットして宣言を消去する：

FunctionDeclarationを使って新たなコンパイラ環境に宣言を加えることができる：

CompilerEnvironmentオプションを使って環境を指定する：

関数名は複数の宣言で使うことができる：

1つのバージョンを呼び出す：

別のバージョンを呼び出す：

コンパイラ環境をリセットして宣言を消去する：

関数宣言は別の宣言を呼び出すことができる：

コンパイルには両方の宣言が使われる：

関数宣言は複数の型で使うことができる：

この宣言は整数の引数に使うことができる：

同じ宣言が文字列にも使える：

関数宣言には，:=で作性された定義を使ってDownValuesが設定できる：

関数に名前と型を与え，実装がDownValuesから来ることを宣言する：

これらの定義は効率的なコンパイル済みコードに変換される点に注意のこと：

優れているのは，このワークフローがコンパイルされていないバージョンと互換性がある点である：

最適化されたコンパイル済みコードははるかに速い：

関数宣言は，計算のためにWolfram Engineを呼び出すようにすることができる．

FactorIntegerを呼び出すが，コンパイル済みコードで関数に別の名前を与える：

この宣言を使う関数がコンパイルされた点に注意のこと：

計算はWolfram Engineで行われるので，コンパイル済みコードに利点がない可能性がある：

スコープ  (1)

TypeOfとTypeEvaluateを使って宣言内で型が設定できる：

オプション  (1)

"Inline"  (1)

デフォルト設定がインラインではない関数宣言：

"Hint"の設定は，関数がそのコーラーにマージされる確率が高いことを意味する：

非常に小さい関数はそのコーラーにマージされる：

"Never"の設定は，関数がそのコーラーにマージされないことを意味する：

"Always"の設定は，関数が常にコーラーにマージされることを意味する：

これはスタック割当てを戻すことができることを意味するので便利である：

Wolfram Research (2021), FunctionDeclaration, Wolfram言語関数， https://reference.wolfram.com/language/ref/FunctionDeclaration.html.

テキスト

Wolfram Research (2021), FunctionDeclaration, Wolfram言語関数， https://reference.wolfram.com/language/ref/FunctionDeclaration.html.

CMS

Wolfram Language. 2021. "FunctionDeclaration." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/FunctionDeclaration.html.

APA

Wolfram Language. (2021). FunctionDeclaration. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/FunctionDeclaration.html

BibTeX

@misc{reference.wolfram_2025_functiondeclaration, author="Wolfram Research", title="{FunctionDeclaration}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/FunctionDeclaration.html}", note=[Accessed: 17-September-2025]}

BibLaTeX

@online{reference.wolfram_2025_functiondeclaration, organization={Wolfram Research}, title={FunctionDeclaration}, year={2021}, url={https://reference.wolfram.com/language/ref/FunctionDeclaration.html}, note=[Accessed: 17-September-2025]}