在类构造函数中初始化自定义结构对象的正确方法

Question

在 myClass 的构造函数中，在下面的代码中，我将 ms 初始化为 ms({4,5})。

#include <iostream>

class myClass {
 private:
  struct myStruct {
    int val1;
    int val2;
  };

public:
  myStruct ms;
  myClass() : ms({4,5}){} // This is where I initialize ms!
};

int main(){
  myClass mc;
  std::cout << mc.ms.val1 << " " << mc.ms.val2 << std::endl;
  return 0;
};

但是，我们在成员初始化列表中，所以ms 的参数是ms 的构造函数的参数。这里发生了什么， 本质上，就是我们使用所谓的“列表初始化”来 创建一个未命名（匿名）myStruct 对象：“{4,5}”，然后我们 将该对象传递给ms 的构造函数。所以原则上， 创建匿名中间对象，复制到初始化ms， 然后销毁（尽管我很确定编译器知道 更好，直接初始化ms；但仍有 语义差异）。有人告诉我，除了ms({4,5})，我可以简单地做

ms(4,5)

并避免制作中间对象。但是，当我这样做时，我得到以下输出：

g++ -g -std=c++11 -Wall temp.cpp -o temp
temp.cpp: In constructor ‘myClass::myClass()’:
temp.cpp:12:21: error: no matching function for call to ‘myClass::myStruct::myStruct(int, int)’
   myClass() : ms(4,5){}
                     ^
temp.cpp:5:10: note: candidate: myClass::myStruct::myStruct()
   struct myStruct {
          ^
temp.cpp:5:10: note:   candidate expects 0 arguments, 2 provided
temp.cpp:5:10: note: candidate: constexpr myClass::myStruct::myStruct(const myClass::myStruct&)
temp.cpp:5:10: note:   candidate expects 1 argument, 2 provided
temp.cpp:5:10: note: candidate: constexpr myClass::myStruct::myStruct(myClass::myStruct&&)
temp.cpp:5:10: note:   candidate expects 1 argument, 2 provided
makefile:15: recipe for target 'temp' failed
make: *** [temp] Error 1

所以，明确地说，我想知道在类构造函数中初始化结构对象方面的最佳实践是什么。非常感谢所有帮助！

Answer 1

有人告诉我，我可以简单地使用ms(4,5) 而不是ms({4,5})

这几乎是正确的，但并不完全正确。你实际上可以做的是ms{4,5}，即对成员ms使用direct-list-initialisation。这样，它将使用正常的列表初始化规则，在您的情况下将调用聚合初始化。

换句话说，成员ms 将直接就地初始化，而不创建任何myStruct 类型的临时对象。