通过指针值初始化const类变量

Question

现代 C++ 中是否有一种方法可以在从访问指针参数派生的类中初始化 const 值？并且该指针可能为空，所以基本上在检查指针之后？

例如

// Dummy class to pass as argument in Class A through a pointer, just for this given example
class Zero
{
public:
   int i = 0;
};

class A
{
public:
 A(Zero* z) : isZero(z->i == 0) // in this simple e.g.
// could be: isZero(z == nullptr ? false : z->i), but immagine having a more complex structure instead,
// this kind of verbose way will work,
// but i am asking if something is already designed to deal with this kind of situation
 {
    // But here i can check the eventual nullpointer (or empty reference, or whatever other smart pointers
    if (z==nullptr)
       isZero=false; // or true or throw or whatever... but anyway can't be assigned here

 }

 const bool isZero;
};

注意：

如果不是指针，则可以是引用或智能指针，但在语义和语法上我认为是等效的，并且我认为不可能在 C++ 中表达这种意图（至少）

注2：

如果错过阅读注释，另一种解决方法可能是初始化程序列表中的一种

z==nullptr ? false : z->i

，但它仍然感觉很老套，基于这种模式的复杂场景将非常冗长并且可能容易出错，而不是仅仅检查

if z==nullptr 

一次，只是特意询问是否有什么事情可以处理得更顺利

附注

我并不是要求删除 const 关键字，因为它是一种解决方法，或者任何使它起作用的方法。我确切地问是否有办法涵盖例如上面的 C++ 场景，或者甚至考虑它而不是找到解决方法，例如删除 const 或对初始化列表中的每个 const 变量进行检查。或者甚至存储参数的指针，然后每次检查它，或者甚至传递 const bool 作为参数，所有这些都可以工作，但实际上我是在问是否有适合这种情况的东西，最终如果不是为什么

Answer 1

正如您所说，在

A(Zero* z) : isZero(z->i == 0)

的情况下，

isZero

的初始化非常简单，它可以是单个表达式。如果不是那么简单，您可以使用 IILE 或简单地使用私有成员函数。

立即调用 lambda 表达式（IILE）

此 C++11 解决方案不需要您定义任何新符号，因此它可以说是最好且最少的方法。然而，由于可读性，有些人可能不喜欢它。

A(Zero* z) : isZero([z] {
    // lots and lots of complicated decision making ...
    return true; // or return something else
}()) /* empty constructor body: */ {}

私密会员功能

或者，您可以定义一个包含所有复杂逻辑的（静态）成员函数。

private:
  static bool initIsZero(Zero* z);
public:
  A(Zero* z) : isZero(initIsZero(z)) {}

也可以调用成员初始化列表中的非静态成员函数，但是，这是非常危险的，因为并非每个子对象都已初始化。 您必须非常小心，不要在该上下文中调用依赖于尚未初始化的成员的成员函数。

关于

const

成员和一般后期初始化的注释

您说过您不想删除

const

作为解决方法。虽然这是有道理的，但您应该仔细考虑您是否真的想要

const

成员，因为它们使包含类不可分配。

此外，无论数据成员是否为

const

，都应使用上述解决方案之一。在构造函数体内，不进行初始化；只有作业可以。对于普通类型，区别并不重要，除非它们是

const

，但无论如何，通常最好不要通过赋值来“延迟初始化”。请参阅CppCoreGuidelines C.49：在构造函数中优先进行初始化而不是赋值