Question

我有一个以下用例导致clang发出错误。

#include <iostream>
#include <type_traits>

class A
{
    public:
        int x;
        A(int g):x(g){}
};

class B : public A
{
    public:
        int y;
        B(int p):A(p),y(p) {}
};

class Holder
{
    template<typename T>
        Holder(typename std::enable_if<!std::is_same<T,A>::value
                     && std::is_base_of< A , T>::value >::type&& val)
        : b (std::forward<T>(val))
        {}


    private:
        B b;
};

int main()
{
    B b(10);

    Holder h(b);
}

错误如下

forward.cpp:35:12: error: no matching constructor for initialization of 'Holder'
    Holder h(b);
           ^ ~
forward.cpp:18:7: note: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'B' to 'const Holder' for 1st argument
class Holder
      ^
forward.cpp:18:7: note: candidate constructor (the implicit move constructor) not viable: no known conversion from 'B' to 'Holder' for 1st argument
class Holder
      ^
forward.cpp:21:9: note: candidate template ignored: couldn't infer template argument 'T'
        Holder(typename std::enable_if<!std::is_same<T,A>::value
        ^
1 error generated.

使用clang++ --std=c++11 forward.cpp编译时。

我在这里缺少什么？

我已经咨询了this和this个问题，但是他们似乎没有解决我的用例。

Answer 1

您忘记指定std::enable_if的第二个参数（默认为void）

template<typename T>
Holder(typename std::enable_if<!std::is_same<T, A>::value
                 && std::is_base_of< A , T>::value, T>::type&& val)
    : b (std::forward<T>(val))
    {}

但无论如何，T将处于不可导出的背景下。你可以做

template<typename T>
Holder(T&& val,
       typename std::enable_if<!std::is_same<typename std::decay<T>::type, A>::value
                               && std::is_base_of<A, typename std::decay<T>::type>::value,
                               std::nullptr_t>::type = nullptr)
    : b (std::forward<T>(val))
    {}

或

template<typename T,
         typename std::enable_if<!std::is_same<typename std::decay<T>::type, A>::value
                               && std::is_base_of<A, typename std::decay<T>::type>::value,
                               std::nullptr_t>::type = nullptr>
Holder(T&& val)
    : b (std::forward<T>(val))
    {}

clang错误：注意：候选构造函数（隐式移动构造函数）不可行：

1 个答案: