模板专业化

Question

template<class T> struct ISocket 
{ 
    void connect(){} 
    void raw_socket(){} 
}; 

template <class SocketType, class Arg1,class Arg2> 
struct ISocket< SocketType(Arg1,Arg2) > 
{ 
    typedef SocketType socket_type; 
    typedef Arg1 arg_type; 
    typedef Arg2 arg_type2; 

    socket_type* raw_socket_; 

    ISocket():raw_socket_(&SocketType()){} 


    socket_type& raw_socket(){return *raw_socket_;} 


    void connect() 
    { 
     raw_socket_->connect(); 
    } 
}; 

为什么我有义务定义模板struct ISocket; ？下面的代码不VS2010下编译，当您尝试使用的ISocket并调用connect例如

template<class T> struct ISocket; 

template <class SocketType, class Arg1,class Arg2> 
struct ISocket< SocketType(Arg1,Arg2) > 
{ 
    typedef SocketType socket_type; 
    typedef Arg1 arg_type; 
    typedef Arg2 arg_type2; 

    socket_type* raw_socket_; 

    ISocket():raw_socket_(&SocketType()){} 


    socket_type& raw_socket(){return *raw_socket_;} 


    void connect() 
    { 
     ref_raw_socket_->connect(); 
    } 
}; 

我这个代码中调用：

struct SocketTcp 
{ 
    void setup(std::string ip,int port) 
    { 
     std::cout << ip.c_str() << " " << port << "\n"; 
    } 

    void connect() 
    { 

    } 
}; 


typedef ISocket< SocketTcp(std::string, int) > Socket; 

int main() 
{ 

    ISocket<Socket> s; 

    s.connect(); 
    s.raw_socket(); 
} 

Answer 1

首先， ref_raw_socket_->connect();。您没有会员 ref_raw_socket_，只有 raw_socket_。
其次，您将其初始化为临时SocketType()。在你的构造函数之后，那个对象被销毁了，不再存在了，你的指针现在是一个悬挂指针，如果你使用它，它是未定义的行为。
第三，你期望作为你的 ISocket的模板参数有什么作用？
编辑
这个ISocket<Socket> s;对你的typedef没有任何意义。你用你的ISocket作为你的参数ISocket？如果我改变调用点到这一点：

typedef ISocket< SocketTcp(std::string, int) > Socket; 

int main(){ 
    Socket s; 
// ^^^^^^ not ISocket<Socket> 

    s.connect(); 
    s.raw_socket(); 
} 

和更改构造函数，这个（并添加一个析构函数）：

ISocket() 
    : raw_socket_(new SocketType()) 
{} 

~ISocket(){ 
    delete raw_socket_; 
} 

代码编译只是没有错误的罚款。为什么我使用new，请参阅编辑前的第二点。