간단한 템플릿 기반 디자인이 작동하도록 노력하고 있는데 템플릿 상호 의존성을 발견했습니다. 이제 가상 함수를 사용하고 (이 특별한 경우에는) EventHandler 메서드를 전체 클래스 대신 템플릿으로 전환하여이 문제를 해결할 수 있다는 것을 알고 있습니다. 그러나 서로에 대한 포인터 만 사용하는 두 개의 상호 종속 템플릿을 가질 수있는 방법이 있습니까?
이것은 간단한 예입니다.
typename MySocket;
template<typename SocketClass> struct EventHandler {
void receiveCallback(SocketClass *s) {
}
};
template <typename HandlerType> class Socket {
HandlerType *handler;
};
typedef EventHandler<MySocket> MyHandler ;
typedef Socket<MyHandler> MySocket ;
MyHandler h;
MySocket socket;
int main() {
return 0;
}
이 코드에 대해 컴파일러는 Socket이 재정의되었다는 오류를 표시합니다. 어떤 아이디어? C ++ 11 / 14는 나에게 좋습니다.
당신이 사용하는 구문을 고려할 때 당신이하려는 일은 불가능합니다.
즉, MySocket
템플릿에 적절한 매개 변수를 전달할 때까지 유형이 존재하지 않기 때문입니다.
보낸 사람 MySocket
에 따라 다릅니다 MyHandler
에 차례로 의존하는, MySocket
당신이 순환 종속성을 가지고 그 작동하지 않습니다 그래서.
그런 다음 MySocket
유효한 C ++가 아닌 형식 이름 으로 정방향 선언하여이 문제를 해결하려고 시도한 것 같습니다 .
이 문제를 해결하는 방법이 있으며 템플릿 템플릿 매개 변수 를 사용하는 것입니다 .
템플릿 템플릿 매개 변수를 사용하면 다른 템플릿을 매개 변수로 템플릿에 전달할 수 있습니다.
template<template<typename> class SocketT>
struct EventHandlerT;
다음 SocketT
은 1 개의 템플릿 매개 변수 (따라서 이름 템플릿 템플릿 매개 변수)를 사용 하는 템플릿 자체입니다.
내부 EventHandlerT
는 다음 구체적인 유형을 정의 할 수 있습니다 Socket
, 사용하는 EventHandlerT
템플릿 매개 변수로 SocketT
필요합니다.
template<template<typename> class SocketT>
struct EventHandlerT;
{
using Socket = SocketT<EventHandlerT>; // Socket is now a concrete type
};
그런 다음의 인스턴스를 만들려면 Socket
내부에 정의 된 인스턴스 를 사용합니다.EventHandlerT
using EventHandler = EventHandlerT<SocketT>;
using Socket = EventHandler::Socket;
다음은 작동하는 예입니다.
template<template<typename> class SocketT>
struct EventHandlerT
{
using Socket = SocketT<EventHandlerT>;
void receiveCallback(Socket* s)
{
}
};
template <typename HandlerT>
struct SocketT
{
HandlerT* handler;
};
int main()
{
using EventHandler = EventHandlerT<SocketT>;
using Socket = EventHandler::Socket;
EventHandler handler;
Socket socket;
socket.handler = &handler;
handler.receiveCallback(&socket);
return 0;
}
이 기사는 인터넷에서 수집됩니다. 재 인쇄 할 때 출처를 알려주십시오.
침해가 발생한 경우 연락 주시기 바랍니다[email protected] 삭제
몇 마디 만하겠습니다