C 언어의 일부 기능은 방금 작동하는 해킹으로 시작되었습니다.

기본 및 가변 길이 인수 목록에 대한 다중 서명은 이러한 기능 중 하나입니다.

프로그래머는 함수에 추가 인수를 전달할 수 있으며 주어진 컴파일러에서 나쁜 일이 발생하지 않는다는 것을 알았습니다.

호출 규칙이 다음과 같은 경우입니다.

1. 호출 함수는 인수를 정리합니다.
2. 가장 왼쪽의 인수는 스택의 맨 위 또는 스택 프레임의 기본에 더 가깝기 때문에 가짜 인수가 주소 지정을 무효화하지 않습니다.

이러한 규칙을 따르는 호출 규칙 중 하나는 호출자가 인수를 팝하고 오른쪽에서 왼쪽으로 푸시되는 스택 기반 매개 변수 전달입니다.

 ;; pseudo-assembly-language
 ;; main(argc, argv, envp); call

 push envp  ;; rightmost argument
 push argv  ;;
 push argc  ;; leftmost argument ends up on top of stack

 call main

 pop        ;; caller cleans up
 pop
 pop

이러한 유형의 호출 규칙이 적용되는 컴파일러에서는 두 가지 유형 main또는 추가 유형 을 지원하기 위해 특별히 수행 할 필요가 없습니다 . main인수가없는 함수일 수 있습니다.이 경우 스택에 푸시 된 항목을 알 수 없습니다. 두 인수의 함수 인 경우 argc및 argv두 개의 최상위 스택 항목을 찾습니다 . 환경 포인터 (공통 확장)가있는 플랫폼 별 3 개 인수 변형 인 경우에도 작동합니다. 스택 맨 위에서 세 번째 요소로 세 번째 인수를 찾습니다.

따라서 고정 호출은 모든 경우에 작동하므로 단일 고정 시작 모듈을 프로그램에 연결할 수 있습니다. 해당 모듈은 다음과 유사한 함수로 C로 작성 될 수 있습니다.

/* I'm adding envp to show that even a popular platform-specific variant
   can be handled. */
extern int main(int argc, char **argv, char **envp);

void __start(void)
{
  /* This is the real startup function for the executable.
     It performs a bunch of library initialization. */

  /* ... */

  /* And then: */
  exit(main(argc_from_somewhere, argv_from_somewhere, envp_from_somewhere));
}

즉,이 시작 모듈은 항상 3 인수 main을 호출합니다. main이 인수를 사용하지 않거나 만 사용 int, char **하는 경우 호출 규칙으로 인해 인수가 필요하지 않을뿐만 아니라 정상적으로 작동합니다.

프로그램에서 이런 종류의 일을한다면 이식이 불가능하고 ISO C에서 정의되지 않은 동작으로 간주됩니다. 한 가지 방식으로 함수를 선언하고 호출하고 다른 방식으로 정의하는 것입니다. 그러나 컴파일러의 시작 트릭은 이식 가능할 필요가 없습니다. 휴대용 프로그램에 대한 규칙을 따르지 않습니다.

그러나 호출 규칙이 이러한 방식으로 작동 할 수 없다고 가정합니다. 이 경우 컴파일러는 main특별히 처리해야 합니다. main함수를 컴파일하고 있음을 발견 하면 세 개의 인수 호출과 호환되는 코드를 생성 할 수 있습니다.

즉, 다음과 같이 작성합니다.

int main(void)
{
   /* ... */
}

그러나 컴파일러가 그것을 볼 때 본질적으로 코드 변환을 수행하여 컴파일하는 함수가 다음과 같이 보입니다.

int main(int __argc_ignore, char **__argv_ignore, char **__envp_ignore)
{
   /* ... */
}

이름 __argc_ignore이 문자 그대로 존재하지 않는다는 점을 제외하면 . 이러한 이름은 범위에 도입되지 않으며 사용되지 않은 인수에 대한 경고도 없습니다. 코드 변환은 컴파일러가 세 개의 인수를 정리해야한다는 것을 알고있는 올바른 연결로 코드를 내보내도록합니다.

또 다른 구현 전략은 컴파일러 또는 링커가 __start함수 (또는 호출되는 모든 항목) 를 사용자 지정 생성 하거나, 미리 컴파일 된 여러 대안 중에서 하나를 선택하는 것입니다. 지원되는 형식 중 어느 main것이 사용 되는지에 대한 정보를 개체 파일에 저장할 수 있습니다 . 링커는이 정보를보고 main프로그램 정의와 호환되는 호출이 포함 된 시작 모듈의 올바른 버전을 선택할 수 있습니다 . C 구현에는 일반적으로 지원되는 형식 main이 적으므로이 접근 방식이 가능합니다.

C99 언어 용 컴파일러 main는 함수가 return명령문 없이 종료 되면 동작이 return 0실행 된 것처럼 동작 하는 해킹을 지원 하기 위해 항상 어느 정도 특별히 처리해야합니다 . 이것은 다시 코드 변환으로 처리 할 수 ​​있습니다. 컴파일러 main는 호출 된 함수 가 컴파일되고 있음을 인식합니다 . 그런 다음 신체 끝 부분에 잠재적으로 도달 할 수 있는지 여부를 확인합니다. 그렇다면return 0;