Làm thế nào để thực hiện một macro chung trong C?

Question

FUNC(param); 

Khi param là char *, gửi đến func_string.

khi nó int, công văn đến func_int

Tôi nghĩ rằng có thể có một giải pháp này, như các loại biến được biết tại thời gian biên dịch ..

Answer 1

loại Variable được biết là trình biên dịch, nhưng không phải để bộ tiền xử lý (xem mã đơn giản là văn bản không được cấu trúc một luồng mã thông báo và chỉ thực hiện các thao tác thay thế đơn giản trên đó). Vì vậy, tôi sợ bạn không thể đạt được điều này với các macro C.

Trong C++, họ đã phát minh ra các mẫu để giải quyết các vấn đề đó (và hơn thế nữa).

Answer 2

Bạn không thể thực hiện việc này bằng macro. Giá trị của Macro được thay thế tại thời gian biên dịch và không được intepreted. Họ chỉ là thay thế.

Answer 3

Điều này sẽ có thể với C1X nhưng không theo tiêu chuẩn hiện tại.

Nó sẽ giống như thế này:

#define cbrt(X) _Generic((X), long double: cbrtl, \ 
          default: cbrt, \ 
          float: cbrtf)(X) 

Answer 4

Không có khả năng để chạy các loại thời gian check in C89/ANSI C, nhưng có một phần mở rộng cho gcc cho phép nó. typeof hoặc một cái gì đó dọc theo những dòng nếu tôi nhớ. Tôi đã thấy nó trong hạt nhân Linux một lần.

Trong kernel.h:

#define min(x, y) ({    \ 
typeof(x) _min1 = (x);   \ 
typeof(y) _min2 = (y);   \ 
(void) (&_min1 == &_min2);  \ 
_min1 < _min2 ? _min1 : _min2; }) 

Hãy xem bài viết này: GCC hacks in the Linux kernel

Khi tôi lần đầu tiên nhìn thấy này, tôi thực sự hỏi một câu hỏi ở đây trên SO về:

min macro in kernel.h

Tôi không hoàn toàn chắc chắn cách bạn sẽ sử dụng nó để giải quyết vấn đề của bạn, nhưng đó là một cái gì đó đáng xem t.

Answer 5

Các loại biến thực sự được biết tại thời gian biên dịch, tuy nhiên việc mở rộng macro diễn ra trước khi biên dịch. Tôi đề nghị bạn thực hiện 2 chức năng quá tải thay vì một macro.

Answer 6

Bạn có thể kiểm tra các đặc điểm của các loại. Ví dụ: int có thể giữ giá trị âm, trong khi char* thì không thể. Vì vậy, nếu ((typeof(param))-1) < 0, param là unsigned:

if (((typeof(param))-1) < 0) { 
    do_something_with_int(); 
} else { 
    do_something_with_char_p(); 
} 

Trình biên dịch rõ ràng là tối ưu hóa này ra.

Hãy thử nó ở đây: http://ideone.com/et0v1

này sẽ dễ dàng hơn nếu các loại có kích cỡ khác nhau.Ví dụ, nếu bạn muốn viết một macro chung hơn có thể xử lý kích thước nhân vật khác nhau:

if (sizeof(param) == sizeof(char)) { 
    /* ... */ 
} else if (sizeof(param) == sizeof(char16_t)) { 
    /* ... */ 
} else if (sizeof(param) == sizeof(char32_t)) { 
    /* ... */ 
} else { 
    assert("incompatible type" && 0); 
} 

---

GCC có một chức năng được xây dựng trong __builtin_types_compatible_p() rằng có thể kiểm tra khả năng tương thích loại:

if (__builtin_types_compatible_p(typeof(param), int)) { 
    func_int(param); 
} else if (__builtin_types_compatible_p(typeof(param), char*)) { 
    func_string(param); 
} 

Thử tại đây: http://ideone.com/lEmYE

Bạn có thể đặt macro này vào macro để đạt được những gì bạn đang cố gắng làm:

#define FUNC(param) ({            \ 
    if (__builtin_types_compatible_p(typeof(param), int)) {   \ 
     func_int(param);            \ 
    } else if (__builtin_types_compatible_p(typeof(param), char*)) { \ 
     func_string(param);           \ 
    }                 \ 
}) 

(({...}) là GCC's statement expression, nó cho phép một nhóm báo cáo là giá trị.

Nội trang dựng sẵn __builtin_choose_expr() có thể chọn biểu thức để biên dịch. Với __builtin_types_compatible_p này cho phép để kích hoạt một lỗi tại thời gian biên dịch nếu loại param là không tương thích với cả int và char*: (bằng cách soạn somehting không hợp lệ trong trường hợp này)

#define FUNC(param)              \ 
    __builtin_choose_expr(__builtin_types_compatible_p(typeof(param), int) \ 
     , func_int(param)             \ 
     , __builtin_choose_expr(__builtin_types_compatible_p(typeof(param), char*) \ 
      , func_string(param)           \ 
      , /* The void expression results in a compile-time error  \ 
       when assigning the result to something. */    \ 
      ((void)0)              \ 
     )                 \ 
    ) 

Đây thực sự là một ví dụ thay đổi chút ít từ __builtin_choose_expr docs.