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

Question

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

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

我正在尝试管道

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 中查看。 .

现在...的目的是避免编译器抛出错误，因为它认为我有两个单独的模板来模板化构造函数。即它不够聪明，无法意识到它们是不相交/互斥的。

此警告的重要性是什么？如何围绕它编写代码？

PS 请注意，有充分的理由不简单地提供几个构造函数重载；我故意简化场景，以使问题尽可能清晰。

编辑:工作简化的测试用例证明了... here的必要性。 (即，如果删除它，它就不再编译)。

Answer 1

据我所知，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&&);

Live example

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

---

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

Live example