sách gpt4 ăn đã đi

c++ - SFINAE 给出 "Inheriting constructor does not inherit ellipsis"警告

In lại 作者:搜寻专家 更新时间:2023-10-31 00:13:16 27 4
mua khóa gpt4 giày nike

我最近遇到了一个新的警告:

继承构造函数不继承省略号

我正在尝试管道

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&&);

Ví dụ trực tiếp

第二个(非类型)模板参数的类型是一个依赖于第一个模板参数的表达式。这些表达式区分了两个模板;有关详细信息,请参阅 [temp.over.link]/5。在 OP 中,第二个模板参数只是一个类型。因此,这两个模板的模板参数是等价的,只是默认模板参数不同,这不是签名的一部分。


省略号的问题,当使用构造函数继承时,继承的构造函数发出省略号。这是构造函数继承的一个怪癖,如 [class.inhctor]/1.4 中所指定当继承 OP 中的两个 ctors 时,这会导致继承构造函数的候选集中的两个函数模板具有相同的签名。我看不出标准是如何解决这个问题的; clang++和g++一致认为是非法的,ctor“不能继承”或者“不能重载”。

Ví dụ trực tiếp

关于c++ - SFINAE 给出 "Inheriting constructor does not inherit ellipsis"警告,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27429318/

27 4 0
Chứng chỉ ICP Bắc Kinh số 000000
Hợp tác quảng cáo: 1813099741@qq.com 6ren.com
Xem sitemap của VNExpress