C++20 - 模板参数推导/替换问题
C++20 - Template argument deduction/substitution problem
我试图编写函数sql_exec
使用 pqxx 在 Postgresql 数据库中运行可序列化事务,但由于模板参数推导/替换问题,我仍然失败。
我曾多次尝试重写模板函数,但我真的不知道,出了什么问题,不明白,为什么编译器返回错误。
这是函数
namespace kp{
pqxx::connection get_conn();
int txn_rep();
using txn_rlbck = pqxx::transaction_rollback;
using t_txn = pqxx::transaction<pqxx::serializable>;
using t_con = pqxx::connection;
class txn_gen{
t_con& con;
int enu = 0;
public:
txn_gen(t_con& con) : con(con){};
void except(const txn_rlbck& ex);
t_txn txn();
};
template<typename t_function, typename... t_args>
std::invoke_result_t<std::decay_t<t_function>, std::decay_t<t_txn&>, std::decay_t<t_args>...> sql_exec(t_con& conn, t_function&& f, t_args&&... args){
txn_gen gen(conn);
while(true){
try{
auto&& txn = gen.txn();
auto&& ret = f(txn, args...);
txn.commit();
return ret;
}
catch(txn_rlbck& ex){
gen.except(ex);
}
}
}
};
然后我在这个 lambda 中使用它
auto map_deamon = [this]{
while(true){
std::this_thread::sleep_for(to_duration(settings.update_map_period));
t_con conn = get_conn();
std::unique_lock<std::mutex> lock(map_overload_mutex);
auto&& reload = [this, &lock](t_txn& txn){
mp::tt_map new_map = obtain_map(txn, settings, walk_machine, car_machine);
lock.lock();
map = std::make_shared<mp::tt_map> (std::move(new_map));
};
sql_exec(conn, reload);
}
};
编译器返回此错误
src/path_planner.cpp: In lambda function:
src/path_planner.cpp:61:32: error: no matching function for call to ‘sql_exec(kp::t_con&, kp::server_instance::boot()::<lambda()>::<lambda(kp::t_txn&)>&)’
sql_exec(conn, reload);
^
In file included from src/path_planner.cpp:12:
include/sql.hpp:27:99: note: candidate: ‘template<class t_function, class ... t_args> std::invoke_result_t<typename std::decay<_Tp>::type, pqxx::transaction<(pqxx::isolation_level)2, (pqxx::readwrite_policy)1>, std::decay_t<t_args>...> kp::sql_exec(kp::t_con&, t_function&&, t_args&& ...)’
std::invoke_result_t<std::decay_t<t_function>, std::decay_t<t_txn&>, std::decay_t<t_args>...> sql_exec(t_con& conn, t_function&& f, t_args&&... args){
^~~~~~~~
include/sql.hpp:27:99: note: template argument deduction/substitution failed:
src/path_planner.cpp: In function ‘void kp::boot()’:
你能建议我,问题出在哪里吗?
谢谢。
您的方法是 SFINAEd,因为reload(std::declval<t_txn>())
无效(reload(std::declval<t_txn&>())
有效(
您可以使用decltype(auto)
template<typename t_function, typename... t_args>
decltype(auto)
sql_exec(t_con& conn, t_function&& f, t_args&&... args)
或摆脱std::decay
(尤其是t_txn&
(:
template<typename t_function, typename... t_args>
std::invoke_result_t<t_function, t_txn&, t_args...>
sql_exec(t_con& conn, t_function&& f, t_args&&... args)
相关文章:
- 警告处理为错误这里有什么问题
- 最小硬币更换问题(自上而下方法)
- 为"adjacent"变量赋值时出现问题
- 我的神经网络不起作用 [XOR 问题]
- 模板参数替换失败,并且未完成隐式转换
- 在Ubuntu 16.04上安装Cilk时出现问题
- C++我的数学有什么问题,为什么我的代码不能正确循环
- 编译包含字符串的代码时遇到问题
- Project Euler问题4的错误解决方案
- 问题:什么是QAbstractItemView::NoEditTriggers的反面
- 在编译C++代码(具有dlib和opencv)到WASM时面临问题
- 在进程中对同一管道进行读取和写入时C++管道出现问题
- 静态数据成员的问题-修复链接错误会导致编译器错误
- C++ 雷神库 - 使用资源加载器类时出现问题(不命名类型)
- 关于读取有效 c++ 第 4 项(将非局部静态变量替换为局部静态变量)的问题
- C++20 - 模板参数推导/替换问题
- 字符串替换问题
- ISSPACE和替换()的问题
- 替换失败不是static_cast的错误(SFINAE)问题
- 用std::tr1::bind替换boost::bind出现问题