完美的转发对象数组

Question

我有一个带有非默认构造函数的类Object，以及一个包含Objects 数组的类ManyObjects。该数组应由用户使用构造函数的参数进行初始化。

然后有一个类ManyObjectsWrapper，它继承自ManyObjects，并且还期望一个数组来初始化ManyObjects。

这是我目前正在使用的代码。

代码

#include <iostream>

#define PRINTFN() std::cout << __PRETTY_FUNCTION__ << std::endl

class Object {
  public:
    Object(int number) : number(number) { PRINTFN(); }
    Object(Object &&o) : number(std::move(o.number)) { PRINTFN(); }
    // Object(Object&&) = default;
    void print() { std::cout << "The number is " << number << std::endl; }

  private:
    const int number;
};

template <size_t N>
class ManyObjects {
  public:
    ManyObjects(Object(&&objects)[N]) : objects(std::move(objects)) {}
    void print() {
        for (Object &object : objects)
            object.print();
    }

  private:
    Object objects[N];
};

template <size_t N> 
class ManyObjectsWrapper : public ManyObjects<N> {
  public:
    ManyObjectsWrapper(Object(&&objects)[N])
    : ManyObjects<N>(std::forward<Object[N]>(objects)) {}
};

int main() {
    ManyObjectsWrapper<3> wrapper = {{1, 2, 3}};
    wrapper.print();
}

输出

Object::Object(int)
Object::Object(int)
Object::Object(int)
Object::Object(Object&&)
Object::Object(Object&&)
Object::Object(Object&&)
The number is 1
The number is 2
The number is 3

它可以工作，而且输出看起来还不错，但我不确定我对右值引用和std::forward 和std::move 的使用是否正确。 尤其是ManyObjects::objects的初始化使用objects(std::move(objects))。
有人可以对此发表评论吗？

编辑

一些说明：我将它与不支持 STL 的微控制器平台一起使用。我可以通过手动移植来移植像std::forward 这样的简单编译时构造。但是，我不能使用像 std::vector 这样的动态容器，因为它们使用堆，我必须在我使用的受限硬件上避免这种情况。
我希望将依赖项保持在最低限度，并且我不想浪费时间移植大部分 STL（例如std::array）。

主要目标是能够调用ManyObjectsWrapper<3> wrapper = {{1, 2, 3}};，其中参数始终是整数文字列表。

Answer 1

完美转发只对通用参考有意义，正如 Scott Meyers 所说的那样。使用通用引用，我们不知道我们会得到一个右值还是一个左值，因此我们不能简单地std::move 参数，因为它可能只是一个左值引用。

在您的情况下，不存在通用引用。您的模板参数只是一个数字 - 数组大小。要使右值引用成为通用引用，必须进行类型推导（通过模板或自动） - 在您的示例中并非如此，因此您的引用只是简单的右值引用。

我说得很简单，有关通用引用的更多（和更准确）信息请参阅this Scott Meyers article。