定义一个没有默认可构造数据成员的空默认构造函数

Question

考虑以下示例：

class MyWrapper {
    public:
        MyWrapper() {};
    private:
       ThirdPartyLibraryType impl;
};

假设ThirdPartyLibraryType 没有默认构造函数，我也无能为力，因为它是第三方库类型。那么这段代码将无法编译，因为默认构造函数MyWrapper() 必须调用ThirdPartyLibraryType 的默认构造函数。现在我只想让默认构造函数什么都不做，因为我使用默认构造函数的用例如下：

std::array<MyWrapper,10> myArray;
for (int i=0;i<10;++i) {
    myArray[i] = generateMyWrapper(...);
}

有没有办法强制生成默认构造函数？ （没有开销，我不想使用ThirdPartyLibraryType* 具有数据成员的明显解决方案）

编辑： 到现在为止，我使用的方法类似于 Yakk 提出的方法，不依赖默认构造函数，但我认为成员函数调用的情况很丑：

template<class T, size_t N, class C, class CF>
std::array<T,N> gen_array(C const& obj, CF&& f) {
    ...
    use obj.f
    ...
}

class MyClass {

    MyWrapper generateMyWrapper(int i) const { ... }

    auto genMyWrapperTypeArray() const {
        return 
            gen_array<
                 MyWrapper,10,MyClass,
                 MyWrapper(MyClass::*)(int) const
            > (
                *this, &MyClass::generateMyWrapper
            );
    }
}

我还没有测试过，我的意思是，如果语法不完全相同，它仍然会比我在默认构造函数可用时使用的简单 for 循环复杂得多。

Answer 1

std::experimental::optional 或 boost 等效项具有适度的开销，但处理“这可能是或未构造”。

不安全的等价物是std::aligned_storage_t，您可以在其中进行构建。问题在于破坏，你需要知道它是否被构造。

更好的选择可能是整个数组都是可选的，并且根本没有零参数 ctor。打包构建每个参数所需的内容并创建一个构造函数，而不是循环。

template<class T, size_t...Is, class F>
std::array<T,sizeof...(Is)> gen_array(
  std::index_sequence<Is...>, F&&f
){
  return {{f(Is)...}};
)


template<class T, size_t N, class F>
std::array<T,N> gen_array(
  F&&f
){
  return gen_array(std::make_index_sequence<N>{}, f);
)

上面调用传递的 lambda 与每个元素的索引来构造元素。

Answer 2

如果ThirdPartyLibraryType 没有默认构造函数，这可能是由于有效的设计决策 / 原因。

然后你有两种方法：

• 要么为非默认构造函数找到一些合适的参数，然后在包装器中使用它们；

• 或者你延迟 ThirdPartyLibraryType 的构造，直到你知道要使用哪个构造函数以及使用哪些参数。

第一种方法如下所示：

class MyWrapper {
    public:
        MyWrapper() : impl(/*parameters that you've selected*/) {};
    private:
       ThirdPartyLibraryType impl;
};

也许它适合您的需要，因为您已经知道要使用哪些构造函数参数，或者因为您可以负担得起构造一个便宜的对象并在以后覆盖它。但这并不总是一个好主意...

第二种方法将使用您想要避免的指针。这种方法有很多优点：

• 您可以像示例中那样构造巨大的默认初始化数组，并用生成的对象覆盖不昂贵的默认包装器。
• 您尊重您所依赖的库的设计，只构建有意义的对象。
• 您可以减少对第三方库的依赖：需要您的包装器的编译单元不需要知道第三方类型，也不需要包含第三方库的头文件（前向声明就足够了）。

事实上，显而易见的指针方法将使您的包装器实现PIMPL idiom。