Как определить функцию-член шаблонного класса, которая возвращает объект вложенного класса

Компилятор не знает, является ли Poller<IPC_TYPE>::Event переменной-членом Poller<IPC_TYPE> или вложенным типом.

Таким образом, мы должны ввести typename, чтобы устранить эту двусмысленность следующим образом:

ДЕМО уже здесь.

template<typename IPC_TYPE>
typename Poller<IPC_TYPE>::Event Poller<IPC_TYPE>::wait(size_t max_wait_time)
{
    Event e;
    return Event();
}

Глядя на ваш текущий код:

template<typename IPC_TYPE>
class Poller {    
public:
    struct Event {
        std::shared_ptr<IPC> ipc;
        enum Status
        {
            NONE = 0, POLLIN = 1, POLLHUP = 2, MessageArrival = 3
        } status;
    };

    //block wait
    Event wait(size_t max_wait_time = 50);
};

template<typename IPC_TYPE>
Poller<IPC_TYPE>::Event Poller<IPC_TYPE>::wait(size_t max_wait_time = 50) {
    Event e;
    return Event();
}

Я заметил несколько проблем:

• 1) std::shared_ptr<IPC> ipc; Я считаю, что должен быть std::shared_ptr<IPC_TYPE> ipc;
• 2) user:Hiroki уже ответил - typename необходимо использовать перед Poller<IPC_TYPE>::Event, чтобы объявить имя типа, чтобы компилятор знал, как распознать ваше предполагаемое использование. Обратитесь к его ответу для более подробного описания и более полного объяснения того, зачем вам нужен typename.
• 3) Поскольку вы объявляете функцию вне тела суперкласса, MSVS 2017 CE выдает ошибку компилятора о наличии значения по умолчанию. (Увидеть ниже).
• 4) Не уверен, что вы создаете временный ... Затем создаете и возвращаете экземпляр с помощью его конструктора, или если template argument будет каким-то functor или function pointer, который вы вызываете.
• 5) У вас есть член std::shared_ptr<IPC_TYPE> в Event, но вы не видите динамической памяти, создаваемой для типа IPC_TYPE. Поэтому я добавил определяемый пользователем конструктор по умолчанию, который устанавливает this, чтобы видеть, как конструкторы, деструкторы, операторы, функции-члены и т. д. Объекта вызываются, создаются и уничтожаются должным образом.

(3) - Ошибка компилятора:

1>------ Build started: Project: StackQA, Configuration: Debug Win32 ------
1>main.cpp
1>c:\users\...\main.cpp(41): error C5037: 'Poller<IPC_TYPE>::wait': an out-of-line definition of a member of a class template cannot have default arguments
1>Done building project "StackQA.vcxproj" -- FAILED.
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

Исправить указанную выше ошибку компилятора можно двумя способами:

• A) Удаление значения по умолчанию, которое в определении находится за пределами суперкласса.
• Б) Написание тела функции внутри внутреннего класса. Если вы решили выбрать этот метод написания тела вашей функции; он фактически устранит всю необходимость и цель вашего вопроса, в первую очередь, поскольку вы определяете его внутри внутреннего класса.

Вот рабочий пример вашего класса выше:

#include <iostream>
#include <exception>
#include <memory>

// Classes A & B are just basic classes with ctor & dtor displaying a message
class A {
public:
    A() { std::cout << "A CTOR called\n"; }
    ~A() { std::cout << "A DTOR called\n"; }
};

class B {
public:
    B() { std::cout << "B CTOR called\n"; }
    ~B() { std::cout << "B DTOR called\n"; }
};

// Classes C & D are functors where their operator invokes a message to be displayed
class C {
public:
    void operator()() { std::cout << "Functor C called\n"; }
};

class D {
public:
    void operator()() { std::cout << "Functor D called\n"; }
};

template <typename IPC_TYPE>
class Poller {
public:
    struct Event {
        std::shared_ptr<IPC_TYPE> ipc; // Made correction here from IPC to IPC_TYPE
        enum Status {
            NONE = 0,
            POLLIN = 1,
            POLLHUP = 2,
            MESSAGE_ARRIVAL = 3, // Changed to All Caps... (personal preference)
        } status;

            // Added this constructor to actually make a shared_ptr of IPC_TYPE
        Event() {
            ipc = std::make_shared<IPC_TYPE>();
        }    
    };

    // Defined the function body within the inner class which also prevents your compiler error.
    Event wait( size_t max_wait_time = 50 ) {
        // Not sure of your intentions here, but for demonstration purposes
        // I've just commented out the temporary and just returned the ctor
        // Event e;
        return Event();
    }
};

// To define it outside of class remove the body from the inner class above,
// uncomment this section, and don't forget to use `typename`.
// Also make sure that your parameter does not have a default value here.
/*template<typename IPC_TYPE>
typename Poller<IPC_TYPE>::Event Poller<IPC_TYPE>::wait( size_t wait_time ) {
    // Not sure of your intentions here, but for demonstration purposes
    // I've just commented out the temporary and just returned the ctor
    //Event e;
    return Event();
}
*/    

int main() {
    try {
        Poller<A> p1;
        p1.wait( 10 );

        Poller<B> p2;
        p2.wait( 12 );

        Poller<C> p3;       
        Poller<C>::Event e1 = p3.wait( 7 );
        e1.ipc->operator()();

        Poller<D> p4;
        Poller<D>::Event e2 = p4.wait( 9 );
        e2.ipc->operator()();

    } catch( std::runtime_error& e ) {
        std::cerr << e.what() << std::endl;
        return EXIT_FAILURE;
    }
    return EXIT_SUCCESS;
}

-Output-

A CTOR called
A DTOR called
B CTOR called
B DTOR called
Functor C called
Functor D called