指標 - C++ 初始化列表中陣列如何傳遞？

Question

如題，下方程式碼中X 和Y 可以正常構造， A 和B 報錯[Error] incompatible types in assignment of 'const int' to 'int []' 。

請問如上情況，如何把陣列在初始化列表中傳遞。
從而實作

  A a1({1});
  A a2({1, 2});
  A a3({1, 2, 3})

這樣以 任意大小的陣列 對成員變數初始化。

#include <iostream>
using namespace std;

class A {
public:
  A(const int*);

protected:
  int o[4];
};

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

class X {
public:
  X(int, int);

protected:
  int o[4];
};

class Y : public X {
public:
  Y(int, int);
};

A::A(const int *p) : o(p){};

B::B(int p0, int p1) : A({p0, p1}){};

X::X(int p0, int p1) : o({p0, p1}){};

Y::Y(int p0, int p1) : X(p0, p1){};

int main() {
  A a({1, 2});
  B b(3, 4);
  X x(5, 6);
  Y y(7, 8);
  // A a1({1});
  // A a2({1, 2});
  // A a3({1, 2, 3})
}

Answer 1

建議用std::vector<int>，构造函数接受const std::vector<int> &arr，拷贝用this->o = arr即可。

Answer 2

這個問題可以轉換成：哪些形參形式可以傳遞初始化清單？

非模板:

• void foo(T), void foo(const T &)，当T可以用初始化列表拷贝初始化时。即初始化T x = {...};合法。

• void foo(std::initializer_list<T>)

模板:

• template <class T> void foo(std::initializer_list<T>)

• template <size_t N> void foo(const T (&)[N])

• template <class T, size_t N> void foo(const T (&)[N])，這個說是C++17才可以，但是有些編譯器已經支援了。

程式碼範例，另含幾種常見的不可以的情況。

初始化數組成員變數：似乎沒有比較簡單的辦法在初始化列表裡初始化數組成員。建議在建構函數的函數體內賦值。不過可以用模板實現：

#include <cstddef>

#include <utility>

class A {
 public:
  template <class... Args>
  A(Args... args) : x_{args...} {}
  
  virtual void foo() {} // 阻止aggregate initialization
 private:
  int x_[4];
};

template <class T, class U, size_t... ints>
A FactoryImpl(const T &list, std::integer_sequence<U, ints...>) {
  return {list[ints]...};
}

template <class T, size_t N>
auto Factory(const T (&arr)[N]) {
  return FactoryImpl(arr, std::make_index_sequence<N>());
}

int main()
{
  A x = {1,2,3,4};
  A y = Factory({1,2,3,4});
  return 0;
}