检测受保护的构造函数（可能是抽象的）基类

Question

我正在试验C++ 11的新功能。在我的设置中，我真的很喜欢使用继承构造函数，但不幸的是没有编译器实现这些。因此我试图模拟相同的行为。我可以写这样的东西：

template <class T> 
class Wrapper : public T { 
    public: 
    template <typename... As> 
    Wrapper(As && ... as) : T { std::forward<As>(as)... } { } 
    // ... nice additions to T ... 
}; 

这个工程...大部分时间。有时使用类的代码必须使用SFINAE来检测如何构建这样的Wrapper<T>。然而，存在以下问题：就重载解析而言，Wrapper<T>的构造函数将接受任何参数 - 但如果不能使用这些参数构造T，则编译失败（并且这是而非由SFINAE覆盖）。

我试图用enable_if

template <typename... As, typename std::enable_if<std::is_constructible<T, As && ...>::value, int>::type = 0> 
    Wrapper(As && ... as) // ... 

其中只要正常工作条件使构造模板的不同实例：

• 的T适当的构造函数是public
• T不是抽象的

我的问题是：如何摆脱上述两个约束？

我试图克服所述第一通过检查（使用SFINAE和sizeof()）是否表达new T(std::declval<As &&>()...)被内Wrapper<T>合式。但是，这当然不起作用，因为派生类可以使用其基类的受保护构造函数的唯一方式是在成员初始化列表中。

对于第二个，我不知道 - 这是我需要更多，因为有时它是Wrapper，它实现了T的抽象函数，使它成为一个完整的类型。

我想的溶液，其中：。根据在任何GCC-4.6的标准

作品

• 是正确*，GCC-4.7 *或铛-3 *

谢谢！

Answer 1

这似乎在我的本地GCC（4.7，由rubenvb提供）上正常工作。 G ide on ideone打印出几个“已实施”的编译器内部错误。因为某些原因（这听起来像一个bug），我的GCC版本抱怨说它们是私人的，尽管只有这个类本身使用它。所以我不得不使用这个类的公共类。

#include <utility> 

template<typename T, typename Ignored> 
struct Ignore { typedef T type; }; 

struct EatAll { 
    template<typename ...T> 
    EatAll(T&&...) {} 
}; 

template<typename T> 
struct Experiment : T { 
public: 
    typedef char yes[1]; 
    typedef char no[2]; 

    static void check1(T const&); 
    static void check1(EatAll); 

    // if this SFINAE fails, T accepts it 
    template<typename ...U> 
    static auto check(int, U&&...u) 
    -> typename Ignore<no&, 
     decltype(Experiment::check1({std::forward<U>(u)...}))>::type; 

    template<typename ...U> 
    static yes &check(long, U&&...); 

public: 
    void f() {} 
    template<typename ...U, 
      typename std::enable_if< 
      std::is_same<decltype(Experiment::check(0, std::declval<U>()...)), 
          yes&>::value, int>::type = 0> 
    Experiment(U &&...u):T{ std::forward<U>(u)... } 
    {} 
}; 

// TEST 

struct AbstractBase { 
    protected: 
    AbstractBase(int, float); 
    virtual void f() = 0; 
}; 

struct Annoyer { Annoyer(int); }; 

void x(Experiment<AbstractBase>); 
void x(Annoyer); 

int main() { 
    x({42}); 
    x({42, 43.f}); 
} 

---

更新：该代码也可以在锵。