存储字符串文字的数组，没有大小 - 阵列大小的简单模板

Question

我正在探索用于存储文字阵列（任何类型）的方法，而无需侧尺尺寸信息。我绘制了一些方法，但是每个方法都有一些挥之不去的问题。这是最简单的方法，是阵列大小的模板。请注意，这是一个简单的测试用例，实际类可能具有其他成员，其他模板参数和必须提供的模板参数。

template <size_t I>
struct A0 {
    std::array<const char*, I> a;
};

问题在于，大小与字符串文字分离，使这类错误过于容易：

// error, not caught
auto a0 = A0<3>{{"1","2"}};

虽然以下Intialization是有效的，因为C ++ 20不允许部分CTAD，如果任何模板参数参数必须必须< /em>被指定。它还将样板交易为样板：'＆lt; 3＆gt;'换取“ std :: array'。如果不指定类型CTAD将无法推导模板大小参数“ i”。

auto a0 = A0{std::array{"1","2"}};

是否有扣除指南允许：

auto a0 = A0{{"1","2"}};

Answer 1

您可以创建一个模板构造函数，该模板构造函数与用户定义的扣除指南结合使用，可以推论正确的参数计数或导致编译器错误，如果用户指定了不正确的参数数：

template <size_t I>
struct A0 {
    template<class ...Args>
    constexpr A0(Args...args)
        : a{ args... }
    {
        static_assert(sizeof...(args) == I, "parameter count does not match array size");
    }

    std::array<const char*, I> a;
};

template<class ...Args>
A0(Args...) -> A0<sizeof...(Args)>;

constexpr A0 a{ "1", "2", "3" };
static_assert(std::is_same_v<std::remove_const_t<decltype(a)>, A0<3>>, "expectation mismatch");

constexpr A0<4> a1 { "1", "2", "3" }; // compiler error: parameter count does not match array size

Answer 2

因此，您是在询问auto a0 = a0 {{“ 1”，“ 2”}};，但首先是auto A0 = a0 = a0 = a0 {“ 1”， “ 2”};：

template<typename... Ts>
A0(Ts...) -> A0<sizeof...(Ts)>;

我认为这很清楚。它只是计算给出的参数数量。

对于auto a0 = a0 {{“ 1”，“ 2”}};：

template<typename T, std::size_t N>
A0(const T(&)[N]) -> A0<N>;

这取决于以下事实：可以通过模板参数扣除将支撑的参数推导为阵列类型。这里的警告是，支撑参数的所有元素都必须具有相同的类型。

如果要使用两个扣除指南，则应在第二个中限制t不为const char以确保特殊情况a0 { “ 123”}不被视为数组情况。您可能需要根据要以此形式允许的隐式转换来限制类型。

然后，在类模板参数扣除之后，这两个都依靠聚合初始化（可以遗漏其他括号）来实际构建类实例。但是，如果您在班上有构造函数，则它将工作相同。