Chuyển một con trỏ tới hàm putchar đến một hàm nhận int (*) (int)

Question

Tôi đã tự hỏi liệu có bất kỳ điều gì sai trái khi truyền con trỏ tới putchar hay bất kỳ hàm chuẩn nào khác có thể được thực hiện dưới dạng macro, chức năng chấp nhận một con trỏ hàm. Dưới đây là một ví dụ về những gì tôi đang làm.

#include <stdio.h> 

static int print(const char *s, int (*printc)(int)) 
{ 
     int c; 

     while (*s != '\0') { 
       if ((c = printc(*s++)) < 0) 
         return c; 
     } 
     return printc('\n'); 
} 

int main(void) 
{ 
     print("Hello, world", putchar); 
     return 0; 
} 

Tôi không gặp phải bất kỳ vấn đề nào khi biên dịch với GCC và Clang dưới GNU/Linux, cũng như GCC theo OpenBSD. Tôi tự hỏi liệu nó sẽ có cùng một hành vi theo mọi tiêu chuẩn thực hiện tương thích khác, vì putchar có thể được thực hiện như một macro. Tôi đã tìm kiếm thông qua các tiêu chuẩn, đặc biệt là các phần trên con trỏ hàm và putchar, và đã không thể tìm thấy bất cứ điều gì mà chỉ định cho dù điều này là hợp pháp hay không.

Cảm ơn.

Answer 1

Tiếp theo từ tôi ý kiến ​​dựa trên với @pmg , Tôi đã tìm thấy phần có liên quan của tiêu chuẩn (C99, 7.1.4 p.1):

... nó được phép lấy các địa chỉ s của một chức năng thư viện ngay cả khi nó cũng được định nghĩa là một macro. ¹⁶¹⁾

---

_{161) Điều này có nghĩa rằng một thực hiện trách nhiệm cung cấp một chức năng thực tế cho mỗi chức năng thư viện, ngay cả khi nó cũng cung cấp một macro cho chức năng đó.}

Answer 2

Điều này là hợp pháp vì nó đề cập đến chức năng thư viện chứ không phải macro. Khi nó được định nghĩa là macro, macro đó lấy một đối số và do đó putchar không có dấu ngoặc đơn sau đây không tham chiếu đến nó. Đây là một thể hiện của việc sử dụng một macro để nội tuyến chức năng, và không nên được thực hiện như là thực hành tốt ngay bây giờ mà nội tuyến được hỗ trợ bởi trình biên dịch.

Answer 3

Macro chỉ được "gọi" khi mã định danh của nó được theo sau bởi dấu ngoặc đơn mở (. Nếu không, hàm thực của cùng tên được gọi/được sử dụng.

nét

#include <stdio.h> 
#define macro(x) 42 
int (macro)(int x) { return x; } 
int main(void) { 
    printf("%d %d\n", macro(1), (macro)(1)); 
} 

Chức năng có "thêm" ngoặc để ngăn chặn sự vĩ mô từ được mở rộng

Xem mã chạy tại ideone: thảo luận http://ideone.com/UXvjX