Използване на var_arg за предаване на параметри за извиквания на функции

Първо, трябва да се вслушате в съвета на Kerrek относно extern "C". Това е механизмът на C++ за предоставяне на C връзка на идентификатор, което означава, че името няма да бъде нарушено от C++ компилатора.

Понякога адаптерът все още трябва да бъде написан за C++ интерфейс, тъй като той манипулира обекти, които не се съпоставят към C POD. И така, адаптерът дава на C интерфейса POD или тип непрозрачен указател за манипулиране, но изпълнението на този интерфейс преобразува това в C++ обект или препратка и след това извиква C++ интерфейса. Да предположим например, че искате да предоставите C интерфейс за C++ std::map<int, void *>, ще имате общ заглавен файл в C и C++, който ще съдържа:

#ifdef __cplusplus
extern "C" {
#endif
    struct c_map_int_ptr;
    // ...
    // return -1 on failure, otherwise 0, and *data is populated with result
    int c_map_int_ptr_find (struct c_map_int_ptr *, int key, void **data);
#ifdef __cplusplus
}
#endif

След това C++ кодът може да имплементира функцията като:

typedef std::map<int, void *> map_int_ptr;

int c_map_int_ptr_find (struct c_map_int_ptr *cmap, int key, void **data) {
    map_int_ptr &map = *static_cast<map_int_ptr *>(cmap);
    map_int_ptr::iterator i = map.find(key);
    if (i != map.end()) {
        *data = i->second;
        return 0;
    }
    return -1;
}

По този начин няма нужда да предавате аргументите, предадени през C интерфейса, през адаптер за променливи аргументи. И така, няма нужда C++ кодът да извлича аргументите от списък с променливи аргументи. C кодът извиква директно C++ кода, който знае какво да прави с аргументите.

Предполагам, че ако се опитвате да приложите някакъв вид автоматизиран генератор на код на C адаптер чрез анализиране на C++ код, бихте могли да си помислите, че използването на променливи аргументи ще осигури редовен механизъм за комуникация на аргументи между генерирания C кодов интерфейс и генерирания C++ адаптерен код, който би извикайте оригиналния C++ интерфейс. За такъв сценарий кодът за горния пример ще изглежда така:

// C interface
typedef struct c_map_int_ptr c_map_int_ptr;
typedef struct c_map_int_ptr_iterator c_map_int_ptr_iterator;
//...
c_map_int_ptr_iterator c_map_int_ptr_find (c_map_int_ptr *map, int key) {
    c_map_int_ptr_iterator result;
    cpp_map_int_ptr_adapter(__func__, map, key, &result);
    return result;
}

// C++ code:
struct cpp_adapter {
    virtual ~cpp_adapter () {}
    virtual void execute (va_list) {}
};

void cpp_map_int_ptr_adapter(const char *func, ...) {
    va_list ap;
    va_start(ap, func);
    cpp_map_int_ptr_adapter_method_lookup(func).execute(ap);
    va_end(ap);
}

//...
struct cpp_map_int_ptr_find_adapter : cpp_adapter {
    void execute (va_list ap) {
        map_int_ptr *map = va_arg(ap, map_int_ptr *);
        int key = va_arg(ap, int);
        c_map_int_ptr_iterator *c_iter = va_arg(ap, c_map_int_ptr_iterator *);
        map_int_ptr::iterator i = map->find(key);
        //...transfer result to c_iter
    }
};

Където cpp_map_int_ptr_adapter_method_lookup() връща подходящ cpp_adapter екземпляр въз основа на търсене в таблица.