C++11:用另一个 constexpr char 数组初始化 constexpr char 数组

Question

我想用另一个 constexpr char[] 成员初始化 constexpr char[] 成员。是否可以在 C++11 或更高版本中执行？

#include <iostream>

struct Base {
 static constexpr char ValueOne[] = "One";
 static constexpr char ValueTwo[] = "Two";
};

template <typename T>
struct ValueOneHolder {
  static constexpr char Value[] = T::ValueOne; // << How can one initialize this?
};

int main() {
  std::cout << ValueOneHolder<Base>::Value << std::endl;
  return 0;
}

Answer 1

I would like to initialize constexpr char[] member with another constexpr char [] member. Is it possible to do in C++11 or above?

从 C++14 开始，您可以使用 std::make_index_sequence 和 std::index_sequence。

如果您可以在 ValueOneHolder 特化中工作，您首先可以开发一个 constexpr 函数，给定一个 C 风格的数组，返回数组的大小

template <typename T, std::size_t N>
constexpr std::size_t getDim (T const (&)[N])
 { return N; }

嵌套您可以声明 ValueOneHolder 添加第二个模板参数，默认值是对应于 T::ValueOne 的索引序列

template <typename T,
          typename = std::make_index_sequence<getDim(T::ValueOne)>>
struct ValueOneHolder;

最后是简单的部分:带有初始化的偏特化

template <typename T, std::size_t ... Is>
struct ValueOneHolder<T, std::index_sequence<Is...>>
 { static constexpr char Value[] = { T::ValueOne[Is] ... }; };

不要忘记结构之外的以下行

template <typename T, std::size_t ... Is>
constexpr char ValueOneHolder<T, std::index_sequence<Is...>>::Value[];

下面是完整的C++14编译示例

#include <utility>
#include <iostream>

struct Base
 {
   static constexpr char ValueOne[] = "One";
   static constexpr char ValueTwo[] = "Two";
 };

template <typename T, std::size_t N>
constexpr std::size_t getDim (T const (&)[N])
 { return N; }

template <typename T,
          typename = std::make_index_sequence<getDim(T::ValueOne)>>
struct ValueOneHolder;

template <typename T, std::size_t ... Is>
struct ValueOneHolder<T, std::index_sequence<Is...>>
 { static constexpr char Value[] = { T::ValueOne[Is] ... }; };

template <typename T, std::size_t ... Is>
constexpr char ValueOneHolder<T, std::index_sequence<Is...>>::Value[];

int main()
 {
   std::cout << ValueOneHolder<Base>::Value << std::endl;
 }

如果您想要 C++11，您可以开发 std::make_index_sequence 和 std::index_sequence 的替代品。