c++ - decltype 返回的模板推导/替换错误-6ren

c++ - decltype 返回的模板推导/替换错误

转载作者：行者123 更新时间：2023-11-28 04:27:50

32

4

<分区>

我这里有这个代码片段，它接受一个函数指针元组和一个值元组，然后将值绑定(bind)到函数指针并返回一个包含绑定(bind)函数的新元组。

当我直接调用 bind_tuple_impl 时，我没有任何错误，但这并不是调用此例程的实用方法。我还需要在绑定(bind)后延迟执行，因此仅使用给定参数调用函数不是一个选项。

我是不是完全错了？我是否遗漏了一些明显的东西

template <class Fs, class Ts, std::size_t... Is>
auto bind_tuple_impl(std::tuple<Fs> f, std::tuple<Ts> t, std::index_sequence<Is...>)
   -> decltype(std::make_tuple(std::bind(std::get<Is>(f),std::get<Is>(t))...))
{
   return std::make_tuple(std::bind(std::get<Is>(f),std::get<Is>(t))...);
}

template <class... Fs, class... Ts>
auto bind_tuple(std::tuple<Fs...> f, std::tuple<Ts...> t)
   -> decltype(bind_tuple_impl(f, t, std::index_sequence_for<Fs...>))
{
   return bind_tuple_impl(f, t, std::index_sequence_for<Fs...>);
}

int main()
{
    std::tuple<std::function<void(double)>> f;
    std::tuple<double> t;

    auto f_bound = bind_tuple(f,t);
}

错误:

main.cpp:91:68: error: expected primary-expression before ')' token    
    -> decltype(bind_tuple_impl(f, t, std::index_sequence_for<Fs...>))    
                                                                    ^    
main.cpp: In function 'decltype (bind_tuple_impl(f, t, <expression error>)) bind_tuple(std::tuple<_Tps ...>, std::tuple<_Elements ...>)':

main.cpp:94:63: error: expected primary-expression before ')' token    
    return bind_tuple_impl(f, t, std::index_sequence_for<Fs...>);    
                                                               ^    
main.cpp: In function 'int main()':    
main.cpp:102:34: error: no matching function for call to 'bind_tuple(std::tuple<std::function<void(double)> >&, std::tuple<double>&)'    
     auto f_bound = bind_tuple(f,t);    
                                  ^    
main.cpp:89:6: note: candidate: 'template<class ... Fs, class ... Ts> decltype (bind_tuple_impl(f, t, <expression error>)) bind_tuple(std::tuple<_Tps ...>, std::tuple<_Elements ...>)'    
 auto bind_tuple(std::tuple<Fs...> f, std::tuple<Ts...> t)    
      ^~~~~~~~~~    
main.cpp:89:6: note:   template argument deduction/substitution failed:

32

4

0

文章推荐： c++ - 如何在 C++ 中将枚举的十六进制值打印到字符串

文章推荐： c++ - 返回 STRING 的 MySQL UDF 与数据重叠

文章推荐： c++ - OpenWatcom/VisualStudio 在重新调用约定方面的互操作性

C++ - 不明确的重载模板解析/推导
运行以下代码片段，我没有收到任何错误，并且得到了预期的结果。但是，由于第二个模板实例化是不明确的 ( both type specifiers are references )，我担心这可能不是定义的
c++ - 推导(非类型)模板参数类型的编译器差异
考虑以下示例: #include struct A {}; template void f() { static_assert(std::is_same_v); // #1 A&
encryption - AES key 推导
从 DH 协商中派生的 secret 派生出一个比方说 128 位 AES key 的正确(可接受的)方法是什么？使用前 128 位对 secret 进行哈希处理并使用前 128 位使用一些更复
encryption - AES key 推导
从 DH 协商中派生的 secret 派生出一个比方说 128 位 AES key 的正确(可接受的)方法是什么？使用前 128 位对 secret 进行哈希处理并使用前 128 位使用一些更复
c++ - 推导(非)模板类型的签名
我对编写模板元编程比较陌生，这可能是我找不到解决这个问题的原因。问题是这样的:我正在开发一个数学库，它有很多函数，比如确定整数或 std::initializer_list 的质数，将整数更改为罗马数
android - C++参数匹配/推导
我在 Android Oreo 源代码中阅读了一些我不太理解的代码。首先，类IOMXNode有一个函数: class IOMXNode : public IInterface { public: +
c++ - 推导 LValue 引用类型
有很多关于模板参数推导的讨论和澄清，特别是引用折叠和“通用引用”。本题通过相关细节:How does auto deduce type? ，而 Scott Meyers 的这篇论文更详细，可能会提供更
c++ - 难以理解 C++ 推导
我将 Java 中的许多假设带到了我对 C++ 的学习中，这似乎再次难倒了我。我没有足够的词汇量来 Eloquent 地说出我希望从以下程序中看到什么，所以我只展示它并说出我希望看到的内容: #inc
c++ - 类模板部分特化中是否允许 noexcept 推导？
对于下面的程序，Clang 5 (trunk) 报告 IsNoexcept 不可推导，而 GCC 7.1 会出现段错误。标准(草案)对此有何评论？这是编译器 QOI 问题吗？ static_asse
c++ - 推导 Lambda 捕获类型
我最近发现，在 lambda 中按值捕获 const 对象意味着 labmda 主体(即 lambda 的数据成员)内的变量也是 const. 例如: const int x = 0; auto fo
php - 推导 PHP 闭包参数
我是否有机会推断出 PHP Closure 参数类型信息？考虑这个例子: 5, 'b' => 10]); } else { call_user_func($closure, 5, 10);
java - 计算复杂的数学(积分、推导……)
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于 Stack Overflow 来说是偏离主题的，
machine-learning - 推导 SVM 对偶形式方程
对于上述 svm 的拉格朗日函数，我可以得到如下的偏导数: 但是，我不明白如何将它们插入拉格朗日以导出对偶形式？ W可以被替换，但是b去哪里了？有人可以解释一下并给出详细步骤吗？最佳答案你的拉格
r - 如何以编程方式取消、推导、反编译、反向工程用于构造数据集中变量的算法
我正在寻找一些算法、程序或函数来推断变量的创建方式，只要我提供其他变量即可。我认为计算机程序员会称之为“反编译”，而架构师会称之为“逆向工程”，但我想我不知道统计学家会怎么调用它......或者是否有
c++ - 推导 std::function 结果类型并将其用作参数
这就是我的简单类的样子。 template class A { T first; T second; public: A(T f, T s) : first(f), second(s) {}; te
使用 lambdas 推导 C++ 模板参数
这个问题在这里已经有了答案: Is it possible to figure out the parameter type and return type of a lambda? (5 个答案)
从 lambda 推导 C++ 模板
我有一个函数需要两个 std::function s 作为参数。第二个函数的参数与第一个函数的结果类型相同。我写了一个这样的函数模板: template void examplFunction(st
mysql - 应该使用哪个查询？从 MySQL Explain 推导
O'reilly Optimizing SQL Statments Book的Explaining MySQL Explain章节，最后有这个问题。 The following is an examp
c++ - 模板参数推导 - 推导 T 并使用 T&&
举例 template void function(T&& arg) 有人可以详细解释它是如何结束函数签名变成左值的 T& 和传入的右值的 T&& 吗？我知道不知何故(需要标准行)T -> T& 在
cryptography - 密码版本 5 的方法 key 推导 (MKD)
我正在开发用于 EMV 交易的软件，但我面临着雇佣我的公司的文档严重缺乏的问题。其中之一是关于用于生成 ARQC 的 MKD(在第一个 GENERATE AC 期间)。我从消息请求中知道IAD如下:

首页

博学

6Ren·AI

商城

c++ - decltype 返回的模板推导/替换错误