C: Con trỏ trỏ tới nội tuyến chức năng

Question

Tôi có một chức năng static inline định nghĩa trong một tập tin H, và tại một thời điểm nào đó trong một file C, tôi gán một con trỏ đến chức năng, một cái gì đó như thế này:

foo.h :

static inline void frobnicate(void) { 
    // frobs something. 
} 

foo.c

#include "foo.h" 

void execute(void (*func)(void)) { 
    func(); 
} 

void blahBlahBlah(void) { 
    execute(frobnicate); 
} 

bar.c

#include "foo.h" 
// ... 
frobnicate(); 

Vì vậy, tôi nghĩ điều gì sẽ xảy ra ở đây là trình biên dịch sẽ chuyển nội dung cuộc gọi đến frobnicate từ bar.c, nhưng trong foo.c, nó sẽ thực sự phải tạo một hàm để triển khai frobnicate, để nó có thể hoạt động con trỏ đến nó.

Có ai có thể xác nhận nếu hiểu biết của tôi là chính xác không và sửa tôi bằng cách khác?

Answer 1

inline là một trong những từ định nghĩa sai của tiêu chuẩn C. Ý nghĩa chính của nó là có thể đặt định nghĩa của một hàm trong một tệp tiêu đề mà không phải đối phó với các vấn đề "nhiều định nghĩa" tại thời gian liên kết.

Cách chính thức trong C99 và C11 để thực hiện những gì bạn muốn đạt được là có định nghĩa inline trong tệp tiêu đề, không có static. Vì bạn cũng cần biểu tượng được phát ra, bạn cần phải thông báo cho trình biên dịch biết đơn vị biên dịch này nên là gì. Bạn có thể thực hiện việc tạo bản sao này bằng cách khai báo trong tệp .c đó trong đó bạn bỏ qua từ khóa inline.

Tự nhiên nhất bạn có thể sử dụng tệp .c nơi bạn thực sự cần biểu tượng.

Answer 2

Có, bạn đã đúng. Khi bạn đưa con trỏ đến hàm, trình biên dịch phải tạo một phiên bản "độc lập", nơi mã có thể được gọi là một hàm bình thường.

Lợi ích của việc nội tuyến một chức năng là mã gọi không cần phải được tạo và bất kỳ tối ưu hóa nào khác có thể được đưa vào để tích hợp cả chức năng người gọi và chức năng nội tuyến. Nhưng khi bạn cần thực hiện một cuộc gọi thông thường đến hàm (như khi bạn lấy địa chỉ để gọi nó sau này), những tối ưu hóa đó không thể thực hiện được nữa.