C ++函数声明和对象初始化之间的区别

时间:2012-12-05 23:15:04

标签: c++ c++11

如果我写了这行代码:

std::thread t(EchoServer(socket));

编译器如何解释此指令?它可以是函数声明,也可以只是初始化。 我有跟随代码:

#include <iostream>
#include <thread>
#include <boost/asio.hpp>

#include <boost/asio.hpp>

typedef boost::asio::ip::tcp::socket Socket;
auto socket_deleter = [] (Socket* s) {s->close(); delete s;};
typedef std::unique_ptr<Socket, decltype(socket_deleter)> socket_ptr;

class EchoServer {
public:
    static void Listen(unsigned int port)
    {

        using namespace std;
        using namespace boost::asio;

        io_service ios;

        // create an endpoint to listen to a certain port
        ip::tcp::endpoint endpoint(ip::tcp::v4(), port);

        cout << "Listening to TCP Socket on port " << port << " ..." << endl;

        // Start opening a socket
        ip::tcp::acceptor acceptor(ios, endpoint);

        // this loop must be infinite... but we accept only 3 connections
        auto socket = socket_ptr(new Socket(ios));

        std::thread t(EchoServer(socket));
    }

    EchoServer(socket_ptr&& s) : m_socket(std::move(s))
    {
    }

    void operator ()() const
    {
    }

private:
    socket_ptr m_socket;
};

但是编译器给了我以下警告:

C4930: 'std::thread t(EchoServer(socket))': std::thread t(EchoServer(socket)) function not called (was a variable definition intended?).

那么如何解释这一行是std :: thread创建类型的对象而不是函数声明。

更新1: 我正在使用不支持统一初始化的visual studio 2012,因此我已将代码从std::thread t((EchoServer(socket)));更改为std::thread t((EchoServer(socket)));,但这次我遇到了一个我不理解的编译时错误:

error C2440: '<function-style-cast>': cannot convert from 'std::unique_ptr<_Ty,_Dx>' to 'EchoServer'

我错过了什么?

更新2 我可能必须要理解更好的移动语义,问题在于socket_ptr的声明。我已经用这种(丑陋的)方式更改了代码......但现在编译了。

#include <iostream>
#include <thread>
#include <boost/asio.hpp>

typedef boost::asio::ip::tcp::socket Socket;
auto socket_deleter = [] (Socket* s) {s->close(); delete s;};
/*
typedef std::unique_ptr<Socket, decltype(socket_deleter)> socket_ptr;
*/
typedef Socket* socket_ptr;

class EchoServer {
public:
    static void Listen(unsigned int port)
    {

        using namespace std;
        using namespace boost::asio;

        io_service ios;

        // create an endpoint to listen to a certain port
        ip::tcp::endpoint endpoint(ip::tcp::v4(), port);

        cout << "Listening to TCP Socket on port " << port << " ..." << endl;

        // Start opening a socket
        ip::tcp::acceptor acceptor(ios, endpoint);

        // this loop must be infinite... but we accept only 3 connections
        auto socket = new Socket(ios);

        std::thread t((EchoServer(socket)));
    }

    EchoServer(socket_ptr s) : m_socket(s)
    {
    }

    ~EchoServer()
    {
        m_socket->close();
        delete m_socket;
    }

    void operator ()() const
    {
    }

private:
    socket_ptr m_socket;
};

Changine socket_ptr作为一个简单的指针,而不是代码工作的unique_ptr。

5 个答案:

答案 0 :(得分:6)

这是一个功能声明。如果要使用直接初始化声明对象,可以使用以下方法之一:

std::thread t(EchoServer { socket });
std::thread t { EchoServer(socket) };
std::thread t { EchoServer { socket} };
std::thread t((EchoServer(socket)));

Brace初始化是明确的初始化,在最后一行中你有一个带括号的表达式,它不能作为函数参数声明。

答案 1 :(得分:3)

在C ++ 2011中,给定情况下最简单的方法是用大括号替换括号:

std::thread t{EchoServer(socket)};

但请注意,这可以保证调用std::terminate(),因为该线程既没有分离也没有连接。

答案 2 :(得分:2)

正如您所提到的,该语句有两种可能的解释,但标准明确要求在这种歧义的情况下,编译器必须将该语句解释为函数定义(删除额外的括号集):

std::thread t(EchoServer socket);

如果要强制创建std::thread,可以添加一组额外的括号,使语句不是有效的函数声明:

std::thread t((EchoServer(socket)));

使用不同的语法进行初始化:

std::thread t = std::thread(EchoServer(socket));

或者,由于您使用的是C ++ 11,因此可以使用统一初始化

std::thread t{EchoServer(socket)};

前两个选项是有效的C ++ 03,但在C ++ 11编译器中,您应该使用第三个选项(并使用std::thread表示您正在使用C ++ 11功能)

答案 3 :(得分:1)

C和C ++编译器必须在解析时构建有关声明和范围的语义知识,并参考该知识以了解如何解析某些内容。

当扫描一个标识符时,可以将其转换为一个标记,该标记的词汇类别基于如何根据扫描范围进行声明该标识符的声明。

比你更简单的一个例子是:

A ( B );

这可能是一个函数调用:函数A正在调用一个参数,该参数是主表达式B的值。或者,它可能是名称B的声明,它是A类型的对象。

如果我们的词法分析器能够查看当前作用域中可见的声明,它可以确定A是类型名称,还是声明为函数。然后,它可以将适当类型的令牌传递给解析器,因此相应的短语结构规则将匹配。

答案 4 :(得分:0)

static_cast可用于触发用户定义的转化,因此请尝试

std::thread t(static_cast<EchoServer>(socket));

而不是强制转换的构造函数调用语法。

要修复转换失败,请将构造函数更改为:

EchoServer(socket_ptr&& s) : m_socket(s)
{
}