__thiscall

The __thiscall calling convention is the default calling convention used by methods inside a class. That is why it is only possible in C++ but not in C. In this convention:

  • Arguments are pushed on the stack from Right to Left.
  • The this pointer is passed via register ECX, and not on the stack.
  • Since we pass this pointer as well, we cannot use this calling convention for non-member functions.
  • Callee cleans the stack.

Let us look at the assembly code for main():

result = obj.thiscallAdd(5, 6);

Ruby




; Line 51
    push    6
    push    5
    lea    ecx, DWORD PTR _obj$[ebp]
    call    ?thiscallAdd@Temp@@QAEHHH@Z        ; Temp::thiscallAdd
    mov    DWORD PTR _result$[ebp], eax


Here, we can see in thiscallAdd, first, the arguments are passed in Right to Left order. Then, the ‘this’ pointer(which refers to the object itself) is passed on to the ECX register.

The function with calling convention __thiscall is thiscalllAdd() inside the Temp class, which is called on line 51 in the main function.

We need to create a class with a member function ‘thiscallAdd’ to use the __thiscall convention. This is because __thiscall can only be used for member functions of a class. In fact, you cannot even use the keyword static when using this calling convention. So, __thiscall can only appear on non-static member functions.

thiscallAdd()

Ruby




?thiscallAdd@Temp@@QAEHHH@Z PROC            ; Temp::thiscallAdd, COMDAT
; _this$ = ecx
; File c:\users\ruchit\documents\code\visual studio\visual studio\source.cpp
; Line 29
    push    ebp
    mov    ebp, esp
    sub    esp, 216                ; 000000d8H
    push    ebx
    push    esi
    push    edi
    push    ecx
    lea    edi, DWORD PTR [ebp-216]
    mov    ecx, 54                    ; 00000036H
    mov    eax, -858993460                ; ccccccccH
    rep stosd
    pop    ecx
    mov    DWORD PTR _this$[ebp], ecx
    mov    ecx, OFFSET __F81044A6_source@cpp
    call    @__CheckForDebuggerJustMyCode@4
; Line 30
    mov    eax, DWORD PTR _a$[ebp]
    add    eax, DWORD PTR _b$[ebp]
    mov    DWORD PTR _c$[ebp], eax
; Line 31
    mov    eax, DWORD PTR _c$[ebp]
; Line 32
    pop    edi
    pop    esi
    pop    ebx
    add    esp, 216                ; 000000d8H
    cmp    ebp, esp
    call    __RTC_CheckEsp
    mov    esp, ebp
    pop    ebp
    ret    8
?thiscallAdd@Temp@@QAEHHH@Z ENDP            ; Temp::thiscallAdd


Explanation: The ‘this’ in classes is a self-reference and thus, the name of the convention: __thiscall.

When we look at the last statement executed, i.e. ret 8, we see that we are adding 8 bytes to the stack pointer and then returning the control to the main. The callee has popped the 2 arguments passed (4 bytes each)and has cleared up the stack.

Calling Conventions in C/C++

In C/C++ programming, a calling convention is a set of rules that specify how a function will be called. You might have seen keywords like __cdecl or __stdcall when you get linking errors. For example:

error LNK2019: unresolved external symbol "void __cdecl A(void)" (?A@@YAXXZ) referenced in function _main

Here, we see __cdecl being used. It is one of the calling conventions in C/C++. You can also see code like this in 3rd party libraries.

For example:

extern __m128i __cdecl _mm256_mask_cvtepi32_epi16(__m128i, __mmask8, __m256i);

What are caller and callee?

When we call a function, a stack frame is allocated for that function, arguments are passed to the function, and after the function does its work, the allocated stack frame is deallocated and control is passed to the calling function.

The function that calls the subroutine is called the caller. The function that gets called(i.e. subroutine) by the caller is called the callee.

C++




// C++ Program to illustrate the caller and callee
#include <iostream>
  
// callee
void func() { std::cout << "Geeks"; }
  
// caller
int main()
{
  
    // function call
    func();
  
    return 0;
}


Output

Geeks

In the above code, main() is the caller and func() is the callee.

Similar Reads

Calling Conventions

...

Example of Calling Convention

The Calling Conventions in C/C++ are the guidelines that determine:...

__cdecl

The following program illustrates how to use the calling convention....

__stdcall

...

__fastcall

The __cdecl calling convention is the default calling convention in C/C++. In this calling convention:...

__thiscall

...

Advantages of Calling Conventions

...

Contact Us