c++ - 是否可以将成员初始化推迟到构造函数主体？

Question

我有一个类，其成员是一个对象，但没有默认构造函数。我想在构造函数中初始化这个成员，但在 C++ 中我似乎做不到。这是类(class):

#include <boost/asio.hpp>
#include <boost/array.hpp>

using boost::asio::ip::udp;

template<class T>
class udp_sock
{
    public:
        udp_sock(std::string host, unsigned short port);
    private:
        boost::asio::io_service _io_service;
        udp::socket _sock;
        boost::array<T,256> _buf;
};

template<class T>
udp_sock<T>::udp_sock(std::string host = "localhost",
  unsigned short port = 50000)
{
    udp::resolver res(_io_service);
    udp::resolver::query query(udp::v4(), host, "spec");
    udp::endpoint ep = *res.resolve(query);
    ep.port(port);
    _sock(_io_service, ep);
}

编译器基本上告诉我它找不到 udp::socket 的默认构造函数，并且根据我的研究，我了解到 C++ 在调用构造函数之前隐式初始化每个成员。有什么办法可以按照我想要的方式去做，还是它太“面向 Java”而在 C++ 中不可行？

我通过这样定义我的构造函数解决了这个问题:

template<class T>
udp_sock<T>::udp_sock(std::string host = "localhost",
  unsigned short port = 50000) : _sock(_io_service)
{
    udp::resolver res(_io_service);
    udp::resolver::query query(udp::v4(), host, "spec");
    udp::endpoint ep = *res.resolve(query);
    ep.port(port);
    _sock.bind(ep);
}

所以我的问题更多是出于好奇和更好地理解 C++ 中的 OOP

Answer 1

当你定义一个构造函数时，你有两种方法来“初始化”属性:

• 初始化列表
• 构造函数体

如果您没有显式初始化初始化列表中的某个属性，它仍然会为您初始化(通过调用其默认构造函数)...

本质上:

class Example
{
public:
  Example();
private:
  Bar mAttr;
};

// You write
Example::Example() {}

// The compiler understands
Example::Example(): mAttr() {}

如果底层类型没有默认构造函数，这当然会失败。

有多种方法可以延迟此初始化。 “标准”方式是使用指针:

class Example { public: Example(); private: Bar* mAttr; };

但是我更喜欢使用 Boost.Optional结合合适的访问器:

class Example
{
public: Example();
private:
  Bar& accessAttr() { return *mAttr; }
  const Bar& getAttr() const { return *mAttr; }
  boost::Optional<Bar> mAttr;
};

Example::Example() { mAttr = Bar(42); }

因为 Boost.Optional 意味着没有分配开销和取消引用开销(对象是就地创建的)并且还带有正确的语义。