Невозможно связать перегруженные статические функции-члены в pybind11
Я попытался связать статические перегруженные функции с помощью pybind11, но возникли некоторые проблемы.
Вот пример кода
#include <pybind11/pybind11.h>
namespace py = pybind11;
class TESTDB {
public:
static void aaaa(int a, int b) {printf("aaaaa");};
static void aaaa(int a) {printf("xxxxx");};
};
PYBIND11_MODULE(example, m) {
py::class_<TESTDB>(m, "db")
.def_static("aaaa", (void (TESTDB::*)(int, int)) &TESTDB::aaaa);
}
но его не удалось скомпилировать из-за
error: no matches converting function ‘aaaa’ to type ‘void (class TESTDB::*)(int, int)’
.def_static("aaaa", (void (TESTDB::*)(int, int)) &TESTDB::aaaa);
note: candidates are: static void TESTDB::aaaa(int)
static void aaaa(int a) {printf("xxxxx");};
note: static void TESTDB::aaaa(int, int)
static void aaaa(int a, int b) {printf("aaaaa");};
Есть идеи?
Спасибо
Ответы 2
Проблема в вашем актерском составе (void (TESTDB::*)(int, int)). Это приведение преобразует указатель на статическую функцию-член в указатель на не-статическую функцию-член, что неверно.
Поскольку функции являются статическими, вы должны просто привести их как указатели на обычные функции, не являющиеся членами:
py::class_<TESTDB>(m, "db")
.def_static("aaaa", static_cast<void (*)(int, int)>(&TESTDB::aaaa));
Потрясающий. Не могли бы вы подробнее рассказать о символе «*»?
@alec.tu Это означает то же самое, что и в актерском составе, который вы показываете в своем вопросе: это означает указатель.
@alec.tu Тип void (*)(int, int) означает «указатель на функцию, принимающую два аргумента int и ничего не возвращающую». Тип void (TESTDB::*)(int, int) означает «указатель на TESTDB функцию-член, принимающую два int аргумента и ничего не возвращающую».
Просто к вашему сведению. Во-первых, 8.3.1 Указатели [dcl.ptr] / 1 стандартного проекта С++ n3337 (по сути, С++ 11) утверждает
In a declaration T D where D has the form
* attribute-specifier-seq cv-qualifier-seq D1and the type of the identifier in the declaration T D1 is “derived-declarator-type-list T,” then the type of the identifier of D is “derived-declarator-type-listcv-qualifier-seq pointer to T.” ...
и состояния 8.3.3 Указатели на члены [dcl.mptr] / 1
In a declaration T D where D has the form
nested-name-specifier * attribute-specifier-seq cv-qualifier-seq D1and the nested-name-specifier denotes a class, and the type of the identifier in the declaration T D1 is “derived-declarator-type-list T”, then the type of the identifier of D is “derived-declarator-type-listcv-qualifier-seq pointer to member of class nested-name-specifier of type T”. ...
Эти утверждения означают, что мы должны использовать указанный выше спецификатор вложенного имениTESTDB:: в TESTDB::* тогда и только тогда, когда функция TESTDB::aaaa является функцией-членом..
Далее 5.2.2 Вызов функции [expr.call] указывает
- There are two kinds of function call: ordinary function call and member function63 (9.3) call. ...
где сноска 63
63) A static member function (9.4) is an ordinary function.
Это означает, что ваша статическая функция-член TESTDB::aaaa является обычная функция, а не функция-член.
Таким образом, вы не должны указывать TESTDB:: в текущем приведении.
Таким образом, вы должны устранить неоднозначность двух перегрузок TESTDB::aaaa следующим образом:
static_cast<void (*)(int, int)>(&TESTDB::aaaa)
Обязательный «еще один случай, когда
static_castудерживает вас на правильном пути, в отличие от приведения в стиле C».