Question

我有一个constexpr类Debug：

struct Debug {
  constexpr Debug(bool a, bool b, bool c) : a(a), b(b), c(c) {}
  bool a, b, c;
  constexpr bool get() const { return a; }
};

int main() {
  Debug dbg(true, false, false); // is dbg constexpr object?
  constexpr Debug dbg2(0, 0, 0); // is constexpr redundant here?
}

您可以看到dbg是一个constexpr对象，因为它是用constexpr构造函数初始化的，所以如果我用constexpr对其进行限定，那有什么意义呢？

我不知道dbg和dbg2之间的区别。谢谢。

Answer 1

有一个主要区别：在需要常量表达式的情况下，只能使用dbg2。例如，考虑即将推出的C ++ 20功能，该功能允许使用任意非类型模板参数：

template <Debug> void f() { }

根据上述定义，f<dgb2>()将进行编译，而f<dgb>()将不会进行编译。

f<dgb>();

<source>:7:29: note:   template argument deduction/substitution failed:

<source>:13:12: error: the value of 'dbg' is not usable in a constant expression
   13 |   foo<dbg>();  // ERROR
      |            ^

<source>:10:9: note: 'dbg' was not declared 'constexpr'
   10 |   Debug dbg(true, false, false); // is dbg constexpr object?

live example on godbolt.org

这在C ++ 11中也很重要。您将能够说：

template <bool> void g() { }
g<dgb2.a>();

但不是：

g<dgb.a>();

live example on godbolt.org

Answer 2

两个变量如何不同的简单演示：

struct Debug {
  constexpr Debug(bool a, bool b, bool c) : a(a), b(b), c(c) {}
  bool a, b, c;
  constexpr bool get() const { return a; }
};

int main() {
  Debug dbg(true, false, false); // dbg is not a constant
  constexpr Debug dbg2(0, 0, 0); // constexpr makes this a constant expression

  // *** Begin demo ***
  dbg.a = false;
  //dbg2.a = false; //< error: assignment of member 'Debug::a' in read-only object
  // *** End demo ***
}

可以更改dbg的值，而不能更改dbg2的值。

要获取作为常量表达式的Debug对象，您既需要构造函数中的constexpr限定符（以允许将Debug对象标记为常量表达式），又需要变量声明中的constexpr限定符（以将该对象标记为常量表达式）。

如果我的类是文字类，那么将我的类的对象声明为constexpr是否多余？

2 个答案: