내가 C의 함수 포인터의 배열을 가지고

Question

배열에서 항목을 인라인하지 않는 C 컴파일러를 강제 :

int f1 (void) { 
    return 1; 
} 
int f2 (void) { 
    return 2; 
} 
int (*const functions[])(void) = {f1, f2}; 

코드의 다른

어딘가에 (타사 도구를 사용하여), 나는의 내용을 파괴 함수 배열을 사용하기 전에. 따라서 ,

result = functions[0](); 

가 아닌 정의 행동 (실행중인 프로그램의 경우에도 낙태) 발생한다. 그러나 그렇지 않습니다. 결과는 마치 파괴가 일어난 적이없는 것처럼 보입니다.

현재, 나는이 문제에 대한 오류의 두 가지 소스를 상상할 수 :

1. 파괴가 컴파일러는 컴파일시에 배열의 내용을 인라인 따라서, 파괴 효과가 없습니다
2. 발생하지 않습니다.

지금까지 제 3 자 도구는 파괴 된 내용을 파괴하지 않는 동작을 보여주지 못했습니다. 그러므로 나는 후자를 추측해야만한다.

어떻게 함수 배열의 내용을 인라인하지 못하게 할 수 있습니까?

Answer 1

배열을 const으로 선언했기 때문에 컴파일러가 함수를 인라인 할 수 있으며 volatile이 아닙니다. 따라서 추상 실행 모델에 따르면, 배열이 결코 변경되지 않는다고 가정 할 수 있습니다.

배열을 변경할 수 있도록하려면 const을 제거해야합니다.

컴파일러가 다른 곳에서 변경 사항을 적용하려면 volatile을 추가해야합니다.

Answer 2

당신의 오류 시나리오는 나에게 많은 이해가되지 않습니다,하지만 우리가 무시한다면, 당신은 다음과 같이 인라인을 방지 할 수 있습니다 :

typedef int func_t (void); 

volatile func_t* const[] = {f1, f2}; 

이 컴파일러가 배열의 첫 번째 항목을 기대할 수 없다는 것을 의미합니다 항상 f1이어야하며 최적화가 불가능합니다. volatile은 호출하기 전에 함수 포인터 주소를 강제로 읽습니다. 즉, 주소가 있어야합니다. 즉, 인라인 된 함수에 주소가 없으므로 인라인이 불가능하다는 것을 의미합니다.