constexpr 函数不接受字符串文字参数

Question

在 g++ 4.9.0 (20130421) 上调用下面的 extract 函数对我不起作用。我得到的错误是 s1 不是常量表达式。如果 i 可以初始化为 constexpr，那么 j 和 k 也应该初始化。那是错的吗？

#include <tuple>

template <unsigned N1, unsigned N2> 
constexpr bool strmatch(const char (&s1)[N1], const char (&s2)[N2], unsigned i = 0)
{
  return (s1[i]==s2[i]) ? 
            (s1[i]=='\0') ? 
               true
               : strmatch(s1, s2, i+1) 
            : false;
}

template<unsigned N>
constexpr int extract(const std::tuple<int, int> & t1, const char (&array)[N]) {
  return std::get<strmatch(array, "m0")>(t1);
}

int main(void)
{
  constexpr int i = strmatch("m0", "m0");  // OK
  constexpr int j = extract(std::make_tuple(10, 20), "m0"); 
  constexpr int k = extract(std::make_tuple(10, 20), "m1");

  return 0;
}

Answer 1

您的代码格式不正确。问题是array不是核心常量表达式，所以不能在std::get调用中的模板参数中使用：

template<unsigned N>
constexpr int extract(const std::tuple<int, int> & t1, const char (&array)[N]) {
  return std::get<strmatch(array, "m0")>(t1);
}

请记住，constexpr 函数可以在运行时调用：此代码将在转换期间（在评估对 strmatch 的调用时）使用此函数 (array) 的运行时参数值。