寻求对 constexpr 功能的澄清

seeking clarification on constexpr function

本文关键字：功能 constexpr      更新时间：2023-10-16

请考虑以下代码段：

#include <iostream>
using std::cout;
using std::endl;
class A
{
public:
//constexpr A (){i = 0;}
constexpr A ():i(0){}
void show (void){cout << i << endl; return;}
private:
int i;
};
class B
{
public:
constexpr B(A a){this->a = a;}
//constexpr B(A a):a(a){}
void show (void){a.show(); return;}
private:
A a;
};
int main (void)
{
A a;
B b(a);
b.show();
return (0);
}

在class A的定义中，如果将当前的构造函数定义替换为注释掉的定义：

//constexpr A (){i = 0;}

随之而来的是以下编译错误(请注意，行号对应于原始代码(：

g++ -ggdb -std=c++17 -Wall -Werror=pedantic -Wextra  -c code.cpp
code.cpp: In constructor ‘constexpr A::A()’:
code.cpp:8:30: error: member ‘A::i’ must be initialized by mem-initializer in ‘constexpr’ constructor
constexpr A (){i = 0;}
^
code.cpp:12:13: note: declared here
int i;
^
make: *** [makefile:20: code.o] Error 1

但是，代码可以完美地编译class B构造函数的任一定义(当前定义以及复制的源代码中注释掉的定义(。

我查看了以下页面，目的是了解这里发生的事情：

constexpr 说明符(自 C++11 起(

常量表达式

我必须承认，我无法弄清楚为什么在 A 的构造函数的情况下强制使用成员初始值设定项列表，而不是在 B 的情况下。

欣赏你的想法。

A有一个默认的构造函数(顺便说一下，这是constexpr(。您引用的constexpr构造函数的相关要求如下：

对于类或结构的构造函数，...每个非变体 必须初始化非静态数据成员。

唯一的要求是它被"初始化"。未"显式初始化"。默认构造函数将满足初始化要求。A有一个默认构造函数。因此，B的类成员a由其默认构造函数初始化，满足此要求，因此您不必在B构造函数的初始化列表中显式初始化它。

另一方面，您的花园品种int没有默认构造函数。因此，A的constexpr构造函数必须显式初始化它。

相关文章：