Возврат объекта шаблонного типа от типа Type из специализации шаблона метода от того же типа

@SP_root · Регистрация: 18.11.2014

Доброго времени суток, пишу класс содержащий несколько std::set от разных типов, нужно сделать метод возвращающий указатель на нужное std::set, в зависимости от того какой тип был подан в шаблон, хочу это реализовать специализацией шаблонов, в черновиках стандарта похожего не нашел.

Класс с шаблоном метода:

C++

typedef std::set<FrameSelection*> FrameSet;
typedef std::set<Foo*> FooSet;
 
class SelectionManager {
protected:
    Project* current_project_;
    FrameSet   frames_;
    FooSet      foo_;
...
public:
    template < typename TContextRepresented >
        std::set<TContextRepresented*> *
          getSelectionSetPtr() { return 0; }
...
};

специализация шаблона для типа FrameSet

C++

template <> inline std::set<FrameSelection*>*
    SelectionManager::getSelectionPtr
                        < std::set, FrameSelection >() {
        return &frames_;
    }

заметим, что специализация шаблона для типа FrameSet, в файле .cpp у меня обьявляется как inline, но возвращает 0, видимо из за того что это не работает, если определять специализацию в хидере в теле класса, то вылетают ошибки.

Возможнно ли вообще такое? Где об этом почитать? Если в черновиках стандарта и гугле не нашел? Или же примера кода будет достаточно.

@DrOffset · 23.03.2016, 10:29

SP_root, невнимательноть банальная. У тебя специализации и основная шаблонная функция имеют разные имена.
Таким образом у тебя есть два пути:
* Оставлять специализации в cpp (при этом обязательно убрать у них inline).
* Вынести их в заголовочный файл, inline при этом необходимо оставить.

Пример:

Кликните здесь для просмотра всего текста

C++

#include <set>
#include <cassert>
 
class A;
class B;
class C;
 
 
typedef std::set<A*> ASet;
typedef std::set<B*> BSet;
typedef std::set<C*> CSet;
 
class SelectionManager
{
protected:
    ASet   as_;
    BSet   bs_;
    CSet   cs_;
 
public:
    template <typename TContextRepresented>
    std::set<TContextRepresented *> * getSelectionPtr()
    {
        return 0;
    }
};
 
template <>
inline ASet * SelectionManager::getSelectionPtr()
{
    return &as_;
}
template <>
inline BSet * SelectionManager::getSelectionPtr()
{
    return &bs_;
}
template <>
inline CSet * SelectionManager::getSelectionPtr()
{
    return &cs_;
}
 
int main()
{
    SelectionManager sm;
 
    ASet * pas = sm.getSelectionPtr<A>();
    assert(pas != 0);
 
    BSet * pbs = sm.getSelectionPtr<B>();
    assert(pbs != 0);
 
    CSet * pcs = sm.getSelectionPtr<C>();
    assert(pcs != 0);
 
    std::set<int*> * pds = sm.getSelectionPtr<int>();
    assert(pds == 0);
}

Онлайн тест: http://rextester.com/XEUQ44982

Почитать можно в книге "Шаблоны C++. Справочник разработчика."

@SP_root · 23.03.2016, 20:40 **[ТС]**

Решение немного упрощенной задачи, под OpenSuse 13.2 все компилируется и работает, под Windows 7, нет, а программу надо делать под Windows, inline не нужен. Если определить как inline, то видимо вызовется не специализрованный метод.

под мастдаем дает ошибку:

C++ (Qt)

debug/templatetest.o: In function `ZN12TemplateTest13getContainterIP5QRectEEPSt3setIT_St4lessIS4_ESaIS4_EEv':
C:\Files\qt\templates-build-desktop-Qt_4_8_6__4_8_6_________/../templates/templatetest.cpp:24: multiple definition of `std::set<QRect*, std::less<QRect*>, std::allocator<QRect*> >* TemplateTest::getContainter<QRect*>()'
debug/main.o:C:\Files\qt\templates-build-desktop-Qt_4_8_6__4_8_6_________/../templates/templatetest.h:24: first defined here
debug/templatetest.o: In function `ZN12TemplateTest13getContainterI7QStringEEPSt3setIT_St4lessIS3_ESaIS3_EEv':
C:\Files\qt\templates-build-desktop-Qt_4_8_6__4_8_6_________/../templates/templatetest.cpp:33: multiple definition of `std::set<QString, std::less<QString>, std::allocator<QString> >* TemplateTest::getContainter<QString>()'
debug/main.o:C:\Files\qt\templates-build-desktop-Qt_4_8_6__4_8_6_________/../templates/main.cpp:6: first defined here
debug/templatetest.o: In function `ZN12TemplateTest13getContainterIP7QStringEEPSt3setIT_St4lessIS4_ESaIS4_EEv':
C:\Files\qt\templates-build-desktop-Qt_4_8_6__4_8_6_________/../templates/templatetest.cpp:37: multiple definition of `std::set<QString*, std::less<QString*>, std::allocator<QString*> >* TemplateTest::getContainter<QString*>()'
debug/main.o:C:\Files\qt\templates-build-desktop-Qt_4_8_6__4_8_6_________/../templates/main.cpp:6: first defined here
collect2.exe: error: ld returned 1 exit status
Makefile.Debug:76: recipe for target 'debug\templ

Bash

mingw32-version
GNU Make 3.82.90
Built for i686-pc-mingw32
Copyright (C) 1988-2012 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <[url]http://gnu[/url]
This is free software: you are free to change and redi
There is NO WARRANTY, to the extent permitted by law.

@DrOffset · 23.03.2016, 20:57

Сообщение от SP_root

inline не нужен. Если определить как inline, то видимо вызовется не специализрованный метод.

Цитирую себя:

Сообщение от DrOffset

Вынести их в заголовочный файл, inline при этом необходимо оставить.

Твой проект успешно собирается (я проверил), если вынести специализации в заголовочный файл. Естественно из cpp их надо убрать.

C++

typedef std::set<QRect*, std::less<QRect*>, std::allocator<QRect*> >
        QRectPtrSet;
 
class TemplateTest
{
private:
    QRectPtrSet rects_;
    std::set<QString> strings_;
    std::set<QString*> strings_ptr_;
public:
    template <typename T> std::set<
                            T, std::less<T>,
                            std::allocator<T>
                          > *
        getContainter() { return 0; }
    TemplateTest();
    ~TemplateTest();
};
 
template <> inline QRectPtrSet*
     TemplateTest::getContainter()
        { return &rects_; }
 
template <> inline std::set<QString>*
     TemplateTest::getContainter()
        { return &strings_; }
 
template <> inline std::set<QString*>*
     TemplateTest::getContainter()
        { return &strings_ptr_; }

@SP_root · 24.03.2016, 08:30 **[ТС]**

Вечером проверю, Можно версию вашего компилятора на всякий пожарный?

@TheCalligrapher · 24.03.2016, 09:38

В определении класса шаблонный метод getSelectionSetPtr зависит от одного шаблонного параметра TContextRepresented. В специализации же этого метода вы вдруг указали два специализированных аргумента < std::set, FrameSelection >. Почему два? Откуда вдруг взялся второй? Неудивительно, что это не компилируется.

@SP_root 0 / 0 / 0 Регистрация: 18.11.2014 Сообщений: 28
	24.03.2016, 08:30 [ТС]	5
	Вечером проверю, Можно версию вашего компилятора на всякий пожарный? 0

@TheCalligrapher С чаем беда... 9808 / 5152 / 1416 Регистрация: 18.10.2014 Сообщений: 12,206
	24.03.2016, 09:38	6
	В определении класса шаблонный метод `getSelectionSetPtr` зависит от одного шаблонного параметра `TContextRepresented`. В специализации же этого метода вы вдруг указали два специализированных аргумента `< std::set, FrameSelection >`. Почему два? Откуда вдруг взялся второй? Неудивительно, что это не компилируется. 0

Опции темы