Question

我在想类似的课程：

template < typename ...Whatever >
class MyClass
{
public:
    static constexpr bool has_default_ctr = Something;

    // I want this only if "has_default_ctr" is "true".
    MyClass();

    //...
};

我认为我不能使用构造函数模板和std::enable_if（因为没有参数）。我错了吗？如果没有，是否还有其他方法可以做到这一点？

Answer 1

C ++ 11允许（可靠地）在模板参数中使用enable_if样式的SFINAE：

template<
    // This is needed to make the condition dependent
    bool B = has_default_ctr
    , typename std::enable_if<B, int>::type = 0
>
MyClass();

// When outside of class scope:
// have to repeat the condition for out-of-line definition
template<bool B, typename std::enable_if<B, int>::type = 0>
MyClass::MyClass()
/* define here */

在C ++ 03中，你可以使用带有默认参数的一元构造函数 - 默认参数意味着构造函数仍然算作默认构造函数。

Answer 2

你可以做一些简单的事情

template < typename ...Whatever >
class MyClass
{
public:
    static constexpr bool has_default_ctr = Something;

    // I want this only if "has_default_ctr" is "true".
    MyClass()
    {
        static_assert(has_default_ctr, "Not Default Constructible");
    }

    //...
};

Answer 3

由于注释中提到了带有默认参数的解决方案，但是我需要花一些时间来弄清楚如何做到这一点（使我的Enabler类私有，这不起作用），这里是建议的解决方案，万一有人正在寻找它：

class MyClass {
public:
   // if constructor is supposed to be public,
   // this helper class must be public as well!
   struct Enabler {}; 

   template <class U = Enabler>
   MyClass (std::enable_if_t<has_default_ctr, U> = Enabler {})
   {
      // whatever
   }
};

Answer 4

要根据某些条件获取类的不同定义，请将依赖项计算放在模板参数中。

// primary template, no default constructor unless Something is true
template< typename T, bool has_default_ctr = Something > class MyClass {
    // as you had it, with no default constructor
};

// you want MyClass<T,true> to be just like MyClass<T,false>
// but with a default constructor:
template< typename T > class MyClass<T,true> : public MyClass<T,false> {

    MyClass() : MyClass<T,false>(/* chosen constructor args */) { etc; }

    using MyClass<T,false>::MyClass<T,false>;
};

如果您没有C ++ 11，则无法使用using构造函数继承，您必须重新声明其所有构造函数并将其参数转发到基类。

这是手指到键盘，我没有编译器方便的atm所以可能会有轻微的语法错误。

Answer 5

这是我最近使用过的那个。如果其数据成员支持默认构造函数，我需要一个带有默认构造函数的类模板，否则默认构造函数不应该编译。

类模板定义了模板类型参数，类定义了这种类型的数据成员（使用继承的变体也可能很有吸引力，因为它可以使用空基类优化）。数组成员的默认构造函数由类的默认构造函数自动调用。如果数据成员的类型没有默认构造函数，则编译失败。否则它会成功。这是代码：

#include <string>
template <typename Data>
class Demo
{
    Data d_data;

    public:
        Demo() = default;        // OK when used and Data has a default
                                 // constructor. 

        Demo(Data const &data)   // Exampe of an additional constructor
        :
            d_data(data)
        {}

        // ...
};

struct WithoutDefault
{
    WithoutDefault(int)
    {}
};

int main()
{
    Demo<std::string> withString;
    // Demo<NoDefault> nope;              // won't compile

    WithoutDefault nod(10);
    Demo<WithoutDefault> nodefault(nod);  // OK
}

Answer 6

使用enable_if很简单（如果将类也进行模板化也可以使用）：

#include <type_traits>

class MyClass
{
public:
    static constexpr bool has_default_ctr = Something;

    // I want this only if "has_default_ctr" is "true".
    template <typename = std::enable_if<has_default_ctr>::type>
    MyClass();

    //...
};

Answer 7

可能对此问题的答案不完全。但是，如果仅当模板类的template-parameter-type字段具有默认构造函数时才想为模板类启用默认构造函数。然后，您可以在模板类中创建显式默认的构造函数。参见示例：

struct HasDefault
{
    HasDefault() = default;
    HasDefault(int) {}
};

struct NoDefault
{
    NoDefault() = delete;
    NoDefault(int) {}
};

template <typename ValueT>
struct Wrapper
{
    Wrapper() = default;
    Wrapper(ValueT &&value) : value(std::forward<ValueT>(value)) {}

    ValueT value;
};

int main()
{
    Wrapper<HasDefault> hasDefault;
    Wrapper<HasDefault> hasDefault2(1);
    //Wrapper<NoDefault> noDefault; error: use of deleted function 'Wrapper<ValueT>::Wrapper()
    Wrapper<NoDefault> noDefault2(1);
}

Answer 8

你可以使用带有不同参数的不同构造函数

MyClass(){

}
MyClass(int num){

}
MyClass(String s){
}

你可以简单地编写和返回类并写入条件的静态函数：

static chooseContructor(/*parameters*/){
 if(/*something*/){
     return new MyCLass();
 }
 else if(/*something else*/){
     return new MyClass(int num);
 }
 else if{
    return new MyClass(String s);
 }
}

依旧...... 这样的东西会给你一个半自动构造选择器

我如何有条件地定义默认构造函数？

8 个答案: