Hàm con trỏ tới hàm __attribute __ ((const))?

Question

Làm thế nào (trong GCC/"GNU C") bạn có khai báo một con trỏ hàm trỏ đến hàm __attribute__((const)) không? Ý tưởng được rằng tôi muốn trình biên dịch để tránh tạo ra nhiều cuộc gọi đến các chức năng được gọi là thông qua con trỏ hàm khi nó có thể cache giá trị trả về từ một cuộc gọi trước đó.

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; 
} 

Hoặc chỉ:

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

Answer 2

Mặc dù đây không phải là khá câu trả lời cho câu hỏi của bạn, có thể bạn muốn biết điều này:

Bạn không thể trong trường hợp chung mong đợi trình biên dịch để thực hiện việc tối ưu hóa mà bạn mong đợi ở đây. Trình biên dịch không thể trong trường hợp chung làm phân tích bí danh cần thiết để biết rằng việc sử dụng nhiều con trỏ hàm tương ứng với cùng một hàm.

Một cuộc gọi hàm giữa hai lần gọi hàm thông qua con trỏ có thể, trong trường hợp chung, thay đổi nội dung con trỏ, do đó làm cho hàm được gọi khác nhau trong lần gọi thứ hai.

Do tính chất của C, việc phân tích bí danh thích hợp thường khó có thể xảy ra và loại tối ưu hóa này không có khả năng xảy ra.