- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
我最近遇到了一个新的警告:
继承构造函数不继承省略号
我正在尝试管道
Object{42}; // ... into an init that handles integers
...和...
Object{3.14}; // ... into an init that handles FLOATS
...通过使用一些 SFINAE 技巧:
#define DECAY(T) typename std::decay::type
#define IS_INTEGRAL(T) std::is_integral< DECAY(T) >::value
#define IS_FLOATING(T) std::is_floating_point< DECAY(T) >::value
#define SUBFAIL_UNLESS(PRED) typename X = \
typename std::enable_if::type
// long, float
template
explicit Object( T&& t ) : Object{ pyob_from_integral(t) } { }
template
explicit Object( T&& t, ... ) : Object{ pyob_from_floating(t) } { }
riêng tư:
template PyObject* pyob_from_integral( T t ) {
cout << "integral"; return nullptr;
}
template PyObject* pyob_from_floating(T t) {
cout << "FLOATING"; return nullptr;
}
.可以在 coliru 查看演示警告的完整代码.
现在 ... 的目的是避免编译器抛出错误,因为它认为我有两个单独的模板来模板化构造函数。即它不够聪明,无法意识到它们是不相交的/相互排斥的。
这个警告有什么意义,如何围绕它进行编码?
请注意,有充分的理由不简单地提供几个构造函数重载;我故意简化了场景,以使问题尽可能清楚。
编辑:工作简化测试用例证明了...的必要性đây . (即,如果您删除它,它将不再编译)。
câu trả lời hay nhất
据我所知,OP 试图通过引入省略号 ...
来解决的问题是您不能定义具有相同签名的两个函数(违反 ODR) .
cái này签名的概念被扩展到函数模板。但是,函数模板的签名 包括其模板参数。来自最近的 github 草稿,基于 N4296:
[defns.signature.templ]
signature
name, parameter type list (8.3.5), enclosing namespace (if any), return type, and template parameter list
[basic.link]/9.4 和 [temp.over.link] 指定在什么情况下两个函数模板是等价的。在 OP 的情况下,您可以通过稍微改变 SFINAE 的应用方式来使这些功能模板的签名不同:
template
typename std::enable_if< std::is_integral::value, int >::type = 0>
explicit Object(T&&);
template
typename std::enable_if<>::value, int>::type = 0>
explicit Object(T&&);
第二个(非类型)模板参数的类型是一个依赖于第一个模板参数的表达式。这些表达式区分了两个模板;有关详细信息,请参阅 [temp.over.link]/5。在 OP 中,第二个模板参数只是一个类型。因此,这两个模板的模板参数是等价的,只是默认模板参数不同,这不是签名的一部分。
省略号的问题,当使用构造函数继承时,继承的构造函数发出省略号。这是构造函数继承的一个怪癖,如 [class.inhctor]/1.4 中所指定当继承 OP 中的两个 ctors 时,这会导致继承构造函数的候选集中的两个函数模板具有相同的签名。我看不出标准是如何解决这个问题的; clang++和g++一致认为是非法的,ctor“不能继承”或者“不能重载”。
关于c++ - SFINAE 给出 "Inheriting constructor does not inherit ellipsis"警告,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27429318/
C++11 专家的几个问题。 我正在与 SFINAE 打交道,我遇到了一个奇怪的情况,其中 g++ (4.9.2) 和 clang++ (3.5.0) 的行为不同。 我准备了以下示例代码。很抱歉,我无
这些天我正在试验 SFINAE,有些事情让我很困惑。为什么 my_type_a不能在 my_function 中推导出来的实例化? class my_type_a {}; template clas
我正在尝试复制(我猜)典型的 SFINAE 示例来判断一个类型是否具有特定方法。我的代码基本上是 the one found in the accepted answer of a previous
出于学术原因,我想实现一个示例,如果非类型模板参数满足给定条件,则选择一个模板。例如,我想要一个只为奇数定义的函数。 可以这样做: template struct is_odd: public st
有没有办法检查两个可变参数包的串联是否与第三个可变参数包相同。 template struct ClassOne { } template struct ClassTwo { } template s
为什么以下代码无法编译?为具有特定成员的类型启用模板的最简洁的解决方案是什么?如果模板变量被直接用于初始化它的表达式替换,它也会编译。 #include template constexpr boo
代码: #include using std::nullptr_t; template using nullptr_vt = nullptr_t; struct not_addable{}; tem
我有一个模板类,我想有两个复制 ctor。一个用于平凡类型,另一个用于非平凡类型。 以下代码有效(使用一个拷贝 ctor): template struct MyStruct { MySt
我一直在尝试定义一个辅助类来帮助我使用模板方法,在该方法中我希望为复杂类型和实际类型提供通用实现。 到目前为止,这是我的尝试: #include #include template struct is
这个问题已经有答案了: Officially, what is typename for? [duplicate] (8 个回答) 已关闭 3 年前。 我正在研究现代 C++ 中的 SFINAE,我看
我有一个 std::variants 包含具有不同接口(interface)的对象。目标是如果变体中的对象具有某些方法,则调用它。 我正在尝试制作几个模板装饰器,并寻找一种方法来使用更少的样板和没有宏
我有一个代码,它接受一个函数并根据函数签名执行它,如下所示: template struct Value { int value[Num]; }; struct Executor { t
我一直在尝试定义一个辅助类来帮助我使用模板方法,在该方法中我希望为复杂类型和实际类型提供通用实现。 到目前为止,这是我的尝试: #include #include template struct is
在此视频中https://youtu.be/Vkck4EU2lOU?t=582 “标签调度”和SFINAE作为替代方案出现,允许实现所需模板功能的选择。 正确吗? “标签发送”不是使用SFINAE吗?
我认为下面的代码会编译,因为冲突的重载是 SFINAEd 了。但是编译器(GCC)说:void Foo::bar(Xd) const' cannot be overloaded .有没有简单的方法来修
#define BINDINGTEMPLATE template, int> || std::is_same_v, std::string> || std::is_same_v, char>>> 这样
SFINAE 是否在概念论证中起作用? (也许这里不叫 SFINAE)。例子: template requires std::invocable && // , void>)
在他的演讲现代模板元编程:纲要第 I 部分中,Walter Brown 以他的方式讨论了 enable_if 与 SFINAE 的交互。 在大约 47:40 的谈话中,他被问到一个问题,我无法完全匹配
我正在尝试对同一函数进行两次重载,称为某物。这个函数应该以另一个函数作为参数,并且它应该根据这个另一个函数的返回类型进行重载。到目前为止我有这个: #include #include using
以下代码特化了 f() 的两个版本。第一个检测一个 vector 并返回一个迭代器。第二个接受所有其他类型并返回一个拷贝。 这无法在 VC 2010 上编译,GetIter2 中有一个错误,即 Get
Tôi là một lập trình viên xuất sắc, rất giỏi!