C++ 在类构造函数中定义一个常量成员变量

Question

通常当你的类中有一个常量私有(private)成员变量时，它只有一个 getter 而没有 setter，它看起来像这样:

// Example.h
class Example {
    public:
        Example(const int value);
        const int getValue() const;
    private:
        const int m_value;
};


// Example.cpp
#include "Example.h"

Example::Example(const int value)
: m_value(value)
{
}

const int Example::getValue() const
{
    return m_value;
}

现在我要做的是有一个像这样的常量 int 成员变量，而不是像这样在初始化部分定义它: : m_value(value) 我需要采取另一个对象——在这个例子中我将使用一个 vector ——作为构造函数的参数，并根据参数对象设置 m_value。在这种情况下，如果大小大于 0，我将尝试做 vector 的大小 + 1。所以这就是我所做的:

Example::Example(std::vector<Example*> myVec)
{
    if (myVec.size()) {
        m_value = myVec.size() + 1;
    }
    else {
        m_value = -1;
    }
}

但是我得到一个错误 uninitialized member 'Example::m_value' with 'const' type 'const int' 如果我在初始化部分初始化 m_value，我得到错误 assignment只读数据成员 'Example::m_value' 对我来说都很有意义，我应该得到这些错误，但我怎么能绕过它们呢？

编辑:我可以编辑 m_value 的唯一方法是在对象本身内部(因为 m_value 是私有(private)的)。只有 getter 会限制我将 m_value 设置为构造函数中设置的值以外的任何值。将常量 int 作为成员变量对我有什么好处吗？

Answer 1

使用静态成员函数计算您需要的结果并在初始化列表中调用该函数。像这样:

// Example.h
class Example {
    public:
        Example(const int value);
        Example(std::vector<Example*> myVec);

        const int getValue() const;
    private:
        const int m_value;

        static int compute_m_value(::std::vector<Example*> &myVec);
};

// Example.cpp
#include "Example.h"

Example::Example(const int value)
: m_value(value)
{
}

Example::Example(std::vector<Example*> myVec)
: m_value(compute_m_value(myVec))
{
}

const int Example::getValue() const
{
    return m_value;
}

int Example::compute_m_value(::std::vector<Example*> &myVec)
{
    if (myVec.size()) {
        return myVec.size() + 1;
    }
    else {
        return -1;
    }
}

在这种特殊情况下，函数非常简单，您只需在构造函数中使用三元运算符(又名 : m_value(myVec.size() > 0 ? int(myVec.size() + 1) : int(-1))即可在初始化时直接计算值。这看起来像一个例子，所以我给了你一个非常通用的解决问题的方法，即使计算你需要的答案的方法可能非常复杂。

一般的问题是常量成员变量(以及 BTW 引用的成员变量)必须在初始化列表中初始化。但是初始化器可以是表达式，这意味着它们可以调用函数。由于此初始化代码非常特定于该类，因此它应该是该类的私有(private)(或可能 protected )函数。但是，由于在构造类之前调用​​它来创建一个值，因此它不能依赖于类实例的存在，因此没有 this指针。这意味着它必须是静态成员函数。

现在，myVec.size() 的类型是 std::vector<Example*>::size_t ，并且该类型是无符号的。而且您使用的是 -1 的哨兵值，但事实并非如此。您将其存储在 int 中无论如何，这可能不是合适的尺寸。如果您的 vector 很小，这可能不是问题。但是，如果您的 vector 获取基于外部输入的大小，或者如果您不知道它将获得多大，或任何其他因素，这将成为一个问题。您应该考虑这一点并相应地调整您的代码。