如何初始化多个共享复杂初始化代码的常量成员变量？

Question

简介

让我们介绍这个简单的例子：

#include <cmath>

class X
{
public: // Members

    /// A ^ B + A
    int A;

    /// A ^ B + B
    int B;

public: // Specials

    X(
        const int & A,
        const int & B
    )
        : A(A)
        , B(B)
    {
        const auto Pow = static_cast<int>(std::pow(A, B));

        this->A += Pow;
        this->B += Pow;
    }
};

琐事

• 引入的类具有两个成员变量：A和B。
• 它们的价值分别为A ^ B + A和A ^ B + B。
• 它们两者共享通用的复杂初始化代码（假设std::pow是复杂的）。

问题

我想同时成为A和B的成员const。

问题

如何做到这一点而不重复复杂的初始化（ ie 避免两次调用std::pow）？

我尝试过的

#include <cmath>

class X
{
public: // Members

    /// A ^ B + A
    const int A;

    /// A ^ B + B
    const int B;

public: // Helpers

    struct Init
    {
    public: // Members

        int A;
        int B;

    public: // Specials

        Init(
            const int & A,
            const int & B
        )
            : A(A)
            , B(B)
        {
            const auto Pow = static_cast<int>(std::pow(A, B));

            this->A += Pow;
            this->B += Pow;
        }
    };

public: // Specials

    X(
        const Init& Init
    )
        : A(Init.A)
        , B(Init.B)
    {};

    X(
        const int & A,
        const int & B
    )
        : X(Init(
            A,
            B
        ))
    {};
};

1. 创建struct Init，该角色扮演类X的过去版本的角色。
2. 使X个成员const，而使Init个成员不const。
3. 使用构造函数委托将构造函数参数重定向到Init。
4. 将非const个成员变量从Init移到X并将其设置为const。
   • 请注意，由于std::move是TriviallyCopyable，因此没有int。

但是，我的解决方案似乎过于复杂。任何帮助将不胜感激。

没有目标

• 制作另一个X成员变量，该变量将存储通用代码结果（ ie std::pow）。
• 在X类之外添加另一个间接级别（ eg 为X引入基类）。

注意

解决方案可以使用比C ++ 11更新的C ++版本。

Answer 1

在这种情况下，使用delegating constructor是一个不错的选择。

class X
{
   public: // Members

      /// A ^ B + A
      const int A;

      /// A ^ B + B
      const int B;

   public:

      X(int a, int b) : X(a, b, func1(a, b)) {}

   private:

      X(int a, int b, int c) : A(func2(a, b, c)), B(func3(a, b, c)) {}

      static int func1(int a, int b) { return std::pow(a,b); }
      static int func2(int a, int b, int c) { return (a + c); }
      static int func3(int a, int b, int c) { return (b + c); }
};

func1，func2和func3中的逻辑/计算可以根据需要简单或复杂。

Answer 2

您可以通过使用工厂函数来解决此问题。您将X的构造函数设为私有，然后使用friend / static函数获取X的对象。然后，您可以在函数的主体中执行复杂的代码，然后将这些值传递给X的构造函数。这看起来像

class X
{
public:
    const int A;
    const int B;
    friend X make_X(int a, int b)
    {
        // do complex stuff
        return X(complex_result1, complex_result2);
    }
    // or
    static X make(int a, int b)
    {
        // do complex stuff
        return X(complex_result1, complex_result2);
    }
private:
    X(const int  A, const int  B) : A(A), B(B) {}
};

，其用法类似于

X foo = make_x(a, b);
//or
X foo = X::make(a, b);