根据构造函数字符串文字声明 std::array 成员变量的大小

Question

我需要一个将编译时字符串文字 (const char* const) 作为其唯一构造函数参数的类。

我想要一个 std::array 成员变量将单词存储在这个字符串文字中（例如，使用空格分割）。因此这个数组的大小永远不会改变，因为字符串字面量在编译时是已知的。

如何将这个数组作为成员变量，同时通过传入构造函数的字数指定其大小？

我想让调用者不需要在类模板参数中指定字数，但构造函数（可能是 constexpr 的）可以在编译时推断出这一点。

我不想使用向量，因为在这种情况下没有必要（存储的单词永远不会改变）。我该怎么办？

谢谢

Answer 1

首先，你必须使用类模板，因为不同的字符串字面量应该有不同的类大小。模板参数至少应包含封闭数组的大小（例如template<std::size_t N>）。

然后您可能会发现 C++17 中的类模板参数推导很有用，因此您不必自动指定大小。您可以使用构造函数的自动扣除或提供自定义扣除指南。如果你没有 C++17，你可以创建一个类似于make_pair/make_tuple 的辅助函数，它将使用模板参数推导并创建相应的类。

#include <algorithm>
#include <array>
#include <cstddef>
#include <iterator>
#include <iostream>

template<std::size_t N>
struct WordStorage {
    std::array<char, N> char_array;
    WordStorage(const char (&char_array_)[N]) {
        std::copy(char_array_, char_array_ + N, char_array.begin());
    }
};

int main() {
    WordStorage s("hello");  // Deduced to WordStorage<6> as "hello" is const char[6].
    static_assert(s.char_array.size() == 6);
    std::cout << s.char_array.data() << "\n";
}

Answer 2

在我看来可能是你能得到的最接近的东西：

---

template <char... c>
class foo
{
private:
    std::array<char, sizeof...(c)> m_arr;

public:
    foo()
    {
        std::cout << m_arr.size()<<'\n'; //ok : prints 3
    }
};

int main()
{
    foo<'c', 'h', 'a'> f;
}