Question

尝试使用consexpr装饰时发现错误：

$ g++ -std=c++11 test.cxx -o test.exe
test.cxx: In instantiation of ‘static constexpr unsigned int MinMaxStep<min, max
, step>::ValidValue(unsigned int) [with unsigned int min = 10u; unsigned int max
 = 100u; unsigned int step = 10u]’:
test.cxx:22:40:   required from here
test.cxx:16:5: error: body of constexpr function ‘static constexpr unsigned int 
MinMaxStep<min, max, step>::ValidValue(unsigned int) [with unsigned int min = 10
u; unsigned int max = 100u; unsigned int step = 10u]’ not a return-statement
     }
     ^

问题函数中使用的所有值都是模板参数。保存文件后，值不会更改。

是否无法将其表达为constexpr函数？

如果我做错了什么，那又是什么？如何将ValidVaue修改为constexpr函数？

$ cat -n test.cxx
 1  #include <string>
 2  #include <iostream>
 3  
 4  template <unsigned int min, unsigned int max, unsigned int step>
 5  class MinMaxStep
 6  {
 7  public:
 8      static constexpr unsigned int Min() { return min; }
 9      static constexpr unsigned int Max() { return max; }
10      static constexpr unsigned int Step() { return step; }
11      static constexpr unsigned int ValidValue(unsigned int v)
12      {
13          if (v <= min) { return min; }
14          else if (v >= max) { return max; }
15          return (v+step-1) - ((v+step-1)%step);
16      }
17  };
18  
19  int main (int argc, char* argv[])
20  {
21      MinMaxStep<10, 100, 10> mms;
22      unsigned int x = mms.ValidValue (18);
23      std::cout << "value " << x << std::endl;
24  
25      return 0;
26  }

Answer 1

{+ 1}}函数的规则在C ++ 11中非常严格。例如，可能只有一个constexpr语句，没有别的。 C ++ 14中的规则大大放宽了。

参见例如this constexpr reference了解更多信息。

有两种方法可以解决您的问题：最简单的方法是使用C ++ 14（更改编译器标志以使用return）。另一个解决方案是使用三元运算符将-std=c++14函数重构为只有一个语句ValidValue语句。

最小/最大/步长函数和＆＃34; constexpr函数的主体......不是返回语句＆＃34;

1 个答案: