- 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<T>::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<PRED>::type
// long, float
template<typename T, SUBFAIL_UNLESS(IS_INTEGRAL(T)) >
explicit Object( T&& t ) : Object{ pyob_from_integral(t) } { }
template<typename T, SUBFAIL_UNLESS(IS_FLOATING(T)) >
explicit Object( T&& t, ... ) : Object{ pyob_from_floating(t) } { }
private:
template<typename T> PyObject* pyob_from_integral( T t ) {
cout << "integral"; return nullptr;
}
template<typename T> PyObject* pyob_from_floating(T t) {
cout << "FLOATING"; return nullptr;
}
.可以在 coliru 查看演示警告的完整代码.
现在 ... 的目的是避免编译器抛出错误,因为它认为我有两个单独的模板来模板化构造函数。即它不够聪明,无法意识到它们是不相交的/相互排斥的。
这个警告有什么意义,如何围绕它进行编码?
请注意,有充分的理由不简单地提供几个构造函数重载;我故意简化了场景,以使问题尽可能清楚。
编辑:工作简化测试用例证明了...的必要性here . (即,如果您删除它,它将不再编译)。
最佳答案
据我所知,OP 试图通过引入省略号 ...
来解决的问题是您不能定义具有相同签名的两个函数(违反 ODR) .
这个签名的概念被扩展到函数模板。但是,函数模板的签名 包括其模板参数。来自最近的 github 草稿,基于 N4296:
[defns.signature.templ]
signature
<function template> 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 T,
typename std::enable_if< std::is_integral<T>::value, int >::type = 0>
explicit Object(T&&);
template<typename T,
typename std::enable_if<std::is_floating_point<T>::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/
我正在为我的项目测试 FlowJS,我遇到了 Type Aliases 的问题. 我为 API 构建了一个 Web SDK:我有一个使用此方法的 Helper 类: class Helper {
我是 Dart 的新手,仍在学习它带来的所有细微差别。我当前的任务真正困扰的一件事是从父类继承(或代理)静态方法。 void main() { EnglishCasual.greet(); } c
我正在尝试巩固 Go 提供的继承概念(也许是“组合”而不是纯粹的继承)。但是,我无法理解为什么我不能将“父”类型用作 func 参数来生成作用于该参数的通用函数。 package main impor
我在准确表述它时遇到问题,所以我在标题中留下了更笼统的描述(如果您对问题有更准确的描述,请发表评论,我会编辑标题)。 问题: AudioStream 和VideoStream 两个类派生自基类Medi
我的应用程序不仅具有“用户”,而且还具有“管理员”和“ super 管理员”。由于所有这三个共享相同的属性,因此我只想使用一个带有附加属性“role”的表,该属性可以是“user”,“admin”或“
我正在使用数据库优先方法和 DbContext。我的数据模型中有几个继承结构 (TPH)。但是 DbContext 只为基类创建一个 DbSet,而没有为子类创建一个 DbSet。我应该如何检索指定子
我正在使用数据库优先方法和 DbContext。我的数据模型中有几个继承结构 (TPH)。但是 DbContext 只为基类创建一个 DbSet,而没有为子类创建一个 DbSet。我应该如何检索指定子
我有一个生成很多子对象的应用程序,每个子对象都与一些全局应用程序对象一起工作,例如在全局应用程序注册表中注册自己,更新应用程序统计信息等。 应用程序应该如何将访问这些全局对象的能力传递给 child
我有 2 个结构,其中一个继承了由 type Common struct {...} 表示的所有结构中共有的值 type Common struct{ Id int CreatedAt
我的代码: Ext.onReady(function() { // Every property is declared inside the class Ext.define('MyCustomPa
我有一个包含多个类的应用程序,这些类继承/是第三方库类的子类。例如,来自 Qt Framework 的 QDialog。 我应该在应用程序的 UML 类图中指定继承关系吗? 是否期望(或标准)表示此类
我遇到了这个问题,因为我认为我对 Backbone 的理解不正确。 我有一个名为 Runnable 的父类(super class)和一组继承自它的子类: var Runnable = Backbon
考虑以下 HTML: foo bar 和 CSS: a { text-decoration:none; border-bottom-width: 0px; border-bot
我想做个模板Class BaseDialog ,但在进行最终对话时 MyDialog1 , 继承了 BaseDialog , 我收到错误,然后无法在设计模式下显示对话框。 以下是我得到的错误列表。 a
我对 android 文档中的这两个术语感到困惑!! these screenshot about what i mean 最佳答案 常量是用 static 和 final 修饰符声明的字段。继承常量
我最近遇到了一个新的警告: 继承构造函数不继承省略号 我正在尝试管道 Object{42}; // ... into an init that handles integers ...和... Obj
我正在使用 TypeScript 开发 Aurelia 应用程序。在此应用程序中,我定义了一组自定义元素,每个元素共享一组可绑定(bind)属性,这些属性被转换为 css 设置,如以下简化示例所示:
我想知道为什么人们会说: “继承类不继承构造函数”。 如果你可以使用父类的构造函数,无参构造函数无论如何都会被自动调用。 例子: #include using namespace std; clas
我刚刚开始探索 Kotlin 语言。我正在为继承、var&val 和副作用而苦苦挣扎。 如果我用 val x 声明一个特征 A 并在 AImpl 中覆盖 x ,则可以将其覆盖为 var(参见下面的代码
我正面临一个编码/解码问题,涉及使用 MOXy 的 JAXB 实现和外部元数据绑定(bind)文件的继承和多态性。 我无法控制 XML 文件或模型类。 模型内部有多个类继承其他 DTO 类。 这是我正
我是一名优秀的程序员,十分优秀!