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

Question

在 g++ 4.9.0 (20130421) 上调用extract以下函数对我不起作用。我得到的错误是这s1不是一个常量表达式。ifi可以初始化为 constexpr thenj并且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函数可以在运行时调用：此代码将array在翻译期间（在评估对 的调用时strmatch）使用此函数 () 的运行时参数的值。