Ошибка замены std::invoke для указателя функции-члена
Я работаю с webview (находится здесь: https://github.com/webview/webview), чтобы создать программу на C++ с html/js gui. Чтобы вызывать функции C++ из js, они должны быть в формеstd::string function(std::string). Это довольно тривиально для бесплатных функций, однако кажется не таким тривиальным, если вы хотите передать указатель на функцию-член.
Итак, я написал класс, который хранит ссылку на объект и его функцию, а в конструкторе webview::bind вызывается с лямбда-функцией, которая анализирует ввод строки и вызывает функцию. Затем он преобразует результат в строку (я предполагаю, что это будет использоваться в случаях, когда есть функция, которая может это сделать) и возвращает это.
Как ни странно, это работает для функции-члена без параметров (например, testcase::num ниже), но если я включу функцию с параметрами, я получаю сообщение об ошибке:
testcase.cpp:14:22: error: no matching function for call to 'invoke'
auto r = std::invoke(f, o, std::forward<Args>(get<Args>(args))...);
^~~~~~~~~~~
testcase.cpp:55:15: note: in instantiation of member function 'binder<testclass, int (testclass::*)(int, int)>::binder' requested here
auto b2 = binder(w, tc, &testclass::add, "add");
^
/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/functional:2845:1: note: candidate template ignored: substitution failure [with _Fn = int
(testclass::*&)(int, int), _Args = <testclass &>]: no type named 'type' in 'std::__1::invoke_result<int (testclass::*&)(int, int), testclass &>'
invoke(_Fn&& __f, _Args&&... __args)
^
Ниже приведен пример кода, который скомпилирован на Mac с g++ testcase.cpp -o testcase -std=c++17 -framework WebKit:
#include <string>
#include <sstream>
#include <functional>
#include <iostream>
#include "webview.h"
template<class Obj, class F, class ...Args>
class binder{
public:
binder(webview::webview &w, Obj& obj, F func, std::string name) : _w(w), o(obj), f(func) {
_w.bind(name, [&](std::string s)->std::string {
std::stringstream args(s);
auto r = std::invoke(f, o, std::forward<Args>(get<Args>(args))...);
return std::to_string(r);
});
}
private:
template<class T>
static T get(std::istream& args){
T t; // must be default constructible
if(!(args >> t)){
args.clear();
throw std::invalid_argument("invalid argument to stream_function");
}
return t;
}
Obj& o;
F f;
webview::webview& _w;
};
class testclass {
public:
int add (int a, int b) {
return a+b;
}
int num () {
return 5;
}
};
int main() {
webview::webview w(true, nullptr);
w.set_title("test");
w.set_size(1200, 800, WEBVIEW_HINT_NONE);
testclass tc;
auto b1 = binder(w, tc, &testclass::num, "num"); // This compiles
auto b2 = binder(w, tc, &testclass::add, "add"); // This doesn't
w.navigate(R"(data:text/html,
<!doctype html>
<html>
<body>
<div id='num'></div>
<div id='add'></div>
</body>
<script>
window.onload = function() {
num('hello').then(function(res) {
document.getElementById('num').innerHTML = res;
console.log('num res', res);
});
add(1, 2).then(function(res) {
document.getElementById('add').innerHTML = res;
console.log('add res', res);
});
};
</script>
</html>
)");
w.run();
}
Спасибо за вашу помощь
1 ответ
С
auto b1 = binder(w, tc, &testclass::num, "num"); // This compiles
auto b2 = binder(w, tc, &testclass::add, "add"); // This doesn't
Вы используете CTAD (C++17), но из:
template <class Obj, class F, class ...Args>
class binder{
public:
binder(webview::webview &w, Obj& obj, F func, std::string name);
// ...
};
Args... невозможно вывести, и это пустая упаковка.
Вы можете добавить свои руководства по дедукции, чтобы решить эту проблему:
template <class Obj, class Ret, class ...Args>
binder(webview::webview &, Obj&, Ret (Obj::*) (Args...) const, std::string) -> binder<Obj, Ret (Obj::*) (Args...) const, Args...>;
template <class Obj, class Ret, class ...Args>
binder(webview::webview &, Obj&, Ret (Obj::*) (Args...), std::string) -> binder<Obj, Ret (Obj::*) (Args...), Args...>;