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 回答