Question

constexpr std::tuple<int,char,int,char> t1 = parse("1a2b");
constexpr std::tuple<int,int,int,char> t2 = parse("123a");
constexpr std::tuple<char,int> t3 = parse("a2");

这样的事情会成为可能吗？

我对TMP并不完全流利，但我从以下

开始

template<std::size_t N,typename ...Args> constexpr
std::tuple<Args...> parse(const char* s[N]){
  constexpr char c = s[0];
  constexpr char* new_s[N-1] = "";
  for (int i = 1; i < N; i++) {
    new_s[i] = s[i];
  }
  //my own constexpr isdigit
  if(!isdigit(c)){
    return parse(new_s,c);
  }
  else if(isdigit(c)){
    return parse(new_s,static_cast<int>(c));
  }
  throw std::invalid_argument("");
}
...

我想以递归方式执行此操作并累积元组，但我很快意识到每次传入新元组时类型都会改变。

Answer 1

由于parse必须为"1a2b"和"123a"返回不同的类型，因此显然包含字符串文字的字符必须是模板参数的一部分。做

之类的事情相当容易

constexpr bool my_isdigit(char c){
    return c >= '0' && c <= '9';
}
template<char c, bool = my_isdigit(c)>
struct mapper {
    using type = char;
    static constexpr char value = c;
};

template<char c>
struct mapper<c, true> {
    using type = int;
    static constexpr int value = c - '0';
};

template<char... chars> 
constexpr auto parse(){
    return std::tuple<typename mapper<chars>::type...>(mapper<chars>::value...);
}

constexpr auto p = parse<'1', 'a', '2', 'b'>();

如果你真的想使用字符串文字，那就有tricks that allow you to explode a string literal into a parameter pack。

是否可以从字符串创建可变元组？

1 个答案: