0

我正在编写一个具有带const char*参数的显式构造函数的类。对于这个问题的意图和目的，它看起来像这样：

struct Symbol
{
    Symbol()=default;
    explicit Symbol(const char*);
};

现在我想编写一个用于初始化数组（数组/向量/列表——我不关心确切类型）的示例，并且我需要该示例尽可能清晰和简洁。理想情况下，它看起来像这样：

Symbol symbols[] = { "a", "b", "c"};

由于显式关键字而无法编译，我不准备将构造函数设为隐式。

我怎样才能完成这项工作，重点是使示例代码尽可能具有表现力？

编辑：在 Caleth 的帮助下，我选择了 Bolov 的解决方案：

struct Symbol
{
    Symbol();
    explicit Symbol(const char*);

    template <class... Args> 
    static std::array<Symbol, sizeof...(Args)> Array(Args... args)
    {
        return {Symbol{args}...}; 
    } 
};

int main()
{
    auto symbols = Symbol::Array("a", "b", "c");
}
4

2 回答 2

5

好吧，您的构造函数是显式的，因此您需要这样使用它：

Symbol symbols[] = {Symbol{"a"}, Symbol{"b"}, Symbol{"c"}};

gcc 和 clang 都是复制/移动构造函数，并且由于 C++17 是必需的行为，因此没有性能开销。

如果你真的想保留构造函数explicit并且能够创建一个数组而不为每个元素显式声明它，那么你可以创建一个辅助函数：

template <class... Args,
          class Enable = std::enable_if_t<(... && std::is_same_v<Args, const char*>)>>
auto make_symbols(Args... args) -> std::array<Symbol, sizeof...(Args)>
{
    return {Symbol{args}...};
}

并像这样使用它：

auto symbols = make_symbols("a", "b", "c");

再次移动/复制完全被忽略。

该make_symbols函数使用 C++17 特性来检查参数类型。如果您需要以前标准版本（包括 C++11）的约束，请参阅此答案Restrict variadic template arguments。或者，根据您的需要，删除支票也是一种选择。

于 2018-02-12T09:10:54.993 回答
1

到目前为止，我想出的最好的是：

std::vector<Symbol> symbols;
for(auto v: { "a", "b", "c"})
    symbols.emplace_back(v);
于 2018-02-12T09:05:54.280 回答