検索

• [ Prev ]
• [ Next ]
• [ C言語系 ]

thiscall呼び出し規約：

• C++でクラスのメンバ関数(インスタンスメソッド)で使われる。
• 引数はスタック上にPUSHする。(主に右から左へPUSH)
• スタックのクリーンアップは、コンパイラや可変長引数の有無により異なる。
  • 関数(callee)側でスタックをクリーンアップする場合は、アセンブラレベルでは "RET imm16" 命令を使い、戻る時にスタックポインタを"imm16"バイト分だけ戻す。つまり、"imm16"バイト分だけSPが増える(x86ではスタックはアドレスの小さい方へ進んでいくので、「戻る」＝SPのアドレス値は大きくなる)。
  • 関数を呼ぶ(caller)側でスタックをクリーンアップする場合は、アセンブラレベルではCALL命令の直後（＝関数からRETした直後）に、スタックポインタ(SP)にPUSHした引数のバイト分だけ即値を加算 (ADD)する。(x86ではスタックはアドレスの小さい方へ進んでいくので、「スタックのクリーンアップ」＝「戻る」＝SPのアドレス値を大きくする)。
• thiscall呼び出し規約はC++専用のため、C言語での他の呼び出し規約における装飾名のルールは使われず、C++でのmanglingがそのまま適用される。

• [ Prev ]
• [ Next ]
• [ C言語系 ]

"__declspec(naked)"を関数に指定すると、コンパイラはその関数のprolog, epilogを省略する。これがNaked FunctionあるいはNaked Function Callと呼ばれる呼び出し規約である。

"naked"属性は関数の「型」とは異なり、関数本体にのみ作用する。関数プロトタイプや変数に"__declspec(naked)"を指定するとコンパイルエラーになる。"naked"属性はx86アーキテクチャでのみ有効で、x86_64(x64)やItaniumアーキテクチャでは無効。

"naked"属性を指定しない場合の典型的なprolog/epilogとは以下のような機械語のことである。
prolog:

push        ebp                ; Save ebp
mov         ebp, esp           ; Set stack frame pointer
sub         esp, localbytes    ; Allocate space for locals
push        <registers>        ; Save registers

EBPをスタックに保存した後、ESPに合わせる(スタックフレームの生成)。ローカル変数用の領域をESPをずらすことで確保し、必要であればレジスタをスタックに保存する。これが、コンパイラが自動的に生成して関数本体の前に追加するprologコードになる。

epilog:

pop         <registers>   ; Restore registers
mov         esp, ebp      ; Restore stack pointer
pop         ebp           ; Restore ebp
ret                       ; Return from function

必要であればレジスタをスタックから復元し、ESPとEBPを復元し(スタックフレームの破棄)、RET命令を呼ぶ。これが、コンパイラが自動的に生成して関数本体の後ろに追加するepilogコードになる。

"naked"属性を指定された関数では、これらprolog/epilogコードが追加されない。代わりに、インラインアセンブラ(inline assembler)を用いてprolog/epilog相当のコードを手動で実装する。仮想デバイスドライバや割り込みハンドラなど、CPUに近い処理を実装する場合に活用できる。

"naked"属性の関数内ではスタックフレームの生成が開発者に委ねられるため、コンパイラの生成するスタックフレームに依存する機能が使えなくなる。

• returnステートメントが使えなくなる。
• _alloca 関数, setjmp 関数が使えなくなる。
• スタックフレームをunwindする構造化例外処理およびC++の例外処理が使えなくなる。
• フレームポインタ最適化オプション("/Oy")は推奨されなくなる(開発者自身の手動調整が前提になるため)。
• C++のオブジェクト生成でいくつか制限が発生する(下記MSDN参照)。
• ローカル変数については"__LOCAL_SIZE"シンボルをprologのインラインアセンブラで使う(下記MSDN参照)。

参考MSDN：(Visual C++ のリファレンス以下)

• Naked Functions
  • http://msdn.microsoft.com/ja-jp/library/21d5kd3a.aspx
    • "C/C++ Language" -> "C Language Reference" -> "Functions (C)" -> "C Function Definitions" -> "Naked Functions"
• Naked Function Calls
  • http://msdn.microsoft.com/ja-jp/library/5ekezyy2.aspx
    • "C/C++ Language" -> "C++ Language Reference" -> "Microsoft-Specific Modifiers" -> "Calling Conventions" -> "Naked Function Calls"

• [ Prev ]
• [ Next ]
• [ C言語系 ]

"WINAPI", "CALLBACK", "APIENTRY"はヘッダーファイルで定義された呼び出し規約で、実際にどの呼び出し規約("__stdcall", "__cdecl", "__pascal", ...)になるかは OS/コンパイラによって異なってくるので、使用する場合は注意が必要。

ただし、2010年現在の Win32 APIプラットフォームにおいては基本的にどれも "__stdcall" と考えて良い。
VC++2008, Borland C++ Compiler, OpenWatcom(32bit), MinGW-gcc 共に、この3つは"__stdcall"にdefineされている。

• [ Prev ]
• [ Next ]
• [ C言語系 ]

"PASCAL"はヘッダーファイルで定義された呼び出し規約で、"__pascal"呼び出し規約のことではない。
実際にどの呼び出し規約("__stdcall", "__cdecl", "__pascal", ...)になるかは、OS/コンパイラによって異なってくるので、使用する場合は注意が必要。

ただし、2010年現在の Win32 APIプラットフォームにおいては基本的に PASCAL == "__stdcall" と考えて良い。
VC++2008, Borland C++ Compiler, OpenWatcom(32bit), MinGW-gcc 共に、PASCALは"__stdcall"にdefineされている。

• [ Prev ]
• [ C言語系 ]

OpenWatcom で特に呼び出し規約を指定しない場合のデフォルトの呼び出し規約。

OpenWatcomでは、main()関数は強制的に __watcall 呼び出し規約になる（他の呼び出し規約を指定しても、無視される）。(ただし実験した結果であって、マニュアル・ドキュメント上でこの点について記載されているかは未確認)

• [ Prev ]
• [ Next ]
• [ C言語系 ]

__stdcall呼び出し規約：

• 引数はスタック上にPUSHする。(主に右から左へPUSH)
• 関数(callee)側でスタックをクリーンアップする。
  • アセンブラレベルではRET imm16命令を使って、戻る時にスタックポインタを"imm16"バイト分だけ戻す。つまり、"imm16"バイト分だけSPが増える(x86ではスタックはアドレスの小さい方へ進んでいくので、「戻る」＝SPのアドレス値は大きくなる)。

• [ Prev ]
• [ Next ]
• [ C言語系 ]

__cdecl呼び出し規約：

• 引数はスタック上にPUSHする。(主に右から左へPUSH)
• 関数を呼ぶ(caller)側でスタックをクリーンアップする。
  • アセンブラレベルではCALL命令の直後（＝関数からRETした直後）に、スタックポインタ(SP)にPUSHした引数のバイト分だけ即値を加算(ADD)する。(x86ではスタックはアドレスの小さい方へ進んでいくので、「スタックのクリーンアップ」＝「戻る」＝SPのアドレス値を大きくする)。
• 可変長引数を使う場合はこの呼び出し規約を使う必要がある。
  • 通常、引数がいくつPUSHされたのかを正確に判断出来るのは関数を呼ぶ側(caller)だけ。よってスタックのクリーンアップも関数を呼ぶ側(caller)で行う "__cdecl" を使う必要がある。
  • 装飾名に引数のスタック上のバイト数が含まれないのも、可変長引数を意識しているため。
• UNIX系のシステムの場合は、基本的に "__cdecl" が使われる。

example:
PUSH arg3  ; 4byte
PUSH arg2  ; 2byte
PUSH arg1  ; 1byte
CALL _foobar
ADD ESP, 7 ; スタックポインタを7バイト戻す

• [ Prev ]
• [ Next ]
• [ C言語系 ]

__pascal呼び出し規約：

• 引数はスタック上にPUSHする。(主に左から右へPUSH)
• 関数(callee)側でスタックをクリーンアップする。
  • アセンブラレベルではRET imm16命令を使って、戻る時にスタックポインタを"imm16"バイト分だけ戻す。つまり、"imm16"バイト分だけSPが増える(x86ではスタックはアドレスの小さい方へ進んでいくので、「戻る」＝SPのアドレス値は大きくなる)。

• [ Prev ]
• [ Next ]
• [ C言語系 ]

Borlandのfastcallの別名。Delphiではこちらの名前を使っている。

• C言語系/呼び出し規約/x86/fastcall参照。
  • 引数は左から右に渡す。
  • 引数渡しに使用するレジスタは最大3つ。

なおあくまでも "Delphi用の" 名前で、Borland C++ Compiler(Borland C++ 5.5.1)の方では対応していない。Borland C++ Compilerでは代わりに "__fastcall" を指定する。

• Procedures and Functions - RAD Studio
  • http://docwiki.embarcadero.com/RADStudio/en/Procedures_and_Functions
• x86 calling conventions - Wikipedia, the free encyclopedia
  • http://en.wikipedia.org/wiki/X86_calling_conventions

• [ Prev ]
• [ Next ]
• [ Up ]
• [ C言語系 ]

• [ Prev ]
• [ Next ]
• [ C言語系 ]

__fastcall呼び出し規約：

• 一部の引数はレジスタ経由で渡される。
  • 残りの引数はスタック上にPUSHする。(主に右から左へPUSH)
• (スタック渡しの引数がある場合は)関数(callee)側でスタックをクリーンアップする。
  • アセンブラレベルではRET imm16命令を使って、戻る時にスタックポインタを"imm16"バイト分だけ戻す。つまり、"imm16"バイト分だけSPが増える(x86ではスタックはアドレスの小さい方へ進んでいくので、「戻る」＝SPのアドレス値は大きくなる)。
• Borland C++ Compilerにおいて、Delphi互換の "__fastcall" と Microsoft互換の "__msfastcall" の二種類がある点に注意すること。("__fastcall"と"__msfastcall"との間には互換性は無い。)