Невозможно связать перегруженные статические функции-члены в 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");};

Есть идеи?

благодарю вас


python c++ pybind11 function-pointers member-function-pointers
person alec.tu    schedule 10.04.2019    source источник

Ответы (2)


arrow_upward
4
arrow_downward

Проблема в вашем актерском составе (void (TESTDB::*)(int, int)). Это приведение преобразует указатель на статическую функцию-член в указатель на не-статическую функцию-член, что неверно.

Поскольку функции являются статическими, вы должны просто привести их как указатели на обычные функции, не являющиеся членами:

py::class_<TESTDB>(m, "db")
    .def_static("aaaa", static_cast<void (*)(int, int)>(&TESTDB::aaaa));
person Some programmer dude    schedule 10.04.2019
comment
Обязателен еще один случай, когда static_cast держит вас на правильном пути, в отличие от приведения C-стиля. - person Max Langhof; 10.04.2019
comment
Потрясающий. Можно подробнее о символе *? - person alec.tu; 10.04.2019
comment
@alec.tu Это означает то же самое, что и в актерском составе, который вы показываете в своем вопросе: это означает указатель. - person Some programmer dude; 10.04.2019
comment
@alec.tu Тип void (*)(int, int) означает указатель на функцию, принимающую два аргумента int и ничего не возвращающую. Тип void (TESTDB::*)(int, int) означает указатель на функцию-член TESTDB, принимающую два аргумента int и ничего не возвращающую. - person Some programmer dude; 10.04.2019

arrow_upward
1
arrow_downward

Просто к вашему сведению. Во-первых, 8.3.1 Указатели [dcl.ptr]/1 стандартного проекта C++ n3337 (по сути, C++11)

В объявлении T D, где D имеет вид

* attribute-specifier-seq cv-qualifier-seq D1

и тип идентификатора в объявлении T D1 — «список-производных-объявлений-типов T», тогда тип идентификатора D — «список-производных-объявлений-типов» cv-qualifier-seq указатель на T». ...

и 8.3.3 Указатели на члены [dcl.mptr] / 1 состояния

В объявлении T D, где D имеет вид

nested-name-specifier * attribute-specifier-seq cv-qualifier-seq D1

а вложенный-спецификатор-имени обозначает класс, а тип идентификатора в объявлении T D1 — «список-типов-производных-объявителей T», тогда тип идентификатора D: «список-типов-производных-объявителей cv-qualifier-seq указатель на член класса вложенный-спецификатор-имени типа Т». ...

Эти операторы означают, что мы должны использовать приведенный выше описатель вложенного имени TESTDB:: в TESTDB::* тогда и только тогда, когда функция TESTDB::aaaa является функцией-членом.

Далее, 5.2.2 Вызов функции [expr.call] указывает

  1. Существует два вида вызова функции: вызов обычной функции и вызов функции-члена63 (9.3). ...

где сноска 63

63) Статическая функция-член (9.4) — это обычная функция.

Это означает, что ваша статическая функция-член TESTDB::aaaa является обычной функцией, а не функцией-членом. Таким образом, вы не должны указывать TESTDB:: в текущем приведении.

Таким образом, вы должны устранить неоднозначность двух перегрузок TESTDB::aaaa следующим образом:

РЕАЛЬНАЯ ДЕМО

static_cast<void (*)(int, int)>(&TESTDB::aaaa)
person Hiroki    schedule 10.04.2019