- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我似乎找不到正确的方法来实现它,这似乎是最接近正确的方法,但我得到一个模板参数推导错误。谁能指出我哪里出错了?
我正在尝试将算术功能添加到 std::variant
无需std::get
第一的:
#include <iostream>
#include <variant>
template<typename... Types>
class variant : public std::variant<Types...> {
private:
template <class Op, typename T, int index = 0>
decltype(auto) calc(const T& other) const {
if(sizeof...(Types) == 0 || index >= sizeof...(Types)){
return;
}
using ST = std::variant_alternative_t<index, std::variant<Types...>>;
if(std::holds_alternative<ST>(
std::variant<Types...>(*this)
)){
if(std::is_same<T, variant<Types...>>::value){
return Op()(std::get<ST>(*this), std::get<ST>(other));
}
else{
return Op()(std::get<ST>(*this), other);
}
}
return this->calc<Op, index+1>(other);
}
public:
using std::variant<Types...>::variant;
template <typename T>
decltype(auto) operator-(const T& other) const {
return this->calc<std::minus>(other);
}
// other operations will be added; std::plus, etc.
};
int main()
{
variant<int, double> vt1 = 2.3;
variant<int, double> vt2 = 5;
std::cout << "first: " << (vt1 - 2) << std::endl;
std::cout << "second: " << (vt2 - vt1) << std::endl;
return 0;
}
最佳答案
你有几个问题:
std::minus
不是类型,而是模板。它无法绑定(bind)到 class Op
.您可能想使用 std::minus<>
反而。 calc<Op, index + 1>()
来自 calc<Op, index>()
你得到无限递归。 if
开始的条件没有帮助,因为编译器仍然必须生成该调用:在运行时检查此条件,而不是在编译时检查。您需要if constexpr
. decltype(auto)
的类型不一致返回类型。所有未丢弃的分支都应返回相同的类型。 Op()(std::get<ST>(*this), std::get<ST>(other))
如果 *this
会抛出和 other
持有不同的类型(在您的示例中,它们确实持有不同的类型)。 std::visit
,您可以简单地定义自由函数并使用
std::visit
在实现中:
namespace impl {
template<class T>
auto get_value(const T& t) {
return t;
}
template<class... Ts>
auto get_value(const std::variant<Ts...>& var) {
using T = std::common_type_t<Ts...>;
return std::visit([](T value) { return value; }, var);
}
template<class Op, class T, class U>
auto var_op(Op op, const T& t, const U& u) {
return op(get_value(t), get_value(u));
}
}
template<class... Ts, class U>
auto operator-(const std::variant<Ts...>& var, const U& u) {
return impl::var_op(std::minus<>{}, var, u);
}
template<class U, class... Ts>
auto operator-(const U& u, const std::variant<Ts...>& var) {
return impl::var_op(std::minus<>{}, u, var);
}
template<class... Ts, class... Us>
auto operator-(const std::variant<Ts...>& var1,
const std::variant<Us...>& var2) {
return impl::var_op(std::minus<>{}, var1, var2);
}
my_variant
源自
std::variant
, 你需要修复
get_value()
通过添加
static_cast
, 因为
std::visit
使用一些不专门用于
std::variant_size
的辅助类(如
my_variant
) :
template<class... Ts>
class my_variant : public std::variant<Ts...> {
public:
using std::variant<Ts...>::variant;
};
...
namespace impl {
template<class... Ts>
auto get_value(const my_variant<Ts...>& var) {
using T = std::common_type_t<Ts...>;
return std::visit([](T value) { return value; },
static_cast<const std::variant<Ts...>&>(var));
}
}
关于c++ - 实现多类型算术运算符时如何解决 "template argument deduction/substitution failure",我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59279624/
template struct List { }; template class> struct ListHelper; template struct ListHelper> { };
最近,我注意到 html/template.Template 的 Templates() 与 text/template.Template 的工作方式不同。 // go1.12 func main()
我正在尝试使用 polymer 1.0 实现一个网站。我有一个自定义元素 my-greeting,里面有一些模板重复。 我想做的是获取一个名为 TARGET 的字符串,但我不知道该怎么做: /cons
(是的,由于我糟糕的英语,标题很奇怪;我希望有人能改进它。) 接听this question ,我发现这段代码有效: template class A { }; template class U>
这个问题在这里已经有了答案: How to import and use different packages of the same name (2 个答案) 关闭 4 年前。 我正在使用 Go
我的想法是这是不可能的,或者我缺少一个额外的步骤。无论哪种方式,我都被卡住了,无法弄清楚。 使用内联模板的原因是能够使用 Laravel Blade 语法并结合 Vue Js 的强大功能。似乎是两者中
我已经尝试实现一个“模板模板模板”——模板类来满足我的需求(我对使用模板元编程很陌生)。不幸的是,我发现以下主题为时已晚: Template Template Parameters 不过,我需要实现如
Helm _helpers.tpl? Helm 允许使用 Go templating在 Kubernetes 的资源文件中。 一个名为 _helpers.tpl 的文件通常用于定义 Go 模板助手,语
{{template "base"}} 和 {{template "base".}} 有什么区别? 我用的是go-gin,两者都可以正常运行。我在文档中找不到关于此的任何描述。 最佳答案 来自 god
我有一个本质上充当查找表的函数: function lookup(a::Int64, x::Float64, y::Float64) if a == 1 z = 2*x + y else if a =
当 out 成员函数(来自模板和特化)都需要模板时,为什么 c++ 需要模板参数,因为我没有得到它,谷歌也没有帮助。必须是c++11但和c++1z有同样的错误。 我正在使用 g++ 7.3.0 收到此
我正在寻找简单的方法来将带有 ${myvar} 的简单模板转换为带有 {{ myvar }} 的 GO 模板。 是否有任何库可以实现这一点? 最佳答案 使用正则表达式查找 \${([a-z0-9\_\
我有这个模板可以将 slice 的多个项目解析到页面上。它确实做得很好。 但是,我现在想使用完全相同的模板来根据范围索引解析 slice 的单个值。该 slice 在多个文件中使用,所以我不能像 Sl
要清理模板文件夹,我想将常用模板保存在子文件夹中。目前我有以下文件结构: main.go templates/index.tpl # Main template for the
最近我设计了元类型和允许编译时类型连接的可能操作: #include template typename T> struct MetaTypeTag {}; /*variable template
准备模板时发生错误。谁能告诉你怎么修? 如有必要,还可以编辑变量。 vars: AllСountry: - "name1" - "name2"
我在使用新的匿名模板引擎时遇到问题。它不能使用嵌套模板。我收到错误消息:“此模板引擎不支持嵌套在其模板中的匿名模板”。 我的问题:我如何强制 knockout JS 使用jquery 模板引擎,而不是
这个问题在这里已经有了答案: Where and why do I have to put the "template" and "typename" keywords? (8 个答案) 关闭 8
我在 C++ 中使用带有模板的集合: template class OMSSVDisk : public OMSSObjProperties{ set memberPDs; }; 如上面代码中
因为我喜欢分离接口(interface)和实现,而不是只在头文件中实现模板类,我将它分成 .h 和 .tpp(.tpp 这样它就不会用 *.cpp 编译)。然后我将 tpp 包含在头文件的末尾,就在
我是一名优秀的程序员,十分优秀!