x86 어셈블리에서 객체는 어떻게 저장되고 액세스됩니까?

어셈블리(x86)의 개체 저장소 이해

x86 어셈블리에서 개체는 연속적인 메모리 블록으로 저장됩니다. 고급 언어와 같은 클래스와 본질적으로 연관되어 있지 않습니다. 대신 프로그램이 조작할 수 있는 단순히 바이트 섹션입니다.

구조체 및 클래스 저장소

구조체와 클래스는 다음과 같은 클래스를 제외하고 동일하게 저장됩니다. 가상 멤버에는 첫 번째 요소로 추가된 암시적 "vtable"이 있습니다. 이 vtable에는 각 가상 함수 구현에 대한 포인터가 포함되어 있어 동적 바인딩이 가능합니다.

멤버 함수 액세스

멤버 함수는 암시적 "this" 포인터를 통해 액세스됩니다. 함수의 첫 번째 인수로 전달됩니다. 이 포인터는 멤버가 액세스되는 객체를 가리킵니다.

가상 함수 디스패치

가상 함수가 호출되면 컴파일러는 객체의 vtable을 확인하여 올바른 멤버를 결정합니다. 기능 구현. 이러한 동적 동작은 다양한 파생 클래스가 기본 클래스 가상 함수를 재정의할 수 있는 다형성 동작을 허용합니다.

등록 최적화

컴파일러는 구조체에 대한 메모리 할당을 최적화하도록 선택할 수 있습니다. 특히 작은 구조나 지역 변수의 경우 더욱 그렇습니다. CPU 레지스터에 구조체 멤버를 유지할 수 있으므로 메모리 액세스가 필요하지 않습니다.

예

다음 코드를 고려하세요.

struct foo {
  int m_a;
  int m_b;

  void inc_a() { m_a++; }

  void inc_b() { m_b++; }
};

inc_b 함수의 어셈블리 코드는 다음과 같습니다.

foo::inc_b():
    mov eax, DWORD PTR [rdi+4]      # eax = this->m_b
    lea edx, [rax+1]                # edx = eax+1
    mov DWORD PTR [rdi+4], edx      # this->m_b = edx
    ret

In 이 코드에서는 암시적 "this" 포인터가 rdi 레지스터에 전달되고 값은 컴파일러에 의해 결정된 대로 객체 내에서 4바이트 간격으로 저장됩니다.

위 내용은 x86 어셈블리에서 객체는 어떻게 저장되고 액세스됩니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!