함수 포인터 __attribute __ ((const)) 함수?

Question

어떻게 GCC/"GNU C"에서 __attribute__((const)) 함수를 가리키는 함수 포인터를 선언합니까? 아이디어는 컴파일러에서 이전 호출의 반환 값을 캐시 할 수있을 때 함수 포인터를 통해 호출되는 함수에 대한 여러 호출을 생성하지 않도록하려는 것입니다. 이 질문에 확실히 대답은 아니지만

Answer 1

typedef void (*t_const_function)(void) __attribute__((const)); 

static __attribute__((const)) void A(void) { 
} 

static void B(void) { 
} 

int main(int argc, const char* argv[]) { 
    t_const_function a = A; 

    // warning: initialization makes qualified 
    // function pointer from unqualified: 
    t_const_function b = B; 

    return 0; 
} 

또는 단지 :

__attribute__((const)) void(*a)(void) = A; 

Answer 2

, 당신은 아마이 알고 싶어 :

당신은 일반적인 경우에 컴파일러가 여기에 기대하는 최적화를 수행 기대할 수 없다. 컴파일러는 일반적인 경우 함수 포인터를 여러 번 사용하는 것이 동일한 함수에 해당한다는 것을 알기 위해 필요한 별칭 분석을 수행 할 수 없습니다.

포인터를 통한 두 함수 호출 사이의 함수 호출은 일반적으로 포인터 내용을 변경하여 호출 된 함수가 두 번째 호출에서 달라질 수 있습니다.

C의 특성으로 인해 적절한 별칭 분석을 수행하는 것이 종종 어려울 수 있으므로 이런 종류의 최적화가 발생하지 않을 수 있습니다.