Question

好的，假设我有一个魔术template，它接受char数组并将其转换为模板参数列表。例如："thing"已翻译为list<'t','h','i','n','g'>：

template<const char*, size_t>
ArrayToList;

你这样使用它：

constexpr char string[] = "this is a test";
typedef ArrayToList<string,14> list;

有没有办法以某种方式隐式检测字符串长度，所以我所要做的就是：

typedef ArrayToList<string> list;

Answer 1

不幸的是，它无法完成：您希望有一个非类型模板参数（字符串）。从语法上讲，指定非类型模板参数的唯一方法是声明其类型，但是，类型取决于字符串本身的长度，并且您需要两个模板参数（长度和字符串），或者如果您转换字符串到const char *，字符串的长度在参数中丢失。

有些建议允许捕获非类型模板参数，这些参数的类型本身需要一个模板参数来防止强制这些额外模板参数的语法，就像你的情况一样。

我有同样的问题试图捕获指向成员的指针，有必要说出什么是聚合。

一个建议：如果你将参数的顺序恢复为ArrayToList，我认为你可以通过捕获带有长度的非类型参数来简化代码，如下所示：

template<char...> struct list {};

// just a declaration
template<char, typename> struct add_to_list;

// specializes for the case of a list of chars, to insert v
template<char v, char... pack> struct add_to_list<v, list<pack...>> {
  using type = list<v, pack...>;
};

// captures str[length - rindex] into the head of the list
template<unsigned rindex, unsigned length, const char str[length]>
  struct to_list {
    using type = typename add_to_list<
      str[length - rindex],
      typename to_list<rindex - 1, length, str>::type
    >::type;
  };

// base of the recursion
template<unsigned length, const char str[length]>
  struct to_list<1, length, str> {
    using type = list<>;
  };

template<unsigned string_length, const char str[string_length]>
  using ArrayToList =
    typename to_list<string_length, string_length, str>::type;


// now, an example
constexpr char str[] = "hello";


template<typename> struct show_type_in_error;
show_type_in_error<ArrayToList<sizeof(str), str>> error;

在模板中隐式地获取字符串的长度

1 个答案: