如何使用除初始化列表构造函数以外的其他内容为类成员设置默认值

Question

假设我有这样的事情：

class A
{
public:
    A(int x, int y)
    {
        std::cout << "Constructed from parameters" << std::endl;
    }

    // Non-copyable, non-movable
    A(A const&) = delete;
    A(A&&) = delete;
    A& operator=(A const&) = delete;
    A& operator=(A&&) = delete;
};
    
class B
{
public:
    B() = default;

private:
    A a{1,2};
};
    
int main()
{
    B b;
    return 0;
}

这工作正常，通过调用A的构造函数用默认值初始化a ，并打印Constructed from parameters 。

---

那么，让我们说我要初始化a不同的，所以我添加了一个构造函数初始化值列表，并更改我的代码：

class A
{
public:
    A(int x, int y)
    {
        std::cout << "Constructed from parameters" << std::endl;
    }
        
    A(std::initializer_list<int> someList)
    {
        std::cout << "Constructed from an initializer list" << std::endl;
    }

    // Non-copyable, non-movable
    A(A const&) = delete;
    A(A&&) = delete;
    A& operator=(A const&) = delete;
    A& operator=(A&&) = delete;
};
    
class B
{
public:
    B() = default;

private:
    A a{1,2,3};
};
    
int main()
{
    B b;
    return 0;
}

一切仍然如我所愿，代码通过调用A的第二个构造函数用默认值初始化a并打印Constructed from an initializer list 。

---

现在，假设我想保持A不变，但返回到通过第一个构造函数设置a的默认值。 如果A是可移动的，我可以使用A a = A(1,2); ，但这里不是这种情况，那么我该怎么做呢？ 使用该构造函数设置默认值是否完全不可能？

编辑：我正在寻找适用于 C++14 的解决方案，但如果 C++17 或 C++20 中有更好的解决方案，那也是我想知道的。

Answer 1

如果 A 是可移动的，我可以使用A a = A(1,2); ，但这里不是这样

好吧，对于 C++17 及更高版本，您可以使用A a = A(1,2); 在这里，只要您将其作为声明/初始化！ 以下工作（在您的第二个代码片段中）：

class B {
public:
    B() = default;
private:
    A a = A( 1, 2 ); // No assignment here - just an initialization.
};

并调用“从参数构造”。 这是因为这里没有实际的赋值操作，只是一个初始化。 但是，由于您所述的原因，以下操作将失败：

class B {
public:
    B() { a = A( 1, 2 ); } // error C2280: 'A &A::operator =(A &&)': attempting to reference a deleted function
private:
    A a{ 1,2,3 };
};

编辑：Pre-C++17，以下是一种解决方法，在B的默认构造函数中的初始值设定项列表中使用“老式”圆括号而不是花括号（在 clang- 中使用 C++14 测试） cl 和 MSVC）：

class B {
public:
    B() : a(1,2) {} // Using a{1,2} calls the "initializer list" constructor, however!
private:
    A a;
};

Answer 2

我认为如果没有某种“黑客”，这在 C++14 中是不可能的。 一种这样的技巧是使用额外的消歧参数。 例如：

class From_params {};

class A {
public:
    A(int, int, From_params = {})      // (1)
    {}
    
    A(std::initializer_list<int>)      // (2)
    {}

    ...
};

class B {
public:
    B() = default;

private:
    A a{1, 2, From_params{}};  // calls (1)
};