Định nghĩa macro giống chức năng trong C

Question

Tôi muốn xác định một chức năng như MACRO. ví dụ:

#define foo(x)\ 
#if x>32\ 
x\ 
#else\ 
(2*x)\ 
#endif 

có nghĩa là,

if x>32, then foo(x) present x 
else, foo(x) present (2*x) 

nhưng GCC của tôi phàn nàn về:

int a = foo(31); 

Tôi nghĩ rằng C Preprocessor nên xử lý việc này một cách chính xác. kể từ lúc biên dịch, nó biết x=33. nó có thể thay thế foo(33) với (2*33)

Answer 1

xem xét:

int x = rand() 
int y = foo(x); 

x không được biết đến tại thời gian biên dịch.

Answer 2

Bạn có thể như sau

#define foo(x) ((x) > 32 ? (x) : (2 * (x))) 

Nhưng đó đánh giá x nhiều lần. Thay vào đó có thể tạo một hàm tĩnh, đó là sạch

static int foo(int x) { 
    if(x > 32) 
    return x; 
    return 2 * x; 
} 

Sau đó, bạn cũng có thể vượt qua mọi thứ để foo rằng có tác dụng phụ, và có tác dụng phụ xảy ra một lần duy nhất.

Những gì bạn đã viết đang sử dụng các chỉ thị tiền xử lý #if, #else và #endif, nhưng bạn cần sử dụng cấu trúc ngôn ngữ nếu bạn chuyển biến cho macro và muốn đánh giá các giá trị của chúng. Sử dụng các câu lệnh if và else như trong các cấu trúc ngôn ngữ thực tế không hoạt động, bởi vì các câu lệnh dòng điều khiển không đánh giá các giá trị. Nói cách khác, một câu lệnh if là dòng điều khiển chỉ đạo ("nếu A, sau đó thực thi B, thì thực thi C"), không đánh giá bất kỳ giá trị nào.

Answer 3

int a = foo(31); 

Mở rộng ra

int a = if 31>32 
31 
else 
(2*31) 
endif; 

Đó là cách C macro làm việc, thông qua, thay thế đơn giản câm. Nếu bạn mong đợi gcc làm bất cứ điều gì phức tạp hơn hoặc thông minh hơn với họ, thì kỳ vọng của bạn là sai lầm.

Do đó, thật dễ dàng để biết tại sao mã của bạn không hoạt động. Một thay thế đó sẽ là đủ cho ví dụ này sẽ là:

#define foo(x) (x > 32 ? x : 2*x) 

Mặt khác, tôi sẽ đặt câu hỏi liệu các macro thực sự là công cụ thích hợp cho một điều như vậy để bắt đầu với. Chỉ cần đặt nó vào chức năng và trình biên dịch sẽ inline mã nếu nó nghĩ rằng nó sẽ tăng tốc độ nó lên.

Answer 4

Vấn đề không phải là về lý thuyết: với lý do nào đó, muốn có macro mở rộng khác nhau theo giá trị của tham số được truyền cho nó và tham số này là hằng số, được biết đến macro preprocessor, không có lý do tại sao nó không thể làm việc ... cho một bộ xử lý macro chung ... Nhưng cpp unluckly không cho phép sự hiện diện của các bộ xử lý macro "lệnh" khác vào một định nghĩa macro ...

Vì vậy, bạn

#define foo(x) \ 
#if x>32 \ 
    x  \ 
#else \ 
    2*x \ 
#endif 

không mở rộng đến

#if X>32 
    X 
#else 
    2*X 
#endif 

trong đó X là tham số được biết đến (để thay đổi X để ví dụ 31), đòi hỏi một đường chuyền bằng vi xử lý.

Ngoài ra, các dòng mới bị bỏ qua, trong khi chúng quan trọng cho việc sử dụng như vậy; nếu không, sau có thể được coi như một thủ thuật (cần tuy nhiên một tiền xử lý vượt qua)

#define foo(x,y) \ 
y if x>32 \ 
    x \ 
y else \ 
    2*x \ 
y endif 

rằng với foo(20,#) sản xuất

# if 20>32 20 # else 2*20 # endif 

mà sẽ làm việc, nếu nó sẽ là

# if 20>32 
    20 
# else 
    2*20 
# endif 

... nhưng không phải (và như đã nói, đầu ra của bộ tiền xử lý phải được nạp lại cho bộ tiền xử lý một lần nữa ...)

Vì vậy, câu trả lời của tôi là nếu bạn cần những thứ này, bạn không thể sử dụng bộ tiền xử lý C; bạn nên sử dụng bộ tiền xử lý C không phổ biến (không chuẩn?), hoặc chỉ là một bộ xử lý macro khác, và nếu bạn cần những thứ mà "cpp" phải "tích hợp" với C, thì bạn không thể sử dụng cái chung (như M4) thật dễ dàng ...

Answer 5

#define \ 
    foo(x) \ 
    ({ \ 
     int xx = (x); \ 
     int result = (xx > 32) ? xx : (2*xx); \ 
     result; \ 
    })