[C++] Use std::array