Не работает шаблон

[progerer]

Есть код:

template<MainMenuGenerator::ElementTypes type, class T> TreeWidgetItem *MainMenuGenerator::_addMenuItem(const String &line, T *parent) const
{
    const StringList &parts{line.split('_', String::SkipEmptyParts)};
    if(parts.size() != _types[type].count)
    {
        if(type == Root) qDebug() << parent->size();
        else qDebug() << parent->text(Title);
        return NULL;
    }
    ...
}

где ElementTypes - enum, а Root = 0.
Значения, как написано в ошибке компилятора, переменных type и T известны. Они равны у меня 0 и TreeWidget соответственно. Вопрос: почему тогда он просматривает все ветки if-else и пишет ошибку, мол метод text() не определен для объекта класса TreeWidget, если должен был посмотреть только равенство в операторе if (которое выполняется, т.к. 0 = 0) и на этом успокоится?

Как сделать, чтобы если класс T - это TreeWidget, то выполнять код:

qDebug() << parent->size();

а если T - это какой-то другой класс, то код:

qDebug() <<parent->text(Title);

?

[p51x]

почему тогда он просматривает все ветки if-else и пишет ошибку, мол метод text() не определен для объекта класса TreeWidget,

Потому что это обычный if

если должен был посмотреть только равенство в операторе if (которое выполняется, т.к. 0 = 0) и на этом успокоится?

Не должен, абсолютно

Как сделать, чтобы если класс T - это TreeWidget, то выполнять код:

Частичная специализация или крутить енабл_иф, кондишинал и подобные

[progerer]

Хм, вот ведь вопрос: а что мешает его сделать хоть немного статическим? Иль это непосильная задача?

[waleri]

Сделайте в каждом классе (ну, или в базовом классе) метод getMenuString.
Для каких-то классов он будет вызывать getText(), для каких-то - getSize().

Если сделать это виртуальным методом, тогда не понадобится шаблон.
В любом случае не потребуется ElementType, который кстати мог бы быть static const в самом классе и получаться через T, например T::type.

[220Volt]

Копать нужно в таком направлении:

#include <type_traits>
#include <iostream>

class S1
{
public:
    void f(int) {std::cout << "S1\n";}
};

class S2
{
public:
    void f(int, int) {std::cout << "S2\n";}
};

template <typename _T, typename _Void = void>
struct Is_break;

template <typename _T>
struct Is_break <_T, typename std::enable_if<std::is_same<_T, S1>::value>::type>
{
    static void f(_T &t, int i1, int)
    {
        t.f(i1);
    }
};

template <typename _T>
struct Is_break <_T, typename std::enable_if<std::is_same<_T, S2>::value>::type>
{
    static void f(_T &t, int i1, int i2)
    {
        t.f(i1, i2);
    }
};

int main(int i, char *args[])
{
    S1 s1;
    S2 s2;
    if(i > 1)
        if(*args[1] == '0')
            Is_break<decltype(s1)>::f(s1, 1, 2);
        else
            Is_break<decltype(s2)>::f(s2, 1, 2);
}

g++ -std=C++11 t.cpp
./a.out 0
S1
./a.out 1
S2